Domain descriptions should be modular

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

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

This work is about the metatheory of actions, and here we address the problem of what a good domain description for reasoning about actions should look like. We state some postulates concerning this sore spot, which establishes the notion of a modular domain description. We point out the problems that arise when modularity is violated and propose algorithms to overcome them.

Mots clés: reasoning about actions; dynamic logic; modularity

Domaines: Intelligence artificielle [cs.AI]

Andreas Herzig, Ivan Varzinczak. Domain descriptions should be modular. 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Jun 2004, Whistler, Canada. ⟨hal-03519772⟩