Graduate studies at Western
Synthese 173 (2):153 - 177 (2010)
|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.|
|Keywords||Multiple contraction Iterated contraction Belief change Partial meet contraction Full meet contraction Specified meet contraction Sentential selector Selector|
No categories specified
(categorize this paper)
|Through your library||Configure|
Similar books and articles
Maurício D. L. Reis & Eduardo Fermé (2012). Possible Worlds Semantics for Partial Meet Multiple Contraction. Journal of Philosophical Logic 41 (1):7-28.
Sven Ove Hansson (2012). Global and Iterated Contraction and Revision: An Exploration of Uniform and Semi-Uniform Approaches. [REVIEW] Journal of Philosophical Logic 41 (1):143-172.
Wolfgang Spohn & Matthias Hild (2008). The Measurement of Ranks and the Laws of Iterated Contraction. Artificial Intelligence 172:1195-1218.
Sven Ove Hansson (2008). Specified Meet Contraction. Erkenntnis 69 (1):31 - 54.
Eduardo Fermé, Karina Saez & Pablo Sanz (2003). Multiple Kernel Contraction. Studia Logica 73 (2):183 - 195.
Sven Ove Hansson (1994). Kernel Contraction. Journal of Symbolic Logic 59 (3):845-859.
Raghav Ramachandran, Abhaya C. Nayak & Mehmet A. Orgun (2012). Three Approaches to Iterated Belief Contraction. Journal of Philosophical Logic 41 (1):115-142.
André Fuhrmann & Sven Ove Hansson (1994). A Survey of Multiple Contractions. Journal of Logic, Language and Information 3 (1):39-75.
Added to index2009-11-25
Total downloads5 ( #170,270 of 739,482 )
Recent downloads (6 months)0
How can I increase my downloads?