Elaborating domain descriptions (ECAI 2006)

Andreas Herzig (1, 2) , Laurent Perrussel (1) , Ivan Varzinczak (1)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique

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.

Domaines: Intelligence artificielle [cs.AI]

Andreas Herzig, Laurent Perrussel, Ivan Varzinczak. Elaborating domain descriptions (ECAI 2006). 17th European Conference on Artificial Intelligence (ECAI 2006), Aug 2006, Riva del Garda, Italy. pp.397-401. ⟨hal-03537160⟩