Elaborating domain descriptions

  • Authors:

  • Andreas Herzig;Laurent Perrussel;Ivan Varzinczak

  • Affiliations:

  • The authors are with the Institut de Recherche en Informatique de Toulouse (IRIT), Toulouse, France. e-mail: {herzig, perrusse, ivan}@irit.fr;The authors are with the Institut de Recherche en Informatique de Toulouse (IRIT), Toulouse, France. e-mail: {herzig, perrusse, ivan}@irit.fr;The authors are with the Institut de Recherche en Informatique de Toulouse (IRIT), Toulouse, France. e-mail: {herzig, perrusse, ivan}@irit.fr

  • Venue:
  • Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

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.