Elaborating Domain Descriptions

In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a general method based on contraction of formulas in a version of propositional dynamic logic with a solution to the frame problem. We present the semantics of our theory change and define syntactical operators for contracting a domain description. We establish soundness and completeness of the operators w. r. t. the semantics for descriptions that satisfy a principle of modularity that we have defined in previous work.

Authors

• Andreas Herzig
• Laurent Perrussel
• Ivan Varzinczak

Keywords

No keywords are indexed for this paper.