Iterated belief change in the situation calculus

John McCarthy's situation calculus has left an enduring mark on artificial intelligence research. This simple yet elegant formalism for modelling and reasoning about dynamic systems is still in common use more than forty years since it was first proposed. The ability to reason about action and change has long been considered a necessary component for any intelligent system. The situation calculus and its numerous extensions as well as the many competing proposals that it has inspired deal with this problem to some extent. In this paper, we offer a new approach to belief change associated with performing actions that addresses some of the shortcomings of these approaches. In particular, our approach is based on a well-developed theory of action in the situation calculus extended to deal with belief. Moreover, by augmenting this approach with a notion of plausibility over situations, our account handles nested belief, belief introspection, mistaken belief, and handles belief revision and belief update together with iterated belief change.

[1]  Craig Boutilier,et al.  Iterated revision and minimal change of conditional beliefs , 1996, J. Philos. Log..

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

[3]  Peter Gärdenfors,et al.  Knowledge in Flux , 1988 .

[4]  Vladimir Lifschitz,et al.  Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy , 1991 .

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

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

[7]  Dominique Longin,et al.  Sensing and revision in a modal logic of belief and action , 2002, ECAI.

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

[9]  Heinrich Wansing,et al.  Knowledge and belief in philosophy and artificial intelligence , 1995 .

[10]  B. van Linder,et al.  Act ions That Make You Change Your Mind , 1994 .

[11]  J. Pearl,et al.  On the Logic of Iterated Belief Revision , 1994, Artif. Intell..

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

[13]  Craig Boutilier,et al.  Revision Sequences and Nested Conditionals , 1993, IJCAI.

[14]  Yoav Shoham,et al.  A Unified View of Belief Revision and Update , 1994, J. Log. Comput..

[15]  Johan van Benthem,et al.  Dynamic logic for belief revision , 2007, J. Appl. Non Class. Logics.

[16]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[17]  Raymond Reiter,et al.  Some contributions to the metatheory of the situation calculus , 1999, JACM.

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

[19]  Craig Boutiller,et al.  Generalized update: belief change in dynamic settings , 1995, IJCAI 1995.

[20]  John-Jules Ch. Meyer,et al.  Actions That Make You Change Your Mind (Extended Abstract) , 1995, KI.

[21]  Steven Shapiro,et al.  Belief Change with Noisy Sensing and Introspection , 2005, Belief Change in Rational Agents.

[22]  Hector J. Levesque,et al.  What Is Planning in the Presence of Sensing? , 1996, AAAI/IAAI, Vol. 2.

[23]  Peter Gärdenfors,et al.  Knowledge in Flux: Modeling the Dynamics of Epistemic States , 2008 .

[24]  Michael Thielscher,et al.  Representing the Knowledge of a Robot , 2000, KR.

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

[26]  Hector J. Levesque,et al.  Projection Using Regression and Sensors , 1999, IJCAI.

[27]  William Harper,et al.  Causation in decision, belief change, and statistics , 1988 .

[28]  Maria del Pilar Pozos Parra,et al.  A Simple and Tractable Extension of Situation Calculus to Epistemic Logic , 2000, ISMIS.

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

[30]  Aaron Hunter,et al.  Belief change in the presence of actions and observations: a transition system approach , 2006 .

[31]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[32]  Mary-Anne Williams,et al.  Transmutations of Knowledge Systems , 1994, KR.

[33]  John McCarthy.  Modality, Si! Modal Logic, No! , 1997, Stud Logica.

[34]  Alex S. Taylor,et al.  Machine intelligence , 2009, CHI.

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

[36]  Michael Thielscher,et al.  Introduction to the Fluent Calculus , 1998, Electron. Trans. Artif. Intell..

[37]  Joseph Y. Halpern,et al.  A Knowledge-Based Framework for Belief Change, Part II: Revision and Update , 1994, KR.

[38]  Gerhard Lakemeyer,et al.  AOL: A logic of Acting, Sensing, Knowing, and Only Knowing , 1998, KR.

[39]  Maurice Pagnucco,et al.  Iterated Belief Change and Exogeneous Actions in the Situation Calculus , 2004, ECAI.

[40]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[41]  John McCarthy,et al.  Epistemological Problems of Artificial Intelligence , 1987, IJCAI.

[42]  Craig Boutilier,et al.  Abduction to Plausible Causes: An Event-Based model of Belief Update , 1994, Artif. Intell..

[43]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

[44]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[45]  Donald Nute,et al.  Counterfactuals , 1975, Notre Dame J. Formal Log..

[46]  W. Hoek,et al.  Dynamic Epistemic Logic , 2007 .

[47]  Krister Segerberg,et al.  Belief Revision From the Point of View of Doxastic Logic , 1995, Log. J. IGPL.

[48]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[49]  Hector J. Levesque,et al.  Specifying Communicative Multi-Agent Systems (Invited Paper) , 1997, Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications.

[50]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

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

[52]  Norman Y. Foo,et al.  Revision vs. Update: Taking a Closer Look , 1996, ECAI.