Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Reasoning about knowledge
Exploring logical dynamics
Two Theories of Dynamic Semantics
JELIA '90 Proceedings of the European Workshop on Logics in AI
Hi-index | 0.00 |
Since Peter Aczel's theory[1] of hypersets, many applications to formalizations of a circular object such as a mutual belief has been proposed [3,2,5]. This paper will propose Membership Description Systems (MDSs), a partial revision system of circular objects and their applications to a dynamic semantics of a dialogue in the sense that a dialogue can be considered as a revision process of mutual beliefs between its agents. Although usual dynamic semantics [10] updates a variable assignment or a set of information states, our proposal of a semantics of dialogues directly updates situations, which is specified by MDSs, as dynamic semantics of circular propositions [11] directly updates situations. Furthermore, using MDSs as updated objects in the semantics makes a partial and direct update of circular situations themselves possible. As a result, a dynamic semantics of a language with the ↓-operator, which is introduced by [3] to describe circular propositions, can be provided.