Regression in Modal Logic

Robert Demolombe (1) , Andreas Herzig (2, 3) , Ivan Varzinczak (2)

1 ONERA - The French Aerospace Lab [Toulouse]
2 IRIT-LILaC - Logique, Interaction, Langue et Calcul
3 CNRS - Centre National de la Recherche Scientifique

In this work we propose an encoding of Reiter's Situation Calculus solution to the frame problem into the framework of a simple multimodal logic of actions. In particular we present the modal counterpart of the regression technique. This gives us a theorem proving method for a relevant fragment of our modal logic.

Mots clés: reasoning about actions; successor state axiom; regression

Domaines: Intelligence artificielle [cs.AI]; Logique en informatique [cs.LO]

Robert Demolombe, Andreas Herzig, Ivan Varzinczak. Regression in Modal Logic. Journal of Applied Non-Classical Logics, 2003, 13 (2), pp.165-185. ⟨hal-03534099⟩