Belief extrapolation (or how to reason about observations and unpredicted change)

We give a logical framework for reasoning with observations at different time points. We call belief extrapolation the process of completing initial belief sets stemming from observations by assuming minimal change. We give a general semantics and we propose several extrapolation operators. We study some key properties verified by these operators and we address computational issues. We study in detail the position of belief extrapolation with respect to revision and update: in particular, belief extrapolation is shown to be a specific form of time-stamped belief revision. Several related lines of work are positioned with respect to belief extrapolation.

[1]  Marianne Winslett,et al.  Reasoning about Action Using a Possible Models Approach , 1988, AAAI.

[2]  Jérôme Lang,et al.  Belief Update Revisited , 2007, IJCAI.

[3]  Torsten Schaub,et al.  Belief Change Based on Global Minimisation , 2007, IJCAI.

[4]  V. S. Costa,et al.  Theory and Practice of Logic Programming , 2010 .

[5]  Y. Shoham.  Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence , 1987 .

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

[7]  Journal of the Association for Computing Machinery , 1961, Nature.

[8]  Daniel Lehmann,et al.  Belief Revision, Revised , 1995, IJCAI.

[9]  Craig Boutilier,et al.  A Unified Model of Qualitative Belief Change: A Dynamical Systems Perspective , 1998, Artif. Intell..

[10]  Marie-Odile Cordier,et al.  Combining Observations and Expectations: Application to the Reenement of an Image Sequence Classiication , .

[11]  Joseph Y. Halpern,et al.  Belief Revision: A Critique , 1996, J. Log. Lang. Inf..

[12]  Odile Papini,et al.  Iterated Revision by Epistemic States: Axioms, Semantics and Syntax , 2000, ECAI.

[13]  Shai Berger,et al.  Preferred History Semantics for Iterated Updates , 1999, J. Log. Comput..

[14]  Joseph Y. Halpern,et al.  Modeling Belief in Dynamic Systems, Part II: Revisions and Update , 1999, J. Artif. Intell. Res..

[15]  Silvia Coradeschi.  Reasoning with Misperception in the Features and Fluents Framework , 1996, ECAI.

[16]  Michael Gelfond,et al.  Diagnostic reasoning with A-Prolog , 2003, Theory Pract. Log. Program..

[17]  M. Thielscher.  A Theory of Dynamic Diagnosis , 1997 .

[18]  Dov M. Gabbay,et al.  Handbook of defeasible reasoning and uncertainty management systems: volume 2: reasoning with actual and potential contradictions , 1998 .

[19]  Jérôme Lang,et al.  Reasoning About Unpredicted Change and Explicit Time , 1997, ECSQARU-FAPR.

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

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

[22]  Florence Dupin de Saint-Cyr.  Scenario update applied to causal reasoning , 2008, KR 2008.

[23]  Craig Boutilier,et al.  Belief Revision with Unreliable Observations , 1998, AAAI/IAAI.

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

[25]  Salil P. Vadhan,et al.  Computational Complexity , 2005, Encyclopedia of Cryptography and Security.

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

[27]  Richard Booth,et al.  Reconstructing an Agent's Epistemic State from Observations , 2005, IJCAI.

[28]  Florence Bannay,et al.  Scenario Update Applied to Causal Reasoning , 2008, KR.

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

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

[31]  Daniele Theseider Dupré,et al.  A Spectrum of Definitions for Temporal Model-Based Diagnosis , 1998, Artificial Intelligence.

[32]  Pierre Marquis,et al.  Complexity Results for Independence and Definability in Propositional Logic , 1998, KR.

[33]  Tran Cao Son,et al.  Formulating diagnostic problem solving using an action language with narratives and sensing , 2000, KR.

[34]  Bernhard Nebel,et al.  How Hard is it to Revise a Belief Base , 1996 .

[35]  Michael Thielscher.  A Theory of Dynamic Diagnosis. Electronic Transactions on Artificial Intelligence , 1997, Electron. Trans. Artif. Intell..

[36]  Georg Gottlob,et al.  The complexity of logic-based abduction , 1993, JACM.

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

[38]  Marco Schaerf,et al.  BReLS: A System for the Integration of Knowledge Bases , 2000, KR.

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

[40]  Andreas Herzig,et al.  Logics for Belief Base Updating , 1998 .

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

[42]  Aaron Hunter,et al.  Belief Change in the Context of Fallible Actions and Observations , 2006, AAAI.

[43]  N. Friedman.  Modeling beliefs in dynamic systems , 1997 .