Regression in Modal Logic

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.

[1]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[2]  M. Fitting.  Proof Methods for Modal and Intuitionistic Logics , 1983 .

[3]  Drew McDermott,et al.  Default Reasoning, Nonmonotonic Logics, and the Frame Problem , 1986, AAAI.

[4]  Lenhart K. Schubert.  Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds wi , 1990 .

[5]  Hans Jürgen Ohlbach,et al.  Semantics-Based Translation Methods for Modal Logics , 1991, J. Log. Comput..

[6]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[7]  Hans Jürgen Ohlbach,et al.  Translation Methods for Non-Classical Logics: An Overview , 1993, Log. J. IGPL.

[8]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

[9]  Fangzhen Lin,et al.  State Constraints Revisited , 1994, J. Log. Comput..

[10]  Fangzhen Lin,et al.  Embracing Causality in Specifying the Indirect Effects of Actions , 1995, IJCAI.

[11]  Maurizio Lenzerini,et al.  PDL-based framework for reasoning about actions , 1995, AI*IA.

[12]  Fangzhen Lin,et al.  Embracing Causality in Specifying the Indeterminate Effects of Actions , 1996, AAAI/IAAI, Vol. 1.

[13]  Sheila A. McIlraith.  Representing Actions and State Constraints in Model-Based Diagnosis , 1997, AAAI/IAAI.

[14]  Andreas Herzig,et al.  Formalizing Action and Change in Modal Logic I: the frame problem , 1999, J. Log. Comput..

[15]  Andreas Herzig,et al.  A modal logic for epistemic tests , 2000, ECAI.

[16]  Norman Y. Foo,et al.  EPDL: A Logic for Causal Reasoning , 2001, IJCAI.

[17]  Andreas Herzig,et al.  It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation , 2002, NMR.

[18]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[19]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[20]  Robert Demolombe,et al.  Belief Change: from Situation Calculus to Modal Logic , 2003, J. Appl. Non Class. Logics.