Journal of Symbolic Logic 58 (4):1426-1450 (1993)
|Abstract||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||No keywords specified (fix it)|
|Through your library||Configure|
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.
Thomas Andreas Meyer, Willem Adrian Labuschagne & Johannes Heidema (2000). Infobase Change: A First Approximation. 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 downloads5 ( #160,239 of 549,013 )
Recent downloads (6 months)1 ( #63,261 of 549,013 )
How can I increase my downloads?