Journal of Philosophical Logic

, Volume 41, Issue 1, pp 143–172

Global and Iterated Contraction and Revision: An Exploration of Uniform and Semi-Uniform Approaches



In order to clarify the problems of iterated (global) belief change it is useful to study simple cases, in particular consecutive contractions by sentences that are both logically and epistemically independent. Models in which the selection mechanism is kept constant are much more plausible in this case than what they are in general. One such model, namely uniform specified meet contraction, has the advantage of being closely connected with the AGM model. Its properties seem fairly adequate for the intended type of contraction. However, the revision operator based on it via the Levi identity collapses into an implausible operation that loses all old information when revising by new information. A weaker version, semi-uniform specified meet contraction, avoids the collapse but has the disadvantage of a remarkably weak logic. It is left as an open issue whether there is an intermediate class of contraction operators that yields a more satisfactory logic.


Iterated contraction Iterated revision Specified meet contraction Belief revision Global belief change Global operator 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alchourrón, C. E., Gärdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50, 510–530.CrossRefGoogle Scholar
  2. 2.
    Alchourrón, C. E., & Makinson, D. (1981). Hierarchies of regulation and their logic. In R. Hilpinen (Ed.), New studies in deontic logic (pp. 125–148). Dordrecht: Reidel.CrossRefGoogle Scholar
  3. 3.
    Alchourrón, C. E., & Makinson, D. (1982). On the logic of theory change: Contraction functions and their associated revision functions. Theoria, 48, 14–37.CrossRefGoogle Scholar
  4. 4.
    Chopra, S., Ghose, A., Meyer, T., & Wong, K. S. (2008). Iterated belief change and the recovery axiom. Journal of Philosophical Logic, 37, 501–520.CrossRefGoogle Scholar
  5. 5.
    Darwiche, A., & Pearl, J. (1997). On the logic of iterated belief revision. Artificial Intelligence, 89, 1–29.CrossRefGoogle Scholar
  6. 6.
    Gärdenfors, P. (1988). Knowledge in flux. Modeling the dynamics of epistemic states. Cambridge: MIT Press.Google Scholar
  7. 7.
    Hansson, S. O. (1992). In defense of base contraction. Synthese, 91, 239–245.CrossRefGoogle Scholar
  8. 8.
    Hansson, S. O. (1993). Theory contraction and base contraction unified. Journal of Symbolic Logic, 58, 602–625.CrossRefGoogle Scholar
  9. 9.
    Hansson, S. O. (1993). Reversing the Levi identity. Journal of Philosophical Logic, 22, 637–669.CrossRefGoogle Scholar
  10. 10.
    Hansson, S. O. (1994). Kernel contraction. Journal of Symbolic Logic, 59, 845–859.CrossRefGoogle Scholar
  11. 11.
    Hansson, S. O. (1999). A textbook of belief dynamics. Theory change and database updating. Norwell: Kluwer.Google Scholar
  12. 12.
    Hansson, S. O. (2007). Contraction based on sentential selection. Journal of Logic and Computation, 17, 479–498.CrossRefGoogle Scholar
  13. 13.
    Hansson, S. O. (2008). Specified meet contraction. Erkenntnis, 69, 31–54.CrossRefGoogle Scholar
  14. 14.
    Hild, M., & Spohn, W. (2008). The measurement of ranks and the laws of iterated contraction. Artificial Intelligence, 172, 1195–1218.CrossRefGoogle Scholar
  15. 15.
    Nayak, A., Goebel, R., Orgun, M., & Pham, T. (2006). Taking Levi identity seriously: A plea for iterated belief contraction. In Proceedings of the first international conference on knowledge science, engineering and management (KSEM’06), LNAI 4092 (pp. 305–317). Berlin: Springer.Google Scholar
  16. 16.
    Nayak, A. C., Goebel, R., & Orgun, M. A. (2007). Iterated belief contraction from first principles. In Proceedings of the twentieth international joint conference of artificial intelligence (IJCAI-07) (pp. 2568–2573).Google Scholar
  17. 17.
    Parikh, R. (1999). Beliefs, belief revision, and splitting languages. In J. Ginzburg, L. Moss, & M. de Rijke (Eds.), Logic, language and computation (pp. 266–278). Stanford: CSLI.Google Scholar
  18. 18.
    Peppas, P., Chopra, S., & Foo, N. (2004). Distance semantics for relevance-sensitive belief revision. In D. Dubois, C. Welty, & M.-A. Williams (Eds.), Principles of knowledge representation and reasoning: Proceedings of the ninth international conference (KR2004) (pp. 319–328). Menlo Park: AAAI Press.Google Scholar
  19. 19.
    Peppas, P., Fotinopoulos, A. M., & Seremetaki, S. (2008). Conflicts between relevance-sensitive and iterated belief revision. In Proceedings of ECAI 2008. Amsterdam: IOS Press.Google Scholar
  20. 20.
    Rott, H. (2001). Change, choice and inference: A study of belief revision and nonmonotonic reasoning. Oxford: Oxford University Press.Google Scholar
  21. 21.
    Tamminga, A. (2004). Expansion and contraction of finite states. Studia Logica, 76, 427–442.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Department of Philosophy and the History of TechnologyRoyal Institute of Technology (KTH)StockholmSweden

Personalised recommendations