Abstract
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.
Keywords
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
There is some overlap between this article and an earlier survey of ours on belief revision Peppas (2008).
- 2.
We note that this assumption is made only to simplify the exposition; many of the approaches discussed herein can work, at least technically, in a more general setting.
- 3.
Although these postulates where first proposed by Gärdenfors alone, they were extensively studied in collaboration with Alchourron and Makinson (1985); thus their name.
- 4.
Although \((K*7)\) and \((K*8)\) seem to relate different belief sets, as will become apparent from the constructive models later on, this is not really the case.
- 5.
Recall that \(\text {I}\!{{\text {M}}_L}\) is the set of all consistent complete theories of \(L\), and for a theory \(K\) of \(L\), \([K]\) is the set of all consistent complete theories that contain \(K\).
- 6.
- 7.
For a set of possible worlds \(V\), \(min(V,\le )\) denotes the set of minimal worlds in \(V\) with respect to \(\le \); i.e. \(min(V,\le )\) = \(\{ r\in V:\) for all \(r' \in V\), if \(r' \le r\) then \(r\le r'\}\).
- 8.
Notice that the original system of spheres \(S\) is centered on \([K]\), not on \([K*\varphi ]\), and therefore cannot be used to direct further revisions.
- 9.
In this sense an ordinal conditional function \(\kappa \) is quite similar to a system of spheres \(S\): both are formal devices for ranking possible worlds in terms of plausibility. However \(\kappa \) not only tells us which of any two worlds is more plausible; it also tells us by how much is one world more plausible than the other.
- 10.
The left subtraction of two ordinals \(\alpha , \beta \) such that \(\alpha \ge \beta \), is defined as the unique ordinal \(\gamma \) such that \(\alpha \) = \(\beta + \gamma \).
- 11.
That is, given an OCF \(\kappa \) and any \(d>0\), the function \(*\) defined as \(K*\varphi \) = \(\bigcap \{ r\in \text {I}\!{{\text {M}}_L}:\) \(\kappa *\langle \varphi , d\rangle (r) = 0 \}\) satisfies the AGM postulates \((K*1)\)–\((K*8)\).
- 12.
This is the case where the new information \(\varphi \) contradicts the original belief set (since \(\kappa (\varphi ) > 0\), the agent originally believes \(\lnot \varphi )\).
- 13.
There is a well known connection between a system of spheres \(S\) and an epistemic entrenchment \(\le \). In particular, the latter can easily be constructed from the former (while preserving the induced revision function) as follows: \(\varphi \le \psi \) iff \(c(\lnot \varphi ) \subseteq c(\lnot \psi )\), for all contingent \(\varphi ,\psi \in L\).
- 14.
Loosely speaking, the bands of a system of spheres are the sets of worlds between successive spheres.
- 15.
Recall that for any sentence \(\psi \), \(c(\psi )\) denotes the smallest sphere in \(S\) intersecting \([\psi ]\).
- 16.
It should be noted that Darwiche and Pearl use different notation, and as already mentioned, they leave open the representation of a belief state (it is not necessarily represented as a system of spheres).
- 17.
Like with (S*1)–(S*8), the original formulation of (DP1)–(DP4) is slightly different. Herein we have rephrased the Darwiche and Pearl postulates in AGM notation.
- 18.
Although it should be noted that Darwiche and Pearl argue that this shift is not necessitated by technical reasons alone; conceptual considerations also point the same way.
- 19.
- 20.
Distance between possible worlds does not have to be expressed in terms of real numbers; this is an assumption made herein for simplicity.
- 21.
For any propositional variable \(x\), by \(\overline{x}\) we denote the negation of \(x\).
- 22.
The distance between a world \(r\) and a set of worlds \(V\) can be defined as the smallest distance between \(r\) and a world in \(V\). Hence, according to Fig. 4, the closest world to \(\{ r_2, r_3 \}\) is \(r_1\) followed by \(r_0\).
- 23.
- 24.
As already noted, a system of spheres is just another way of representing a total preorder on possible worlds.
- 25.
The BM approach has also been characterized axiomatically in Booth and Meyer (2011).
- 26.
That is, all \(\lnot \varphi \)-worlds that are initially strictly more plausible than \(r_{\lnot \psi }\), are placed at the same level as \(r_{\lnot \psi }\).
- 27.
It should be noted that the selection function employed in choice revision, does not depend on the initial belief set \(K\).
- 28.
See Katsuno and Mendelzon (1991) for a formal treatment of belief update and its difference from belief revision.
- 29.
Perhaps the best way to explain this is that there is no “right” input as such; different types of input are appropriate for different kinds of iterated revision scenarios.
- 30.
Depending on the model, \(\mathcal {U}\), \(\mathcal {U'}\) can be systems of spheres, ordinal conditional functions, preorders on possible worlds, etc.
References
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.
Alchourron, C., & Makinson, D. (1985). On the logic of theory change: Safe contractions. Studia Logica, 44, 405–422.
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).
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.
Booth, R., Chopra, S., & Meyer, T. (2005). Restrained revision. \(6^{th}\) Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC-05), Edinburgh.
Booth, R., & Meyer, T. (2006). Admissible and restrained revision. Journal of artificial intelligence research, 26, 127–151.
Booth, R., & Meyer, T. (2011). How to revise a total preorder. Journal of Philosophical Logic, 40, 193–238.
Boutilier, C. (1993). Revision sequences and nested conditionals. Proceedings of the \(13^{th}\) International Joint Conference in, Artificial Intelligence. (pp. 519–525).
Boutilier, C. (1996). Iterated revision and minimal change of conditional beliefs. Journal of Philosophical Logic, 25(3), 262–305.
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.
Darwiche, A., & Pearl, J. (1997). On the logic of iterated belief revision. Artificial Intelligence, 89, 1–29.
Delgrande, J., & Schaub, T. (2003). A consistency-based approach for belief change. Artificial Intelligence, 151, 1–41.
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.
Ferme, E., & Rott, H. (2004). Revision by comparison. Artificial Intelligence, 157, 139–202.
Gärdenfors, P. (1984). Epistemic importance and minimal changes of belief. Australasian Journal of Philosophy, 62, 136–157.
Gärdenfors, P. (1988). Knowledge in flux:Modeling the dynamics of epistemic states. Cambridge: MIT Press.
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.
Grove, A. (1988). Two modellings for theory change. Journal of Philosophical Logic, 17, 157–170.
Hansson, S.-O. (1999). A textbook of belief dynamics: Theory change and database updating. USA: Kluwer Academic Publishers.
Hansson, S.-O. (1998). A survey of non-prioritized belief revision. Erkenntnis, 50, 413–427.
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).
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.
Jin, Y., & Thielscher, M. (2005). Iterated revision, revised. Proceedings of the 19th International Joint Conference in Artificial Intelligence (pp 478–483), Edinburgh.
Jin, Y., & Thielscher, M. (2007). Iterated revision, revised. Artificial Intelligence, 171(1), 1–18.
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.
Katsuno, H., & Mendelzon, A. (1991b). Propositional knowledge base revision and minimal change. Artificial Intelligence, 52, 263–294.
Konieczny, S., & Perez, R. P. (2000). A framework for iterated revision. Journal of Applied Non-Classical Logics, 10, 339–367.
Kraus, S., Lehmann, D., & Magidor, M. (1990). Nonmonotonic reasoning: Preferential models and cumulative logics. Artificial Intelligence, 44, 167–207.
Lehmann, D. (1995). Belief revision, revised. Proceedings of the \(14^{th}\) International Joint Conference on Artificial Intelligence (pp. 1534–1540). Montreal.
Lehmann, D., Magidor, M. K., & Schlechta, K. (2001). Distance semantics for belief revision. Journal of Symbolic Logic, 66(1), 295–317.
Lewis, D. (1973). Counterfactuals. Cambridge, USA: Harvard University Press.
Makinson, D. (1994). General patterns in nonmonotonic reasoning. Handbook of Logic in Artificial Intelligence and Logic Programming, 3, 35–110.
Nayak, A. (1994). Foundational belief change. Journal of Philosophical Logic, 23, 495–533.
Nayak, A. (1994). Iterated belief change based on epistemic entrenchment. Erkenntnis, 41, 353–390.
Nayak, A., Pagnucco, M., & Peppas, P. (2003). Dynamic belief revision operators. Artificial Intelligence, 146, 193–228.
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.
Peppas, P., & Williams, M. (1995). Constructive modelings for theory change. Notre Dame Journal of Formal Logic, 36(1), 120–133.
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.
Peppas, P. (2008). Belief revision, In F. van Harmelen, V. Lifschitz, & B. Porter, (Eds). Handbook of Knowledge Representation. Elsevier.
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.
Ramachandran, R., Nayak, A., & Orgun, M. (2012). Three approaches to iterated belief contraction. Journal of Philosophical Logic, 41(1), 115–142.
Rott, H. (1991). Two methods of constructing contractions and revisions of knowledge systems. Journal of Philosophical Logic, 20, 149–173.
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.
Spohn, W. (1988). Ordinal conditional functions: A dynamic theory of epistemic states, in Causation in Decision, Belief Change and Statistics, 2, 105–134.
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.
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.
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.
Acknowledgments
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.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Peppas, P. (2014). A Panorama of Iterated Revision. In: Hansson, S. (eds) David Makinson on Classical Methods for Non-Classical Problems. Outstanding Contributions to Logic, vol 3. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-7759-0_5
Download citation
DOI: https://doi.org/10.1007/978-94-007-7759-0_5
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-7758-3
Online ISBN: 978-94-007-7759-0
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)