A Panorama of Iterated Revision

Part of the Outstanding Contributions to Logic book series (OCTR, volume 3)


In 1985, David Makinson, together with Carlos Alchourron and Peter Gärdenfors published an article, the now renowned “AGM paper”, that gave rise to an entire new area of research: Belief Revision. The AGM paper set the stage for studying belief revision and provided the first fundamental results in the area. There was however one aspect of belief revision that was not addressed in the AGM paper: iterated belief revision. Since 1985, there have been numerous attempts to tackle this problem. In this chapter, we shall review some of the most influential approaches to the problem of iterated belief revision, and discuss their strengths and shortcomings.


Belief revision Iterated revision Possible worlds 



I am grateful to the anonymous reviewers for their valuable comments, and to the editor of this book, Sven Ove Hansson, for his excellent work in coordinating our joint efforts. Since this book is devoted to David Makinson’s work, I would like to take this opportunity to express my gratitude to David for co-founding the area of Belief Revision that has constantly fueled my intellectual curiosity for over 20 years. More importantly though, I would like to thank David for setting such an inspiring example of a true scholar of the very best in academic traditions.


  1. Alchourron, C., Gärdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic, 50, 510–530.CrossRefGoogle Scholar
  2. Alchourron, C., & Makinson, D. (1985). On the logic of theory change: Safe contractions. Studia Logica, 44, 405–422.CrossRefGoogle Scholar
  3. Baltag, A., & Smets, S. (2009). Group belief dynamics under iterated revision: Fixed points and cycles of joint upgrades. Proceedings of the \(20^{th}\) Conference on Theoretical Aspects of Rationality and Knowledge (TARK-09).Google Scholar
  4. Benferhat, S., Kaci, S., Le Berre, D., & Williams, M.-A. (2004). Weakening conflicting information for iterated revision and knowledge integration. Artificial Intelligence, 153(1–2), 339–371.CrossRefGoogle Scholar
  5. Booth, R., Chopra, S., & Meyer, T. (2005). Restrained revision. \(6^{th}\) Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC-05), Edinburgh.Google Scholar
  6. Booth, R., & Meyer, T. (2006). Admissible and restrained revision. Journal of artificial intelligence research, 26, 127–151.Google Scholar
  7. Booth, R., & Meyer, T. (2011). How to revise a total preorder. Journal of Philosophical Logic, 40, 193–238.CrossRefGoogle Scholar
  8. Boutilier, C. (1993). Revision sequences and nested conditionals. Proceedings of the \(13^{th}\) International Joint Conference in, Artificial Intelligence. (pp. 519–525).Google Scholar
  9. Boutilier, C. (1996). Iterated revision and minimal change of conditional beliefs. Journal of Philosophical Logic, 25(3), 262–305.CrossRefGoogle Scholar
  10. Chopra, S., Ghose, A., Meyer, T., & Wong, K.-S. (2008). Iterated belief change and the recovery axiom. Journal of Philosophical Logic, 37(5), 501–520.CrossRefGoogle Scholar
  11. Darwiche, A., & Pearl, J. (1997). On the logic of iterated belief revision. Artificial Intelligence, 89, 1–29.CrossRefGoogle Scholar
  12. Delgrande, J., & Schaub, T. (2003). A consistency-based approach for belief change. Artificial Intelligence, 151, 1–41.CrossRefGoogle Scholar
  13. Delgrande, J., Dubois, D., & Lang, J. (2006). Iterated revision as prioritized merging:In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (pp. 210–220). Sa Fransico: Morgan Kauffman.Google Scholar
  14. Ferme, E., & Rott, H. (2004). Revision by comparison. Artificial Intelligence, 157, 139–202.CrossRefGoogle Scholar
  15. Gärdenfors, P. (1984). Epistemic importance and minimal changes of belief. Australasian Journal of Philosophy, 62, 136–157.CrossRefGoogle Scholar
  16. Gärdenfors, P. (1988). Knowledge in flux:Modeling the dynamics of epistemic states. Cambridge: MIT Press.Google Scholar
  17. Gärdenfors, P., & Makinson, D. (1988). Revisions of knowledge systems using epistemic entrenchment. Proceedings of Theoretical Aspects of Reasoning about Knowledge (pp. 83–95). USA:Morgan-Kaufmann.Google Scholar
  18. Grove, A. (1988). Two modellings for theory change. Journal of Philosophical Logic, 17, 157–170.CrossRefGoogle Scholar
  19. Hansson, S.-O. (1999). A textbook of belief dynamics: Theory change and database updating. USA: Kluwer Academic Publishers.CrossRefGoogle Scholar
  20. Hansson, S.-O. (1998). A survey of non-prioritized belief revision. Erkenntnis, 50, 413–427.CrossRefGoogle Scholar
  21. Hunter, A., & Delgrande, J. (2005). Iterated belief change: A Transition System Approach Proceedings of the \(19^{th}\) International Joint Conference in Artificial Intelligence (pp 460–465).Google Scholar
  22. Hunter, A., & Delgrande, J. (2007). An action description language for iterated belief change. Proceedings of the \(20^{th}\) International Joint Conference in Artificial Intelligence (pp. 2498–2503). Hyderabad.Google Scholar
  23. Jin, Y., & Thielscher, M. (2005). Iterated revision, revised. Proceedings of the 19th International Joint Conference in Artificial Intelligence (pp 478–483), Edinburgh.Google Scholar
  24. Jin, Y., & Thielscher, M. (2007). Iterated revision, revised. Artificial Intelligence, 171(1), 1–18.CrossRefGoogle Scholar
  25. Katsuno, H., & Mendelzon, A. (1991a). On the difference between updating a knowledge base and revising it. Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (pp. 387–394). USA: Morgan Kauffman.Google Scholar
  26. Katsuno, H., & Mendelzon, A. (1991b). Propositional knowledge base revision and minimal change. Artificial Intelligence, 52, 263–294.Google Scholar
  27. Konieczny, S., & Perez, R. P. (2000). A framework for iterated revision. Journal of Applied Non-Classical Logics, 10, 339–367.Google Scholar
  28. Kraus, S., Lehmann, D., & Magidor, M. (1990). Nonmonotonic reasoning: Preferential models and cumulative logics. Artificial Intelligence, 44, 167–207.Google Scholar
  29. Lehmann, D. (1995). Belief revision, revised. Proceedings of the \(14^{th}\) International Joint Conference on Artificial Intelligence (pp. 1534–1540). Montreal.Google Scholar
  30. Lehmann, D., Magidor, M. K., & Schlechta, K. (2001). Distance semantics for belief revision. Journal of Symbolic Logic, 66(1), 295–317.CrossRefGoogle Scholar
  31. Lewis, D. (1973). Counterfactuals. Cambridge, USA: Harvard University Press.Google Scholar
  32. Makinson, D. (1994). General patterns in nonmonotonic reasoning. Handbook of Logic in Artificial Intelligence and Logic Programming, 3, 35–110.Google Scholar
  33. Nayak, A. (1994). Foundational belief change. Journal of Philosophical Logic, 23, 495–533.CrossRefGoogle Scholar
  34. Nayak, A. (1994). Iterated belief change based on epistemic entrenchment. Erkenntnis, 41, 353–390.CrossRefGoogle Scholar
  35. Nayak, A., Pagnucco, M., & Peppas, P. (2003). Dynamic belief revision operators. Artificial Intelligence, 146, 193–228.CrossRefGoogle Scholar
  36. Parikh, R. (1999). Beliefs, belief revision, and splitting languages. In J. L. Moss, & M. de Rijke, (Eds.), Logic, language, and computation (Vol. 2, pp. 266–268). CSLI Lecture Notes No. 96, CSLI Publications.Google Scholar
  37. Peppas, P., & Williams, M. (1995). Constructive modelings for theory change. Notre Dame Journal of Formal Logic, 36(1), 120–133.Google Scholar
  38. Peppas, P., Chopra, S., & Foo, N. (2004). Distance semantics for relevance-sensitive belief revision. Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR2004), Canada: Whistler.Google Scholar
  39. Peppas, P. (2008). Belief revision, In F. van Harmelen, V. Lifschitz, & B. Porter, (Eds). Handbook of Knowledge Representation. Elsevier.Google Scholar
  40. Peppas, P., Fotinopoulos, A., & Seremetaki, S. (2008). Conflicts between relevance-sensitive and iterated belief revision. Proceedings of the \(18^{th}\) European Conference on Artificial Intelligence (ECAI08). Greece: Patras.Google Scholar
  41. Ramachandran, R., Nayak, A., & Orgun, M. (2012). Three approaches to iterated belief contraction. Journal of Philosophical Logic, 41(1), 115–142.CrossRefGoogle Scholar
  42. Rott, H. (1991). Two methods of constructing contractions and revisions of knowledge systems. Journal of Philosophical Logic, 20, 149–173.CrossRefGoogle Scholar
  43. Shapiro, S., Pagnucco, M., Lesperance, Y., & Levesque, H. (2000). Iterated belief change in the situation calculus. Proceedings of the \(10^{th}\) International Conference on Principles of Knowledge Representation and Reasoning (KR’00), Morgan Kaufmann.Google Scholar
  44. Spohn, W. (1988). Ordinal conditional functions: A dynamic theory of epistemic states, in Causation in Decision, Belief Change and Statistics, 2, 105–134.Google Scholar
  45. Williams, M.-A. (1994). Transmutations of knowledge systems. Proceedings of the \(4^{th}\) International Conference on Principles of Knowledge Representation and Reasoning, 29, 619–629.Google Scholar
  46. Williams, M.-A. (1996). A Practical approach to belief revision: Reason-based change. Proceedings of the \(5^{th}\) International Conference on Principles of Knowledge Representation and Reasoning (pp. 412–421). Trento, Italy.Google Scholar
  47. Zhang, D. (2004). Properties of iterated multiple belief revision. Proceedings of the \(7^{th}\) International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) (pp. 314–325). Austria: Springer.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2014

Authors and Affiliations

  1. 1.Department of Business AdministrationUniversity of PatrasPatraGreece
  2. 2.Faculty of Engineering and ITUniversity of TechnologySydneyAustralia

Personalised recommendations