Maximal and perimaximal contraction
2013 (English)In: Synthese, ISSN 0039-7857, E-ISSN 1573-0964, Vol. 190, no 16, 3325-3348 p.Article in journal (Refereed) Published
Generalizations of partial meet contraction are introduced that start out from the observation that only some of the logically closed subsets of the original belief set are at all viable as contraction outcomes. Belief contraction should proceed by selection among these viable options. Several contraction operators that are based on such selection mechanisms are introduced and then axiomatically characterized. These constructions are more general than the belief base approach. It is shown that partial meet contraction is exactly characterized by adding to one of these constructions the condition that all logically closed subsets of the belief set can be obtained as the outcome of a single (multiple) contraction. Examples are provided showing the counter-intuitive consequences of that condition, thus confirming the credibility of the proposed generalization of the AGM framework.
Place, publisher, year, edition, pages
2013. Vol. 190, no 16, 3325-3348 p.
Maximal contraction, Perimaximal contraction, Multiple contraction, AGM, Partial meet contraction, Outcome set, Semi-order, Interval order
IdentifiersURN: urn:nbn:se:kth:diva-139225DOI: 10.1007/s11229-012-0167-yISI: 000327396100002ScopusID: 2-s2.0-84888088100OAI: oai:DiVA.org:kth-139225DiVA: diva2:685957
QC 201401102014-01-102014-01-082014-01-20Bibliographically approved