Adding modal operators to the action language A

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.

• Type: Conference
• Year: 2004
• Where: NMR
• Authors: Aaron Hunter
• Keywords: Action Language, Artificial Intelligence, Kripke Structures, NMR 2004, Unary Modal Operator