On the modularity of theories

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

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

In this paper we give the notion of modularity of a theory and analyze some of its properties, especially for the case of action theories in reasoning about actions. We propose algorithms to check whether a given action theory is modular and that also make it modular, if needed. Completeness, correctness and termination results are demonstrated.

Mots clés: action, dynamic logic, modularity, interpolation

Domaines: Intelligence artificielle [cs.AI]

Andreas Herzig, Ivan Varzinczak. On the modularity of theories. 5th Conference on Advances in Modal logic (AiML 2004), Sep 2004, Manchester, United Kingdom. pp.93-109. ⟨hal-03519763⟩