Repository | Journal | Volume | Article

235471

Maximal and perimaximal contraction

Sven Ove Hansson

pp. 3325-3348

Abstract

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.

Publication details

Published in:

(2013) Synthese 190 (16).

Pages: 3325-3348

DOI: 10.1007/s11229-012-0167-y

Full citation:

Hansson Sven Ove (2013) „Maximal and perimaximal contraction“. Synthese 190 (16), 3325–3348.