Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus

Fundamental to reasoning about actions and beliefs is the projection problem: to decide what is believed after a sequence of actions is performed. Progression is one widely applied technique to solve this problem. In this paper we propose a novel framework for computing progression in the epistemic situation calculus. In particular, we model an agent's preferential belief structure using conditional statements and provide a technique for updating these conditional statements as actions are performed and sensing information is received. Moreover, we show, by using the concepts of natural revision and only-believing, that the progression of a conditional knowledge base can be represented by only-believing the revised set of conditional statements. These results lay the foundations for feasible belief progression due to the unique-model property of only-believing.

[1]  Michael Thielscher,et al.  From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem , 1999, Artif. Intell..

[2]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[3]  Simon Parsons,et al.  Knowledge in action: Logical foundations for specifying and implementing dynamical systems by Raymond Reiter, MIT Press, 0-262-18218-1, 448 pp., $60.00/£38.95 , 2005, The Knowledge Engineering Review.

[4]  Gerhard Lakemeyer,et al.  Point-based value iteration: an anytime algorithm for POMDPs , 2003, IJCAI 2003.

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

[6]  Suzanne Daneau,et al.  Action , 2020, Remaking the Real Economy.

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

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

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

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

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

[12]  Gerhard Lakemeyer,et al.  Decidable Reasoning in a Fragment of the Epistemic Situation Calculus , 2014, KR.

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

[14]  Gerhard Lakemeyer,et al.  Projection in the Epistemic Situation Calculus with Belief Conditionals , 2015, AAAI.

[15]  Gerhard Lakemeyer,et al.  A Semantic Account of Iterated Belief Revision in the Situation Calculus , 2014, ECAI.

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

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

[18]  Judea Pearl,et al.  System Z: a Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning^ , 1990 .

[19]  Maria del Pilar Pozos Parra,et al.  Belief Revision in the Situation Calculus Without Plausibility Levels , 2006, ISMIS.

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

[21]  Maurice Pagnucco,et al.  Dynamic belief revision operators , 2003, Artif. Intell..

[22]  Richard Booth,et al.  Admissible and Restrained Revision , 2006, J. Artif. Intell. Res..

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

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

[25]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

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

[27]  Hector J. Levesque,et al.  Iterated belief change in the situation calculus , 2000, Artif. Intell..

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

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

[30]  John Mylopoulos,et al.  Foundations of Knowledge Base Management , 1989, Topics in Information Systems.

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

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

[33]  Yongmei Liu,et al.  Multiagent Knowledge and Belief Change in the Situation Calculus , 2013, AAAI.

[34]  Hector J. Levesque,et al.  Belief Revision with Sensing and Fallible Actions , 2012, KR.

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