Adding modal operators to the action language A
Hunter, Aaron (Aaron Hunter (Aaron_Hunter)) (author)
© 2004 Aaron Hunter
Proceedings of the International Workshop on Non-Monotonic Reasoning (NMR-04) in Whistler, BC, 2004. The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the underlying propositional logic. The extended language requires very little new machinery, and it is suitable for describing transitions between Kripke structures. We consider some formal restrictions on action descriptions that preserve natural classes of Kripke structures, and we prove that the modal epistemic extension of A naturally subsumes related approaches to reasoning about knowledge. We conclude with some plans for future work. Introduction The action language A is a simple high-level language for reasoning about the effects of actions (Gelfond & Lifschitz 1993). The basic language is suitable only for simple action domains, but it has been extended several times to address a wide range of problems (Baral & Gelfond 1997; Baral, Gelfond, & Provetti 1997). In this paper, we suggest that it is possible to increase the representational power of A without changing the action language itself. Instead, we look at extending the underlying propositional logic by adding modal operators. We consider the expressive power of the modal extension, and compare the framework with related work on epistemic extensions of A.