- John Cantwell
- … show all 1 hide
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
When a belief set is contracted only some beliefs are eligible for removal. By introducing eligibility for removal as a new semantic primitive for contraction and combining it with epistemic entrenchment we get a contraction operator with a number of interesting properties. By placing some minimal constraint upon eligibility we get an explicit contraction recipe that exactly characterises the so called interpolation thesis, a thesis that states upper and lower bounds for the amount of information to be given up in contraction. As a result we drop the controversial property of recovery. By placing additional constraints on eligibility we get representation theorems for a number of contraction operators of varying strength. In addition it is shown that recovery contraction is a special case that we get if eligibility is explicitly constructed in terms of logical relevance.
- AlchourrÓn, 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: pp. 510-530 CrossRef
- Cantwell, J. (1999) Some logics of iterated revision. Studia Logica 7: pp. 49-84 CrossRef
- Cantwell, J. Non-linear belief revision, Acta Universitatis Upsaliensis, Uppsala, Sweden, 2000.
- Darwiche, A., Pearl, J. (1997) On the logic of iterated belief revision. Artificial Intelligence 89: pp. 1-29 CrossRef
- FariÑas Del Cerro, L. and A. Herzig, ‘Belief change and dependence’, in Y. Shoham (ed.), TARK'96, pp. 147–162, Morgan Kaufmann Publishers, 1996.
- GÄrdenfors, P. (1990) Belief revision and irrelevance. PSA 2: pp. 349-356
- GÄrdenfors, P., Makinson, D. Revisions of knowledge systems and epistemic entrenchment. In: Vardi, M. Y. eds. (1988) Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge. Morgan Kaufmann, Los Altos, pp. 83-95
- Hansson, S. O. (1992) In defense of base contraction. Synthese 91: pp. 239-245 CrossRef
- Hansson, S. O. (1993) Changes on disjunctively closed bases. Journal of Logic, Language and Information 2: pp. 255-284 CrossRef
- Hansson, S. O. Taking belief bases seriously. In: Prawitz, D., Westerstahl, D. eds. (1994) Logic and Philosophy of science in Uppsala. Kluwer Academic Publishers, The Netherlands, pp. 13-28
- Hansson, S. O., A Textbook of Belief Dynamics, Kluwer, 1999.
- Rott, H. (1992) Preferential belief change using generalised epistemic entrenchment. Journal of Logic, Language and Information 1: pp. 45-78 CrossRef
- Rott, H., Pagnucco, M. (1999) Severe withdrawal (and recovery). Journal of Philosophical Logic 28: pp. 501-547 CrossRef
- Shoham, Y. (1988) Reasoning about change — Time and causation from the standpoint of Artificial Intelligence. The MIT press, Cambridge, Massachusetts
- Eligible Contraction
Volume 73, Issue 2 , pp 167-182
- Cover Date
- Print ISSN
- Online ISSN
- Kluwer Academic Publishers
- Additional Links
- Belief revision
- John Cantwell (1)
- Author Affiliations
- 1. The Philosophy Unit, The Royal Institute of Technology, Teknikringen 78A, 100 44, Stockholm, Sweden