David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Symbolic Logic 58 (4):1426-1450 (1993)
This paper reorganizes and further develops the theory of partial meet contraction which was introduced in a classic paper by Alchourrón, Gärdenfors, and Makinson. Our purpose is threefold. First, we put the theory in a broader perspective by decomposing it into two layers which can respectively be treated by the general theory of choice and preference and elementary model theory. Second, we reprove the two main representation theorems of AGM and present two more representation results for the finite case that "lie between" the former, thereby partially answering an open question of AGM. Our method of proof is uniform insofar as it uses only one form of "revealed preference", and it explains where and why the finiteness assumption is needed. Third, as an application, we explore the logic characterizing theory contractions in the finite case which are governed by the structure of simple and prioritized belief bases.
|Keywords||Theory change belief revision rational choice preference partial meet contraction base contraction|
|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
No references found.
Citations of this work BETA
Eduardo Fermé & Sven Ove Hansson (2011). AGM 25 Years: Twenty-Five Years of Research in Belief Change. Journal of Philosophical Logic 40 (2):295 - 331.
Sven Ove Hansson (2008). Specified Meet Contraction. Erkenntnis 69 (1):31 - 54.
Sven Ove Hansson (2013). Outcome Level Analysis of Belief Contraction. Review of Symbolic Logic 6 (2):183-204.
Jeffrey Helzner (2013). Rationalizing Two-Tiered Choice Functions Through Conditional Choice. Synthese 190 (6):929-951.
Jörg Hansen (2006). Deontic Logics for Prioritized Imperatives. Artificial Intelligence and Law 14 (1-2):1-34.
Similar books and articles
Abhaya C. Nayak (1994). Foundational Belief Change. Journal of Philosophical Logic 23 (5):495 - 533.
Neil Tennant (2006). New Foundations for a Relational Theory of Theory-Revision. Journal of Philosophical Logic 35 (5):489 - 528.
Sven Ove Hansson (1993). Theory Contraction and Base Contraction Unified. Journal of Symbolic Logic 58 (2):602-625.
M. Carmen Sánchez (1998). Rational Choice on Non-Finite Sets by Means of Expansion-Contraction Axioms. Theory and Decision 45 (1):1-17.
Carlos E. Alchourrón & David Makinson (1985). On the Logic of Theory Change: Safe Contraction. Studia Logica 44 (4):405 - 422.
Mark Jago (2006). Resource-Bounded Belief Revision and Contraction. In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer 141--154.
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.
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 (1986). Maps Between Some Different Kinds of Contraction Function: The Finite Case. Studia Logica 45 (2):187 - 198.
André Fuhrmann & Sven Ove Hansson (1994). A Survey of Multiple Contractions. Journal of Logic, Language and Information 3 (1):39-75.
Added to index2009-01-28
Total downloads21 ( #134,854 of 1,725,260 )
Recent downloads (6 months)6 ( #110,378 of 1,725,260 )
How can I increase my downloads?