An operator of belief change is reconstructible as another such operator if and only if any outcome that can be obtained with the former can also be obtained with the latter. Two operators are mutually reconstructible if they generate exactly the same set of outcomes. The relations of reconstructibility among fifteen operators of contraction, including the common AGM contraction operators, are completely characterized. Furthermore, the additional such relations are characterized that arise if all belief sets are required to be finite-based (...) or if the language is finite. These results are significant for the choice of a formal model to represent how real-world agents change their beliefs. In particular, if two contraction operators are mutually reconstructible, then that limits the types of considerations that can legitimately be invoked in favour of one over the other. (shrink)

We can often specify how we would contract by a certain sentence by saying that this contraction would coincide with some other contraction that we know how to perform. We can for instance clarify that our contraction by p&q would coincide with our contraction by p, or by q, or by {p, q}. In a framework where the set of potential outcomes is known, some contractions are “self-evident” in the sense that there is only one serious candidate that can be (...) the outcome of such a contraction. Contraction by a specific contractee (sentence or set of sentences to be contracted) is bootstrapped if it is specified by saying that it coincides with some such self-evident contraction. For a wide range of (multiple) contraction operators, contractions by any contractee can be bootstrapped. This means that the selection mechanism (selection function, incision function, etc.) can be replaced by a function called a bootstrapping selector that assigns to each contractee some “self-evident” contractee that yields the same outcome. With bootstrapping we can eliminate traditional extralogical components in contraction (e.g., selection functions) and replace them by bootstrapping selectors that reflect more closely the ways in which we actually reason and argue about belief contraction. (shrink)