Abstract
Multiple contraction (simultaneous contraction by several sentences) and iterated contraction are investigated in the framework of specified meet contraction (s.m.c.) that is extended for this purpose. Multiple contraction is axiomatized, and so is finitely multiple contraction (contraction by a finite set of sentences). Two ways to reduce finitely multiple contraction to contraction by single sentences are introduced. The reduced operations are axiomatically characterized and their properties are investigated. Furthermore, it is shown how iterated contraction can be reduced to single-step, single-sentence contraction. However, in this framework the outcome of iterated contraction depends unavoidably on the order in which the inputs are received. This order-dependence makes it impossible to treat two inputs on an equal footing. Therefore it is often preferable to perform changes involving several pieces of information as multiple rather than iterated change.
Similar content being viewed by others
References
Alchourrón C., 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
Alchourrón C., Makinson D. (1981) Hierarchies of regulation and their logic. In: Hilpinen R. (eds) New studies in deontic logic. D. Reider Publishing Company, Dordrecht
Alchourrón C., Makinson D. (1982) On the logic of theory change: Contraction functions and their associated revision functions. Theoria 48: 14–37
Fermé E., Hansson S.O. (2001) Shielded contraction. In: Rott H., Williams M.-A. (eds) Frontiers of belief revision. Kluwer, Dordrecht, pp 85–107
Fermé E., Saez K., Sanz P. (2003) Multiple kernel contraction. Studia Logica 73: 183–195
Fuhrmann A., Hansson S. O. (1994) A survey of multiple contraction. Journal of Logic Language and Information 3: 39–76
Gärdenfors P. (1988) Knowledge in flux. Modeling the dynamics of epistemic states. The MIT Press, Cambridge, MA
Hansson S. O. (1989) New operators for theory change. Theoria 55: 114–132
Hansson S. O. (1999) A textbook of belief dynamics. Theory change and database updating. Kluwer, Dordrecht
Hansson S. O. (2006) In praise of full meet contraction. Análisis Filosófico 26: 134–146
Hansson S. O. (2007) Contraction based on sentential selection. Journal of Logic and Computation 17: 479–498
Hansson S. O. (2008) Specified meet contraction. Erkenntnis 69: 31–54
Li J. (1998) Note on partial meet package contraction. Journal of Logic, Language and Information 7: 139–142
Mares E. D. (2002) A paraconsistent theory of belief revision. Erkenntnis 56: 229–246
Niederée R. (1991) Multiple contraction. In: Fuhrmann A., Morreau M. (eds) The logic of theory change LNAI 465. Springer-Verlag, Berlin, pp 322–334
Zhang D. (2004) Properties of iterated multiple belief revision. In: Lifschitz V., Niemelä I. (eds) LPNMR 2004, LNAI 2923. Springer, Berlin, pp 314–325
Zhang, D., Chen, S., Zhu, W., Chen, Z. (1997). Representation theorems for multiple belief change. In Proceedings of 15th international joint conference on artificial intelligence (IJCAI-97), pp. 89–94.
Zhang D., Foo N. (2001) Infinitary belief revision. Journal of Philosophical Logic 30: 525–570
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hansson, S.O. Multiple and iterated contraction reduced to single-step single-sentence contraction. Synthese 173, 153–177 (2010). https://doi.org/10.1007/s11229-009-9688-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-009-9688-4