Global and Iterated Contraction and Revision: An Exploration of Uniform and Semi-Uniform Approaches [Book Review]
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 41 (1):143-172 (2012)
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.
|Keywords||Iterated contraction Iterated revision Specified meet contraction Belief revision Global belief change Global operator|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Carlos E. Alchourrón, Peter Gärdenfors & David Makinson (1985). On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. Journal of Symbolic Logic 50 (2):510-530.
Carlos E. Alchourrón & David Makinson (1981). Hierarchies of Regulations and Their Logic. In Risto Hilpinen (ed.), New Studies in Deontic Logic. 125--148.
Carlos E. Alchourron & David Makinson (1982). On the Logic of Theory Change: Contraction Functions and Their Associated Revision Functions. Theoria 48 (1):14-37.
Samir Chopra, Aditya Ghose, Thomas Meyer & Ka-Shu Wong (2008). Iterated Belief Change and the Recovery Axiom. Journal of Philosophical Logic 37 (5):501 - 520.
Adnan Darwiche & Judea Pearl (1997). On the Logic of Iterated Belief Revision. Artificial Intelligence 89:1-29.
Citations of this work BETA
Sven Ove Hansson (2012). Finite Contractions on Infinite Belief Sets. Studia Logica 100 (5):907-920.
Similar books and articles
Raghav Ramachandran, Abhaya C. Nayak & Mehmet A. Orgun (2012). Three Approaches to Iterated Belief Contraction. Journal of Philosophical Logic 41 (1):115-142.
Sven Ove Hansson (2010). Multiple and Iterated Contraction Reduced to Single-Step Single-Sentence Contraction. Synthese 173 (2):153 - 177.
Sven Ove Hansson (2008). Specified Meet Contraction. Erkenntnis 69 (1):31 - 54.
Sven Ove Hansson (1994). Kernel Contraction. Journal of Symbolic Logic 59 (3):845-859.
Sven Ove Hansson (2013). Repertoire Contraction. Journal of Logic, Language and Information 22 (1):1-21.
André Fuhrmann & Sven Ove Hansson (1994). A Survey of Multiple Contractions. Journal of Logic, Language and Information 3 (1):39-75.
Sven Ove Hansson (2009). Replacement—a Sheffer Stroke for Belief Change. Journal of Philosophical Logic 38 (2):127 - 149.
Sven Ove Hansson (2013). Bootstrap Contraction. Studia Logica 101 (5):1013-1029.
Thomas Andreas Meyer, Willem Adrian Labuschagne & Johannes Heidema (2000). Infobase Change: A First Approximation. [REVIEW] Journal of Logic, Language and Information 9 (3):353-377.
Abhaya C. Nayak (1994). Foundational Belief Change. Journal of Philosophical Logic 23 (5):495 - 533.
Sven Ove Hansson (1993). Changes of Disjunctively Closed Bases. Journal of Logic, Language and Information 2 (4):255-284.
Wolfgang Spohn & Matthias Hild (2008). The Measurement of Ranks and the Laws of Iterated Contraction. Artificial Intelligence 172:1195-1218.
Sven Ove Hansson (2013). Blockage Contraction. Journal of Philosophical Logic 42 (2):415-442.
David Makinson (1985). How to Give It Up: A Survey of Some Formal Aspects of the Logic of Theory Change. Synthese 62 (3):347 - 363.
Added to index2012-01-21
Total downloads8 ( #242,683 of 1,696,586 )
Recent downloads (6 months)1 ( #345,974 of 1,696,586 )
How can I increase my downloads?