Multiple and iterated contraction reduced to single-step single-sentence contraction
2010 (English)In: Synthese, ISSN 0039-7857, E-ISSN 1573-0964, Vol. 173, no 2, 153-177 p.Article in journal (Refereed) Published
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.
Place, publisher, year, edition, pages
2010. Vol. 173, no 2, 153-177 p.
Multiple contraction, Iterated contraction, Belief change, Partial meet, contraction, Full meet contraction, Specified meet contraction, Sentential selector, Selector, belief revision, logic
IdentifiersURN: urn:nbn:se:kth:diva-19194DOI: 10.1007/s11229-009-9688-4ISI: 000274387700003ScopusID: 2-s2.0-77349083219OAI: oai:DiVA.org:kth-19194DiVA: diva2:337241
QC 201102102010-08-052010-08-052011-02-10Bibliographically approved