Elaborating domain descriptions
Andreas Herzig, Laurent Perrussel, Ivan Jose ́ Varzinczak · 2006
Abstract. In this work we address the problem of elaborating do-main 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. 1