Steps Towards Commonsense-Driven Belief Revision in the Event Calculus

Recent extensions of the Event Calculus resulted in powerful formalisms, able to reason about a multitude of commonsense phenomena in causal domains, involving epistemic notions, functional fluents and probabilistic aspects, among others. Surprisingly, little attention has been paid to the problem of automatically revising (correcting) a Knowledge Base when an observation contradicts predictions regarding the world. Despite mature work on the related belief revision field, adapting such results for the case of action theories is non-trivial. This paper reports on ongoing work for addressing this problem by proposing a generic framework in the context of the Event Calculus, along with ASP encodings of the revision algorithm.

[1]  Hector J. Levesque,et al.  Knowledge Equivalence in Combined Action Theories , 2002, KR.

[2]  Grigoris Antoniou,et al.  On Generalizing the AGM Postulates , 2006, STAIRS.

[3]  Mukesh Dalal,et al.  Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.

[4]  Mehdi Dastani,et al.  AGM Revision of Beliefs about Action and Time , 2015, IJCAI.

[5]  Leora Morgenstern,et al.  Knowledge Preconditions for Actions and Plans , 1988, IJCAI.

[6]  Theodore Patkos,et al.  Reasoning About Knowledge and Action in an Epistemic Event Calculus , 2013 .

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

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

[9]  Grigoris Antoniou,et al.  Minimal change: Relevance and recovery revisited , 2013, Artif. Intell..

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

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

[12]  Alexander Artikis,et al.  A probabilistic logic programming event calculus , 2012, Theory and Practice of Logic Programming.

[13]  Murray Shanahan,et al.  Some Alternative Formulations of the Event Calculus , 2002, Computational Logic: Logic Programming and Beyond.

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

[15]  Marius Thomas Lindauer,et al.  Potassco: The Potsdam Answer Set Solving Collection , 2011, AI Commun..

[16]  Tran Cao Son,et al.  Formalizing sensing actions A transition function based approach , 2001, Artif. Intell..

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

[18]  Leora Morgenstern,et al.  An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future , 2013, LPAR.

[19]  Erik T. Mueller,et al.  Commonsense Reasoning: An Event Calculus Based Approach , 2006 .

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

[21]  Joohyung Lee,et al.  Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming , 2014, J. Artif. Intell. Res..

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

[23]  Gerhard Lakemeyer,et al.  Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus , 2015, IJCAI.

[24]  Peter Gärdenfors,et al.  Revisions of Knowledge Systems Using Epistemic Entrenchment , 1988, TARK.

[25]  Adrian R. Pearce,et al.  Complex Epistemic Modalities in the Situation Calculus , 2008, KR.

[26]  Samir Guglani.  Knowledge , 2016, The Lancet.

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

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

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

[30]  Richard B. Scherl,et al.  Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus , 2003, IJCAI.