The Situation Calculus: A Case for Modal Logic

The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of the situation calculus, show how knowledge and time have been addressed in this framework, and point to some of the weaknesses of the situation calculus with respect to time. We then present a modal version of the situation calculus where these problems can be overcome with relative ease and without sacrificing the advantages of the original.

[1]  Maarten Marx,et al.  Situation Calculus as Hybrid Logic: First Steps , 2001, EPIA.

[2]  Vaughan R. Pratt,et al.  SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC , 1976, FOCS 1976.

[3]  Alexander Ferrein,et al.  On-Line Decision-Theoretic Golog for Unpredictable Domains , 2004, KI.

[4]  Dominique Longin,et al.  A Logic for Planning under Partial Observability , 2000, AAAI/IAAI.

[5]  Alfredo Gabaldon,et al.  Precondition Control and the Progression Algorithm , 2004, ICAPS.

[6]  Frank van Harmelen,et al.  Handbook of Knowledge Representation , 2008, Handbook of Knowledge Representation.

[7]  Gerhard Lakemeyer,et al.  Cognitive Robotics , 2008, Handbook of Knowledge Representation.

[8]  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.

[9]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[10]  Hector J. Levesque,et al.  Foundations for the Situation Calculus , 1998, Electron. Trans. Artif. Intell..

[11]  C. Cordell Green,et al.  Application of Theorem Proving to Problem Solving , 1969, IJCAI.

[12]  B. Nebel.  Introduction to Modal Logic Introduction , 2009 .

[13]  Robert C. Moore,et al.  Formal Theories of the Commonsense World , 1985 .

[14]  A. Campbell,et al.  Progress in Artificial Intelligence , 1995, Lecture Notes in Computer Science.

[15]  Gerhard Lakemeyer,et al.  The logic of knowledge bases , 2000 .

[16]  Alberto Finzi,et al.  Augmenting situation awareness via model-based control in rescue robots , 2005, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[17]  Gerhard Lakemeyer,et al.  A semantic characterization of a useful fragment of the situation calculus with knowledge , 2011, Artif. Intell..

[18]  Saul A. Kripke,et al.  Semantical Considerations on Modal Logic , 2012 .

[19]  Tran Cao Son,et al.  Adapting Golog for Composition of Semantic Web Services , 2002, KR.

[20]  Andreas Herzig,et al.  Regression in Modal Logic , 2003, J. Appl. Non Class. Logics.

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

[22]  Javier Pinto,et al.  Integrating Discrete and Continuous Change in a Logical Framework , 1998, Comput. Intell..

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

[24]  Sheila A. McIlraith,et al.  Planning with Qualitative Temporal Preferences , 2006, KR.

[25]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

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

[27]  Hector J. Levesque,et al.  Reasoning about Noisy Sensors and Effectors in the Situation Calculus , 1995, Artif. Intell..

[28]  Fangzhen Lin,et al.  How to Progress a Database , 1997, Artif. Intell..

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

[30]  Craig Boutilier,et al.  Decision-Theoretic, High-Level Agent Programming in the Situation Calculus , 2000, AAAI/IAAI.

[31]  Marvin Minsky,et al.  Semantic Information Processing , 1968 .

[32]  Gerhard Lakemeyer,et al.  Semantics for a useful fragment of the situation calculus , 2005, IJCAI.

[33]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

[34]  Fahiem Bacchus,et al.  Using temporal logics to express search control knowledge for planning , 2000, Artif. Intell..

[35]  Joseph Y. Halpern,et al.  “Sometimes” and “not never” revisited: on branching versus linear time temporal logic , 1986, JACM.

[36]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[37]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[38]  Wolfram Burgard,et al.  Experiences with an Interactive Museum Tour-Guide Robot , 1999, Artif. Intell..

[39]  Gerhard Lakemeyer,et al.  A Logic for Non-Terminating Golog Programs , 2008, KR.

[40]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[41]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[42]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[43]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[44]  Hector J. Levesque,et al.  Knowledge, action, and the frame problem , 2003, Artif. Intell..

[45]  Hector J. Levesque,et al.  Reasoning about Noisy Sensors in the Situation Calculus , 1995, IJCAI.

[46]  Andreas Herzig,et al.  Optimal Regression for Reasoning about Knowledge and Actions , 2007, AAAI.

[47]  Carsten Lutz,et al.  Complexity and succinctness of public announcement logic , 2006, AAMAS '06.

[48]  J. Hintikka.  Knowledge and belief , 1962 .

[49]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .

[50]  Murray Shanahan.  Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .

[51]  Ray Reiter,et al.  On knowledge-based programming with sensing in the situation calculus , 2001, ACM Trans. Comput. Log..

[52]  D. Holdstock.  Past, present--and future? , 2005, Medicine, conflict, and survival.

[53]  Gerhard Lakemeyer,et al.  Situations, Si! Situation Terms, No! , 2004, KR.

[54]  Gerhard Lakemeyer,et al.  ccGolog -- A Logical Language Dealing with Continuous Change , 2003, Log. J. IGPL.