25 - Belief Revision
Published online by Cambridge University Press: 05 June 2012
By
Summary
Introduction
The terms “belief revision” and “belief change” refer to the change of a system of beliefs or opinions in response to new information, in particular to information that is inconsistent with this system. In the 1960s and 1970s, works of Isaac Levi, William Harper, and Brian Ellis prepared the ground for systematic studies of belief change processes. In the 1980s, a seminal research paradigm of belief revision was established by Carlos Alchourrón, Peter Gärdenfors, and David Makinson (also known as “AGM”) who discovered a common structure in the logic of normative systems and of the logic of counterfactual conditionals – areas which turned out to be structurally related and were merged into the field of belief change (also known as “theory change”). The AGM paradigm is a classic by now that has in many ways been extended and revised. Still almost all new theories that are being proposed today define themselves in relation to the basic ideas of AGM.
Belief revision theories are different from descriptive psychological investigations or investigations of theory dynamics as conducted in the philosophy of science in that they provide abstract logical postulates for rational revision processes, as well as construction recipes for belief changes on the basis of certain revision-guiding structures. At present, research in belief revision is an interdisciplinary undertaking in logic, philosophy, computer science, and, to a lesser extent, in economics and cognitive science.
Information
- Type
- Chapter
- Information
- ReasoningStudies of Human Inference and its Foundations, pp. 514 - 534Publisher: Cambridge University PressPrint publication year: 2008
References
, , and , On the Logic of Theory Change: Partial Meet Contraction and Revision Functions, Journal of Symbolic Logic 50 (1985), 510–530.CrossRefGoogle Scholar
Areces, Carlos, and Veronica Becher, Iterable AGM Functions, in and (eds.), Frontiers of Belief Revision, Dordrecht, Kluwer 2001, pp. 261–277.CrossRefGoogle Scholar
, and , Combining multiple knowledge bases, IEEE Transactions on Knowledge and Data Engineering 3 (1991), 208–220.CrossRefGoogle Scholar
, , and , Combining multiple knowledge bases consisting of first order theories, Computational Intelligence 8 (1992), 45–71.CrossRefGoogle Scholar
, A Logical Theory of Nonmonotonic Inference and Belief Change, Berlin, Springer 2001.CrossRefGoogle Scholar
Boutilier, Craig, Revision Sequences and Nested Conditionals, in (ed.), IJCAI-93 – Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, San Mateo, CA: Morgan Kaufmann 1993, 519–525.Google Scholar
, Iterated Revision and Minimal Change of Conditional Beliefs, Journal of Philosophical Logic 25 (1996), 263–305.CrossRefGoogle Scholar
, and , Non-prioritised Ranked Belief Change, Journal of Philosophical Logic 32 (2003), 417–443.CrossRefGoogle Scholar
Darwiche, Adnan, and Judea Pearl, On the Logic of Iterated Belief Revision, in , ed., TARK '94 – Proceedings of the Fifth Conference on Theoretical Aspects of Reasoning About Knowledge, Pacific Grove, CA: Morgan Kaufmann 1994, 5–23.Google Scholar
, and , On the Logic of Iterated Belief Revision, Artificial Intelligence 89 (1997), 1–29.CrossRefGoogle Scholar
, and , Possibility Theory. An Approach to the Computerized Processing of Uncertainty, New York, Plenum Press 1988.Google Scholar
, and , Belief Revision: A Critique, Journal of Logic, Language and Information 8 (1999), 401–420.CrossRefGoogle Scholar
, Theory Contraction Through Base Contraction, Journal of Philosophical Logic 20 (1991), 175–203.CrossRefGoogle Scholar
, and , A Survey of Multiple Contractions, Journal of Logic, Language and Information 3 (1994), 39–76.CrossRefGoogle Scholar
, and (eds.), Logic, Action, and Information. Essays on Logic in Philosophy and Artificial Intelligence, Berlin/New York 1995.Google Scholar
Gabbay, Dov M., Theoretical Foundations for Non-monotonic Reasoning in Expert Systems, in (ed.), Logics and Models of Concurrent Systems, Berlin, Springer 1985, 439–457.CrossRefGoogle Scholar
, and (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume III: Nonmonotonic Reasoning and Uncertain Reasoning, Oxford: Oxford University Press 1994.Google Scholar
, and (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume IV: Epistemic and Temporal Reasoning, Oxford: Oxford University Press 1995.Google Scholar
, and (eds.), Belief Change, Vol. III of the Handbook of Defeasible Reasoning and Uncertainty Management Systems, Dordrecht, Kluwer 1998.Google Scholar
, Knowledge in Flux. Modeling the Dynamics of Epistemic States, Cambridge, MA: MIT Press 1988.Google Scholar
Gärdenfors, Peter, and David Makinson, Revisions of Knowledge Systems Using Epistemic Entrenchment, in: Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, (ed.), Los Altos, CA: Morgan Kaufmann 1988, 83–95.Google Scholar
, and , Nonmonotonic Inference Based on Expectations, Artificial Intelligence 65 (1994), 197–245.CrossRefGoogle Scholar
Gärdenfors, Peter, and Hans Rott, Belief Revision, in: , and (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume IV: Epistemic and Temporal Reasoning, Oxford: Oxford University Press 1995, 35–132.Google Scholar
, and , Rank-Based Systems: A Simple Approach to Belief Revision, Belief Update, and Reasoning About Evidence and Actions, in: Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA: Morgan Kaufmann 1992, 661–672.Google Scholar
, Two Modellings for Theory Change, Journal of Philosophical Logic 17 (1988), 157–70.CrossRefGoogle Scholar
, Revision und Rechtfertigung. Eine Theorie der Theorieänderung, Synchron Wissenschaftsverlag der Autoren, Heidelberg, Synchron Wissenschaftsverlag der Autoren 2005.Google Scholar
, A Textbook of Belief Dynamics: Theory Change and Database Updating, Dordrecht Kluwer 1999.CrossRefGoogle Scholar
Hansson, Sven Ove (ed.), Non-Prioritized Belief Revision, special issue of Theoria 63 (1997).
, The Logic of Decision, New York, McGraw-Hill 1965: second edition Chicago, University of Chicago Press 1983.Google Scholar
, and , Propositional Knowledge Base Revision and Minimal Change, Artificial Intelligence 52 (1991), 263–294.CrossRefGoogle Scholar
Katsuno, Hirofumi, and Alberto O. Mendelzon, On the Difference Between Updating a Knowledge Base and Revising It, in: (ed.), Belief Revision, Cambridge, Cambridge University Press 1992, 183–203.Google Scholar
, and , On the Logic of Merging, in: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), San Francisco, CA: Morgan Kaufmann 1998, 488–498.Google Scholar
, and , A Framework for Iterated Revision, Journal of Applied Non-Classical Logics 10 (2000), 339–367.CrossRefGoogle Scholar
, and , Merging Information Under Constraints: A Qualitative Framework, Journal of Logic and Computation 12 (2002), 773–808.CrossRefGoogle Scholar
, and , Nonmonotonic Reasoning, Preferential Models and Cumulative Logics, Artificial Intelligence 44 (1990), 167–207.CrossRefGoogle Scholar
, and , Distance Semantics for Belief Revision, Journal of Symbolic Logic 66 (2001), 295–317.CrossRefGoogle Scholar
, Nonmonotonic Logics and Semantics, Journal of Logic and Computation 11 (2001), 229–256.CrossRefGoogle Scholar
, The Fixation of Belief and Its Undoing, Cambridge, Cambridge University Press 1991.CrossRefGoogle Scholar
, Mild Contraction. Evaluating Loss of Information Due to Loss of Belief, Oxford, Oxford University Press 2004.CrossRefGoogle Scholar
, Subjunctives, Dispositions and Chances, Synthese, Oxford, Blackwell 34 (1977), 423–455.CrossRefGoogle Scholar
, Ordering Semantics and Premise Semantics for Counterfactuals. Journal of Philosoponical Logic 19 (1981), 217–234.Google Scholar
, and , Arbitration (Or How To Merge Knowledge Bases), IEEE Transactions on Knowledge and Data Engineering 10 (1998), 76–90.CrossRefGoogle Scholar
, A Semantic Approach to Nonmonotonic Reasoning. Inference Operations and Choice, Department of Philosophy, Uppsala Prints and Preprints in Philosophy 1991:6, University of Uppsala 1991.Google Scholar
, How to Give It Up: A Survey of Some Formal Aspects of the Logic of Theory Change, Synthese 62 (1985), 347–363.CrossRefGoogle Scholar
Makinson, David, General Patterns in Nonmonotonic Reasoning, in , and (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. III: Nonmonotonic Reasoning and Uncertain Reasoning, Oxford: Oxford University Press 1994, 35–110.Google Scholar
, Bridges from Classical to Nonmonotonic Logic, London, King's College Publications 2005.Google Scholar
Makinson, David, and Peter Gärdenfors, Relations Between the Logic of Theory Change and Nonmonotonic Logic, in and (eds.), The Logic of Theory Change, Springer LNAI 465, Berlin, Springer 1991, pp. 185–205.CrossRefGoogle Scholar
, Iterated Belief Change Based on Epistemic Entrenchment, Erkenntnis 41 (1994), 353–390.CrossRefGoogle Scholar
, and , Dynamic Belief Revision Operations, Artificial Intelligence 146 (2003), 193–228.CrossRefGoogle Scholar
Nebel, Bernhard, A Knowledge Level Analysis of Belief Revision, in , and (eds.), Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning, San Mateo, CA: Morgan Kaufmann. 1989, pp. 301–311.Google Scholar
Nebel, Bernhard, Syntax-based Approaches to Belief Revision, in: (ed.), Belief Revision, Cambridge, Cambridge University Press 1992, 52–88.Google Scholar
, and , Severe Withdrawal (and Recovery), Journal of Philosophical Logic 28 (1999), 501–547 (corrected reprint in the JPL issue of February 2000).Google Scholar
, and (eds.), Paraconsistent Logic – Essays on the Inconsistent, Munich, Philosophia Verlag 1989.Google Scholar
, On the Semantics of Arbitration, International Journal of Algebra and Computation 7 (1997), 133–160.CrossRefGoogle Scholar
, On the Semantics of Theory Change: Arbitration Between Old and New Information, Proceedings of the Twelfth ACM SICACT-SIGMOD-SIGART Symposium on Principles of Databases, 1993, 71–92.CrossRefGoogle Scholar
, Belief Contraction in the Context of the General Theory of Rational Choice, Journal of Symbolic Logic 58 (1993), 1426–1450.CrossRefGoogle Scholar
, Coherence and Conservatism in the Dynamics of Belief. Part I: Finding the Right Framework, Erkenntnis 50 (1999), 387–412.CrossRefGoogle Scholar
Rott, Hans, Economics and Economy in the Theory of Belief Revision, in , and (eds.), Knowledge Contributors, Dordrecht: Dordrecht, Kluwer 2003a, 57–86.CrossRefGoogle Scholar
, Coherence and Conservatism in the Dynamics of Belief. Part II: Iterated Belief Change Without Dispositional Coherence, Journal of Logic and Computation 13 (2003b), 111–145.CrossRefGoogle Scholar
Rott, Hans, Bounded Revision: Two-Dimensional Belief Change Between Conservatism and Moderation, in , , and (eds.), Hommage à Wlodek. Philosophical Papers Dedicated to Wlodek Rabinowicz, Lund 2007: available at: http://www.fil.lu.se/hommageawlodek/site/papper/RottHans.pdf.Google Scholar
Schlechta, Karl, Some results on theory revision, in and (eds.), The Logic of Theory Change, LNAI 465, Berlin, Springer 1991, pp. 72–92.CrossRefGoogle Scholar
, Nonmonotonic Logics – Basic Concepts, Results, and Techniques, LNAI 1187, Berlin, Springer 1997.CrossRefGoogle Scholar
, Irrevocable Belief Revision in Dynamic Doxastic Logic, Notre Dame Journal of Formal Logic 39 (1998), 287–306;Google Scholar
, Expectation in Economics, Cambridge, Cambridge University Press 1949, second edition 1952.Google Scholar
Spohn, Wolfgang, Ordinal Conditional Functions: A Dynamic Theory of Epistemic States, in: and (eds.), Causation in Decision, Belief Change, and Statistics, Vol. 2, Dordrecht, Reidel 1988, 105–134.CrossRefGoogle Scholar
, Prolegomena to Dynamic Logic for Belief Revision, Synthese 147 (2005), 229–275 (Knowledge, Rationality and Action, pp. 41–87) 2005.Google Scholar
, and , Infinitary Belief Revision, Journal of Philosophical Logic 30 (2001), 525–570.CrossRefGoogle Scholar
Accessibility standard: Unknown
Accessibility compliance for the PDF of this book is currently unknown
and may be updated in the future.
- 6
- Cited by