Elaborating Domain Descriptions

Abstract. 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.

• Type: Conference
• Year: 2006
• Where: ECAI
• Authors: Andreas Herzig, Laurent Perrussel, Ivan José Varzinczak
• Keywords: Artificial Intelligence, Domain Description, Dynamic Logic, ECAI 2006, Propositional Dynamic Logic