Handbook of Knowledge Representation Edited Belief Revision Pavlos Peppas 8.1 Introduction

Publisher Summary The study of the process of belief revision, which gave rise to an exciting research area with the same name, can be traced back to the early 1980s. The framework that has evolved from what is now known as the “AGM paradigm” (or simply AGM) after the initials of its three founders to this date is a dominant framework in belief revision. Much has happened since 1985. The formal apparatus developed has been enhanced and thoroughly studied, new research directions have emerged from it, connections with neighboring fields have been established, and a lot more is currently under way. This chapter discusses the main developments in belief revision, which are presented in a historical order, starting with the classic AGM paradigm following the trail till the present day. After identifying the class of rational revision and contraction functions axiomatically, constructive models for these functions need to be developed.

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

[2]  Hans Rott,et al.  Two methods of constructing contractions and revisions of knowledge systems , 1991, J. Philos. Log..

[3]  Ken Satoh.  Nonmonotonic Reasoning by Minimal Belief Revision , 1988, FGCS.

[4]  David Makinson,et al.  On the status of the postulate of recovery in the logic of theory change , 1987, J. Philos. Log..

[5]  David Makinson,et al.  Five faces of minimality , 1993, Stud Logica.

[6]  Didier Dubois,et al.  Epistemic Entrenchment and Possibilistic Logic , 1991, Artif. Intell..

[7]  Pavlos Peppas,et al.  On the Use of Epistemic Entrenchment in Reasoning about Action , 1992, ECAI.

[8]  Norman Y. Foo,et al.  Updates with Disjunctive Information: From Syntactical and Semantical Perspectives , 2000, Comput. Intell..

[9]  Moisés Goldszmidt,et al.  Rank-based Systems: A Simple Approach to Belief Revision, Belief Update, and Reasoning about Evidence and Actions , 1992, KR.

[10]  Gerhard Brewka,et al.  Belief revision in a framework for default reasoning , 1989, The Logic of Theory Change.

[11]  Maurice Pagnucco,et al.  Severe Withdrawal (and Recovery) , 1999, J. Philos. Log..

[12]  Mariano Méndez.  Belief revision by sets of sentences , 1996 .

[13]  Maurice Pagnucco,et al.  Gricean Belief Change , 2005, Stud Logica.

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

[15]  André Fuhrmann,et al.  A survey of multiple contractions , 1994, J. Log. Lang. Inf..

[16]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[17]  C. E. Alchourrón,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985 .

[18]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[19]  Karl Schlechta,et al.  Distance semantics for belief revision , 1996, Journal of Symbolic Logic.

[20]  Aditya K. Ghose,et al.  A Framework for Reasoning about Requirements Evolution , 1996, PRICAI.

[21]  Norman Y. Foo,et al.  Distance Semantics for Relevance-Sensitive Belief Revision , 2004, KR.

[22]  Sébastien Konieczny,et al.  Merging with Integrity Constraints , 1999, ESCQARU.

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

[24]  Pierre-Yves Schobbens,et al.  Counterfactuals and Updates as Inverse Modalities , 1996, J. Log. Lang. Inf..

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

[26]  Didier Dubois,et al.  A Practical Approach to Revising Prioritized Knowledge Bases , 1999, 1999 Third International Conference on Knowledge-Based Intelligent Information Engineering Systems. Proceedings (Cat. No.99TH8410).

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

[28]  André Fuhrmann,et al.  Theory contraction through base contraction , 1991, J. Philos. Log..

[29]  Daniel Lehmann,et al.  Belief Revision and Rational Inference , 2002, ArXiv.

[30]  Craig Boutilier,et al.  Generalized Update: Belief Change in Dynamic Settings , 1995, IJCAI.

[31]  Dongmo Zhang.  Properties of Iterated Multiple Belief Revision , 2004, LPNMR.

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

[33]  Thomas Andreas Meyer,et al.  Non-Prioritized Ranked Belief Change , 2001, J. Philos. Log..

[34]  Peter Gärdenfors,et al.  Nonmonotonic Inference Based on Expectations , 1994, Artif. Intell..

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

[36]  Randy Goebel,et al.  Belief States as Default Theories: Studies in Non-Prioritized Belief Change , 1998, ECAI.

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

[38]  Pavlos Peppas.  Well Behaved and Multiple Belief Revision , 1996, ECAI.

[39]  Raymond Y. K. Lau.  Context-sensitive text mining and belief revision for intelligent information retrieval on the web , 2003, Web Intell. Agent Syst..

[40]  Pierre-Yves Schobbens,et al.  Intertranslating Counterfactuals and Updates , 1996, ECAI.

[41]  Mary-Anne Williams,et al.  Iterated Theory Base Change: A Computational Model , 1995, IJCAI.

[42]  Hans Rott.  Belief Contraction in the Context for the General Theory of Rational Choice , 1993, J. Symb. Log..

[43]  Hector J. Levesque,et al.  Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning , 1991 .

[44]  Andreas Herzig,et al.  The PMA Revisited , 1996, KR.

[45]  Sven Ove Hansson,et al.  A survey of multiple contraction , 1994 .

[46]  Renata Wassermann.  Resource Bounded Belief Revision , 1999 .

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

[48]  Eduardo L. Fermé,et al.  Revision by comparison , 2004, Artif. Intell..

[49]  W. Salmon,et al.  Knowledge in Flux , 1991 .

[50]  Michael Thielscher,et al.  Iterated Belief Revision, Revised , 2005, IJCAI.

[51]  Sven Ove Hansson,et al.  A Textbook Of Belief Dynamics , 1999 .

[52]  Alvaro del Val.  On the Relation between the Coherence and Foundations Theories of Belief Revision , 1994, AAAI.

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

[54]  Joseph Y. Halpern,et al.  Conditional Logics of Belief Change , 1994, AAAI.

[55]  André Fuhrmann,et al.  Change, Choice and Inference , 2003 .

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

[57]  Marco Schaerf,et al.  Arbitration (or How to Merge Knowledge Bases) , 1998, IEEE Trans. Knowl. Data Eng..

[58]  Souhila Kaci,et al.  Weakening conflicting information for iterated revision and knowledge integration , 2001, Artificial Intelligence.

[59]  Gösta Grahne,et al.  Updates and Counterfactuals , 1998, J. Log. Comput..

[60]  Bernhard Nebel,et al.  Base Revision Operations and Schemes: Semantics, Representation and Complexity , 1994, ECAI.

[61]  Sven Ove Hansson,et al.  A textbook of belief dynamics - theory change and database updating , 1999, Applied logic series.

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

[63]  R. Parikh.  Beliefs, belief revision, and splitting languages , 1999 .

[64]  Dongmo Zhang.  Belief revision by sets of sentences , 2008, Journal of Computer Science and Technology.

[65]  Peter Z. Revesz.  On the semantics of theory change: arbitration between old and new information , 1993, PODS '93.

[66]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..

[67]  Yoav Shoham,et al.  Deriving properties of belief update from theories of action , 1992, IJCAI.

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

[69]  Abhaya C. Nayak.  Foundational belief change , 1994, J. Philos. Log..

[70]  Pavlos Peppas.  The Limit Assumption and Multiple Revision , 2004, J. Log. Comput..

[71]  H. Kyburg.  Iterated Belief Change Based on Epistemic Entrenchment* , 1994 .

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

[73]  Aaron Hunter,et al.  An Action Description Language for Iterated Belief Change , 2007, IJCAI.

[74]  David Makinson,et al.  Bridges from classical to nonmonotonic logic , 2005, Texts in computing.

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

[76]  Aaron Hunter,et al.  Iterated Belief Change: A Transition System Approach , 2005, IJCAI.

[77]  Georg Gottlob,et al.  On the complexity of propositional knowledge base revision, updates, and counterfactuals , 1992, Artif. Intell..

[78]  Moshe Y. Vardi.  Conference on Theoretical Aspects of Reasoning about Knowledge , 1990 .

[79]  Sébastien Konieczny,et al.  DA2 merging operators , 2004, Artif. Intell..

[80]  Dongmo Zhang,et al.  Nonmonotonic Reasoning and Multiple Belief Revision , 1997, IJCAI.

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

[82]  Dimitris Christodoulakis,et al.  Early Estimation of Users’ Perception of Software Quality , 2005, Software Quality Journal.

[83]  Peter Gärdenfors,et al.  Epistemic importance and minimal changes of belief , 1984 .

[84]  Torsten Schaub,et al.  A consistency-based approach for belief change , 2003, Artif. Intell..

[85]  Andreas Weber,et al.  Updating Propositional Formulas , 1986, Expert Database Conf..

[86]  John Cantwell,et al.  Credibility limited revision , 2001, Journal of Symbolic Logic.

[87]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

[88]  Norman Y. Foo,et al.  Measuring similarity in belief revision , 2000, J. Log. Comput..

[89]  Maurice Pagnucco,et al.  The Role of Abductive Reasoning within the Process of Belief Revision , 1996 .

[90]  S. Hansson.  A Survey of non-Prioritized Belief Revision , 1999 .

[91]  Andreas Herzig,et al.  Conditionals: from philosophy to computer science , 1996 .

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

[93]  Norman Y. Foo,et al.  Infinitary Belief Revision , 2001, J. Philos. Log..

[94]  Mary-Anne Williams,et al.  On the Logic of Theory Base Change , 1994, JELIA.

[95]  Sten Lindström,et al.  A semantic approach to nonmonotonic reasoning: Inference operations and choice , 2022, Theoria.

[96]  Sten Lindström,et al.  The Ramsey test revisited , 1996 .

[97]  K. Schlechta.  Non-prioritized belief revision based on distances between models , 2008 .

[98]  Sarit Kraus,et al.  Combining Multiple Knowledge Bases , 1991, IEEE Trans. Knowl. Data Eng..

[99]  D. Dubois,et al.  Belief Revision: Belief change and possibility theory , 1992 .

[100]  Didier Dubois,et al.  Iterated Revision as Prioritized Merging , 2006, KR.

[101]  John Mylopoulos,et al.  Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning , 2006 .

[102]  Mary-Anne Williams,et al.  Constructive Modelings for Theory Change , 1995, Notre Dame J. Formal Log..

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

[104]  Mary-Anne Williams,et al.  SATEN: An Object-Oriented Web-Based Revision and Extraction Engine , 2000, ArXiv.

[105]  Mary-Anne Williams,et al.  Applications of Belief Revision , 1996, Transactions and Change in Logic Databases.

[106]  Sven Ove Hansson.  Kernel Contraction , 1994, J. Symb. Log..

[107]  Laura Giordano,et al.  Weak AGM postulates and strong Ramsey Test: A logical formalization , 2005, Artif. Intell..

[108]  Raymond Y. K. Lau.  Belief Revision for Adaptive Recommender Agents in E-commerce , 2003, IDEAL.

[109]  Hans Rott.  Conditionals and theory change: Revisions, expansions, and additions , 2004, Synthese.

[110]  Sébastien Konieczny,et al.  A framework for iterated revision , 2000, J. Appl. Non Class. Logics.

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

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

[113]  David Makinson,et al.  On the logic of theory change: Safe contraction , 1985, Stud Logica.

[114]  P. Gärdenfors.  Belief Revisions and the Ramsey Test for Conditionals , 1986 .

[115]  Thomas Andreas Meyer,et al.  Systematic Withdrawal , 2002, J. Philos. Log..