Two theories of dynamic semantics
JELIA '90 Proceedings of the European workshop on Logics in AI
A Deduction Model of Belief
Combinators for Paraconsistent Attitudes
LACL '01 Proceedings of the 4th International Conference on Logical Aspects of Computational Linguistics
Hi-index | 0.00 |
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 information state change potential. The inference of a consequence 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 treated directly. Traditional intensional logics (i.e. modal logic) allow (via modal operators) access to the information states from the object language, but the access is limited and interference with (extensional) notions like (standard) identity, variables etc. is introduced. This does not mean that the ideas present in intensional logics will not work (possibly improved by adding a notion of partiality), but rather that often a formalisation in the simple type theory (with sorts for entities and indices making information states first class citizens --- like individuals) is more comprehensible, flexible and logically well-behaved.