Situation Calculus as Answer Set Programming

We show how the situation calculus can be reformulated in terms of the first-order stable model semantics. A further transformation into answer set programs allows us to use an answer set solver to perform propositional reasoning about the situation calculus. We also provide an answer set programming style encoding method for Reiter's basic action theories, which tells us how the solution to the frame problem in answer set programming is related to the solution in the situation calculus.

[1]  Joohyung Lee,et al.  A New Perspective on Stable Models , 2007, IJCAI.

[2]  Fangzhen Lin,et al.  Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems , 2003, J. Artif. Intell. Res..

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

[4]  David Pearce,et al.  Reducing Propositional Theories in Equilibrium Logic to Logic Programs , 2005, Answer Set Programming.

[5]  Bart Selman,et al.  Planning as Satisfiability , 1992, ECAI.

[6]  Joohyung Lee,et al.  Stable models and circumscription , 2011, Artif. Intell..

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

[8]  Michael Gelfond,et al.  Representing Action and Change by Logic Programs , 1993, J. Log. Program..

[9]  Gerhard Lakemeyer,et al.  Towards an Integration of Golog and Planning , 2007, IJCAI.

[10]  Fangzhen Lin,et al.  From Causal Theories to Logic Programs (Sometimes) , 1999, LPNMR.

[11]  Vladimir Lifschitz,et al.  Almost Definite Causal Theories , 2004, LPNMR.

[12]  Joohyung Lee,et al.  Circumscriptive Event Calculus as Answer Set Programming , 2009, IJCAI.

[13]  Enrico Giunchiglia,et al.  Nonmonotonic causal theories , 2004, Artif. Intell..

[14]  Joohyung Lee,et al.  System f2lp - Computing Answer Sets of First-Order Formulas , 2009, LPNMR.

[15]  Vladimir Lifschitz,et al.  Representing Transition Systems by Logic Programs , 1999, LPNMR.

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

[17]  Erik T. Mueller,et al.  Event Calculus Reasoning Through Satisfiability , 2004, J. Log. Comput..