Paper: Information States As First Class Citizens

ACL ID P92-1045
Title Information States As First Class Citizens
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1992

The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this informa- tion state change potential. The inference of a con- sequence make explicit something already implicit in the premises -- i.e. that no information state change occurs if the (assumed) consequence text is processed after the (given) premise texts have been processed. Elementary logic (i.e. first-order logic) can be used as a logical representation language for texts, but the notion of a information state (a set of possibilities -- namely first-order models) is not available from the object language (belongs to the meta language). This means that texts with other texts as parts (e.g. propositional attitudes with embedded sentences) cannot be trea...