Abstract
Blockage revision is a version of descriptor revision, i.e. belief change in which a belief set K is changed with inputs whose success conditions are metalinguistic expressions containing the belief predicate \(\mathfrak {B}\). This is a highly general framework that allows a single revision operator \(\circ \) to take inputs corresponding to sentential revision (\(K\circ \mathfrak {B}p\)), contraction (\(K\circ \lnot \mathfrak {B}p\)) as well as more complex and composite operations. In blockage revision, such an operation is based on a relation \(\rightharpoondown \) of blockage among the set of potential outcomes. \(X\rightharpoondown Y\) signifies that if X satisfies the success condition of a belief change, then Y cannot be its outcome. The properties of blockage revision are investigated, and conditions on the blocking relation are specified that characterize various properties of the resulting operation of change.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Descriptor revision was introduced in (Hansson 2014a) as an alternative, more general approach to belief change. Like most other belief change models it employs logically closed sets (belief sets) to represent an epistemic agent’s state of belief, and a change in belief is represented by an input-driven transformation from one such belief set to another. These transformations have two major characteristics.
The first of these is the form in which the input is expressed. Traditional belief change models use sentences as inputs, and we distinguish between different types of operations according to what is expected be done with the input sentence. In belief contraction, the input sentence should be removed from the belief set, whereas in revision it should be added to the belief set. In other words a contraction has the success condition that a specified sentence should be removed, whereas the success condition of a revision is that a specified sentence should be added to the belief set. In descriptor revision, success conditions are expressed in a unified way, employing a metalinguistic operator \(\mathfrak {B}\) representing belief. \(\mathfrak {B}p\) denotes that p is believed, \(\lnot \mathfrak {B}p\) that p is not believed, \(\mathfrak {B}p\vee \mathfrak {B}q\) that either p or q is believed, etc. With this generalized way to express success conditions we only need one operator of change, denoted \(\circ \). A revision of the current belief set K by the sentence p can be written \(K\circ \mathfrak {B}p\) and a contraction of the same set by the sentence q can be written \(K\circ \lnot \mathfrak {B}q\). Other more complex success conditions can also be expressed in this way, for instance the operation \( K\circ (\lnot \mathfrak {B}p\ \& \ \mathfrak {B}q)\) (or equivalently \(K\circ \{\lnot \mathfrak {B}p,\mathfrak {B}q\}\)) in which p is replaced by q, the multiple operation \(K\circ \{\lnot \mathfrak {B}p_1,\dots ,\lnot \mathfrak {B}p_n\}\) in which a set of sentences is simultaneously removed, and the operation \(K\circ (\mathfrak {B}p\vee \mathfrak {B}\lnot p)\) in which the agent makes up its mind concerning p. The formal construction of such composite descriptors follows a simple recursive pattern:
\(\mathcal {L}\) is the object language whose sentences are believed or disbelieved. An atomic belief descriptor is a metalinguistic expression \(\mathfrak {B}p\) with \(p\in \mathcal {L}\). A molecular belief descriptor is a truth-functional combination of atomic descriptors. A composite belief descriptor (descriptor; denoted by upper-case Greek letters) is a set of molecular descriptors.Footnote 1
\(\mathfrak {B}p\) is satisfied by a belief set K if and only if \(p \in K\). Satisfaction for molecular belief descriptors is defined inductively, hence K satisfies \(\lnot \alpha \) if and only if it does not satisfy \(\alpha \), and it satisfies \(\alpha \vee \beta \) if and only if it satisfies either \(\alpha \) or \(\beta \). A composite belief descriptor is satisfied by K if and only if all its elements are satisfied by K.
\(K \Vdash \Psi \) means that K satisfies \(\Psi \), and \(\Psi \Vdash \Xi \) that all belief sets satisfying \(\Psi \) also satisfy \(\Xi \). The corresponding equivalance relation is written \(\dashv \Vdash \), hence \(\Psi \dashv \Vdash \Xi \) holds if and only if both \(\Psi \Vdash \Xi \) and \(\Xi \Vdash \Psi \) hold.
The descriptor disjunction \( \veebar \) is defined by the relationship
\( \Psi \veebar \Xi = \{\alpha \vee \beta \mid (\alpha \in \Psi ) \ \& \ (\beta \in \Xi )\}\).Footnote 2
The second major characteristic of descriptor revision is that changes take place as choices among a given repertoire, or set of plausible outcomes. The repertoire is a set of belief sets and will be denoted \(\mathbb {X}\). Hence, \(K\circ \mathfrak {B}p\) is assumed to be an element X of \(\mathbb {X}\) such that \(X\Vdash \mathfrak {B}p\). In (Hansson 2014a) two ways to construct a descriptor revision \(\circ \) were investigated:
\(\circ \) is a monoselective descriptor revision if and only if: (i) if there is some \(X \in \mathbb {X}\) with \(X \Vdash \Psi \), then \(K\circ \Psi = \widehat{C}(\{X\in \mathbb {X}\mid X\Vdash \Psi \})\), where \(\widehat{C}\) is a monoselective choice function,Footnote 3 and (ii) otherwise, \(K\circ \Psi =K\).
\(\circ \) is a relational descriptor revision if and only if there is a relation \(\leqq \) on \(\mathbb {X}\) with \(K \leqq X\) for all \(X \in \mathbb {X}\), and: (i) if there is some \(X \in \mathbb {X}\) with \(X \Vdash \Psi \), then \(K \circ \Psi \) is the unique \(\leqq \)-minimal element of \(\mathbb {X}\) that satisfies \(\Psi \), and (ii) otherwise, \(K\circ \Psi =K\).
It is the purpose of the present contribution to introduce another construction of descriptor revision. It is based on blockage relations that express how, when we choose among potential outcomes (elements of \(\mathbb {X}\)) satisfying the success condition \(\Psi \), the presence of one such potential outcome can make another ineligible. To each descriptor revision \(\circ \) we can associate a blockage relation \(\rightharpoondown \) on its repertoire \(\mathbb {X}\), defined as follows:Footnote 4
For all \(X, Y \in \mathbb {X}\): \(X\rightharpoondown Y\) if and only if it holds for all descriptors \(\Psi \) that if \(X\Vdash \Psi \) then \(K\circ \Psi \ne Y\).
\(X \rightharpoondown Y\) can be interpreted as signifying that the plausibility of X is so high in relation to that of Y that the epistemic agent will not settle for Y as the outcome of a revision if X is available as a possible outcome of that revision. Importantly, this can be the case even if X is less plausible than Y. Examples can be found in which two potential outcomes seem to block each other although one of them is somewhat more plausible than the other.Footnote 5 For one such example, let p denote that Peter has stolen money from his mother and r that his sister Rebecca has done so. In my initial belief set K I believe in neither of these sentences, i.e. \( K\Vdash \lnot \mathfrak {B}p\ \& \ \lnot \mathfrak {B}r\). However, I receive information that induces me to perform the revision \(K\circ \mathfrak {B}(p\vee r)\). Let X and Y be two elements of \(\mathbb {X}\), both of which satisfy \(\mathfrak {B}(p\vee r)\) but such that \( X\Vdash \mathfrak {B}(p \& \lnot r)\) and \( Y\Vdash \mathfrak {B}(r \& \lnot p)\). Even if X is for some reason somewhat less plausible than Y, X can still be plausible enough to prevent me from adopting Y as my new set of beliefs. Consequently, X and Y block each other, and neither of them can become the outcome. Instead, the outcome can be some third belief set Z with \(Z\Vdash \mathfrak {B}(p\vee r), Z\nVdash \mathfrak {B}p\), and \(Z\nVdash \mathfrak {B}r\).
If we define a blockage relation for a given revision operator, as above, then the resulting blockage relation may not contain sufficient information to reconstruct the revision operator from which it was derived.Footnote 6 In order to avoid such indeterminacy it is better to introduce the blockage relation as a primitive notion.
2 The Basic form of Blockage Revision
We can define blockage revision as follows:
Definition 1
Let \(\rightharpoondown \) be a binary relation on the set \(\mathbb {X}\) of belief sets with \(K\in \mathbb {X}\). The blockage revision on K generated by \(\rightharpoondown \) is the operation \(\circ \) such that for all descriptors \(\Psi \):
-
(i)
If X is the unique \(\Psi \)-satisfying element of \(\mathbb {X}\) that is not blocked by any other \(\Psi \)-satisfying element of \(\mathbb {X}\), then \(K\circ \Psi =X\).
-
(ii)
If there is no such unique \(\Psi \)-satisfying and unblocked element of \(\mathbb {X}\), then \(K\circ \Psi =K\).
Note that we can arrive at clause (ii) of the definition either because (1) there is no \(\Psi \)-satisfying element of \(\mathbb {X}\), (2) all \(\Psi \)-satisfying elements of \(\mathbb {X}\) are blocked within the \(\Psi \)-satisfying part of \(\mathbb {X}\), or (3) at least two \(\Psi \)-satisfying elements of \(\mathbb {X}\) are unblocked within the \(\Psi \)-satisfying part of \(\mathbb {X}\).
The set \(\mathbb {X}\) in Definition 1 is a repertoire, i.e. a set of potential (or viable) belief sets among which the outcomes of the \(\circ \) operation have to be chosen. By the outcome set (Hansson 2013a) is meant the set of actually chosen outcomes, i.e. the set of belief sets X for which there exists a descriptor \(\Psi \) with \(X=K\circ \Psi \). The following observation identifies the cases when the repertoire and the outcome set of a blockage revision coincide.
Observation 1
Let \(\circ \) be the blockage revision on K that is generated by the relation \(\rightharpoondown \) on the set \(\mathbb {X}\) of belief sets. Then \(\mathbb {X}\) is the outcome set of \(\circ \) if and only if \(K\in \mathbb {X}\) and \(\rightharpoondown \) satisfies irreflexivity within \(\mathbb {X}\setminus \{K\}\).
The proofs of this and all other formal results are given in an Appendix. (The proof of Observation 1 is based on a lemma showing that for each belief set there is a descriptor that is satisfied only by that belief set.)
In what follows it will be assumed that \(\rightharpoondown \) is irreflexive and that consequently, the repertoire and the outcome set coincide. (Alternatively we could distinguish between the repertoire \(\mathbb {X}\) and the outcome set which could then be identified as , but nothing important would be gained in that more complicated account.)
In order to compare blockage revision with monoselective and relational descriptor revision, the two operations mentioned in the previous section, we will have use for the following four postulates:
If \(K \circ \Xi \Vdash \Psi \) then \(K \circ \Psi \Vdash \Psi \) (regularity)
If \(K \circ \Psi \Vdash \Xi \) then \(K \circ \Psi = K \circ (\Psi \cup \Xi )\) (cumulativity)
If \(K \circ \Psi \Vdash \Xi \) and \(K \circ \Xi \Vdash \Psi \) then \(K \circ \Psi = K \circ \Xi \) (reciprocity)
If \(K \Vdash \Psi \) then \(K \circ \Psi = K\) (confirmation)
Regularity holds for all monoselective descriptor revisions. The other three postulates hold for relational (but not in general for monoselective) descriptor revision. Blockage revision does not satisfy any of them:
Observation 2
Let \(\circ \) be the blockage revision on K that is generated by the relation \(\rightharpoondown \) on its outcome set \(\mathbb {X}\). Then:
-
(1)
It does not hold in general that \(\circ \) satisfies regularity.
-
(2)
It does not hold in general that \(\circ \) satisfies cumulativity.
-
(3)
It does not hold in general that \(\circ \) satisfies reciprocity.
-
(4)
It does not hold in general that \(\circ \) satisfies confirmation.
On the other hand, the following observation introduces two postulates that are satisfied by all blockage revisions but not by all monoselective descriptor revisions.
Observation 3
-
(1)
Let \(\circ \) be the blockage revision on K that is generated by the relation \(\rightharpoondown \) on its outcome set \(\mathbb {X}\). Then \(\circ \) satisfies:
-
If \(K\circ \Psi \ne K\ne K\circ (\Psi \cup \Xi )\) and \(K\circ \Psi \Vdash \Xi \), then \(K\circ \Psi =K\circ (\Psi \cup \Xi )\). (peripheral cumulativity), and
-
If \(K\ne K\circ \Psi =K\circ \Xi \) then \(K\circ \Psi =K\circ (\Psi \veebar \Xi )\) (peripheral disjunctive identity).
-
-
(2)
Let \(\circ \) be a monoselective descriptor revision. It does not hold in general that \(\circ \) satisfies peripheral cumulativity. Furthermore, it does not hold in general that \(\circ \) satisfies peripheral disjunctive identity.
The term “peripheral” restricts the scope of the postulates to the part of the outcome set that does not include the original belief set K. Peripheral cumulativity and peripheral disjunctive identity are restriction of the following postulates:
-
If \(K\circ \Psi \Vdash \Xi \), then \(K\circ \Psi =K\circ (\Psi \cup \Xi )\) (cumulativity)
-
If \(K\circ \Psi =K\circ \Xi \) then \(K\circ \Psi =K\circ (\Psi \veebar \Xi )\) (disjunctive identity)
Their analogues in sentential revision:
-
If \(K*p\vdash q\), then \( K*p=K*(p \& q)\) (cumulativity), and
-
If \(K*p=K*q\) then \(K*p=K*(p\vee q)\) (disjunctive identity)
both hold in transitively relational AGM revision.Footnote 7
3 Additional Properties of Blockage Revision
In this section we will focus on the four postulates for monoselective and relational descriptor revision that were shown in Observation 2 not to hold in general for blockage revision. What properties must the blockage relation \(\rightharpoondown \) satisfy in order for these postulates to hold? The following theorem answers that question for regularity:
Theorem 1
Let \(\circ \) be the blockage revision on K that is generated by the relation \(\rightharpoondown \) on its outcome set \(\mathbb {X}\). Then \(\circ \) satisfies regularity if and only if \(\rightharpoondown \) satisfies the two postulates:
If \(K\nVdash \Psi \) but there is some \(X\in \mathbb {X}\) with \(X\Vdash \Psi \), then there is at least one unblocked element within the set of \(\Psi \)-satisfying elements of \(\mathbb {X}\). (peripheral non-occlusion), and
If \(X\ne Y\) and \(X\ne K\ne Y\) then either \(X\rightharpoondown Y\) or \(Y\rightharpoondown X\) (peripheral weak connectivity)
These properties of \(\rightharpoondown \) are also what it takes for a blockage revision to be a monoselective descriptor revision:
Observation 4
Let \(\circ \) be the blockage revision on K that is generated by the relation \(\rightharpoondown \) on its outcome set \(\mathbb {X}\). Then \(\circ \) is a monoselective revision on K if and only if \(\rightharpoondown \) satisfies peripheral non-occlusion and peripheral weak connectivity.
The following characterization of cumulativity (If \(K\circ \Psi \Vdash \Xi \) then \(K\circ \Psi =K\circ (\Psi \cup \Xi )\)) reveals an interesting connection between cumulativity and regularity:
Theorem 2
Let \(\circ \) be the blockage revision on K that is generated by the relation \(\rightharpoondown \) on its outcome set \(\mathbb {X}\). Then \(\circ \) satisfies cumulativity if and only if \(\rightharpoondown \) satisfies peripheral non-occlusion, peripheral weak connectivity, and:
-
If \(X\ne K\ne Y\) and \(X\rightharpoondown Y\rightharpoondown K\), then either or both \(K\rightharpoondown X\) and \(K \rightharpoondown Y\). (top adjacency).
It follows from Theorems 1 and 2 that if a blockage revision satisfies cumulativity, then it satisfies regularity. However, the converse relationship does not hold.Footnote 8 The following theorem provides a condition that may be seen as the “missing part” that can be added to regularity in order to obtain cumulativity.
Theorem 3
A blockage revision \(\circ \) satisfies cumulativity if and only if it satisfies both regularity and:
-
If \(K\circ \Psi \Vdash \Xi \) and \(K\circ \Xi \Vdash \Psi \), then \(K\circ \Psi =K\circ \Xi \). (reciprocity)
Reciprocity has a close analogue in sentential revision:
If \(K*p\vdash q\) and \(K*q\vdash p\) then \(K*p=K*q\). (reciprocity)Footnote 9
For descriptor revision, regularity and reciprocity are independent conditions:
Observation 5
Let \(\circ \) be the blockage revision on K that is generated by the relation \(\rightharpoondown \) on its outcome set \(\mathbb {X}\). Then: (1) It does not hold in general that if \(\circ \) satisfies regularity then it satisfies reciprocity, and (2) it does not hold in general that if \(\circ \) satisfies reciprocity then it satisfies regularity.
Let us now turn to the fourth of the postulates that were shown in Observation 2 not to hold in general for blockage revision, namely confirmation. It can be characterized as follows:
Theorem 4
Let \(\circ \) be the blockage revision on K that is generated by the relation \(\rightharpoondown \) on its outcome set \(\mathbb {X}\). Then \(\circ \) satisfies confirmation if and only if \(\rightharpoondown \) satisfies the postulate
-
If \(X\ne K\ne Y\) and \(X\rightharpoondown K\) then (1) \(K\rightharpoondown X\) and (2) either \(K\rightharpoondown Y\) or \(X\rightharpoondown Y\). (near-superiority)
Top adjacency and near-superiority represent different ways to ensure that K has a strong position within \(\mathbb {X}\) in terms of \(\rightharpoondown \). The following are stronger and somewhat simpler properties with similar effects:
-
If \(K\ne X\) then \(K\rightharpoondown X\) (superiority)
-
(non-inferiority)
Observation 6
Let \(\rightharpoondown \) be an irreflexive relation on a set \(\mathbb {X}\) with \(K\in \mathbb {X}\). Then:
-
(1)
If \(\rightharpoondown \) satisfies superiority, then it satisfies top adjacency and near-superiority.
-
(2)
If \(\rightharpoondown \) satisfies non-inferiority, then it satisfies top adjacency and near-superiority.
-
(3)
It does not hold in general that if \(\rightharpoondown \) satisfies top adjacency then it satisfies near-superiority.
-
(4)
It does not hold in general that if \(\rightharpoondown \) satisfies near-superiority then it satisfies top adjacency.
As the following two observations show, confirmation is independent of the other three postulates.
Observation 7
Let \(\circ \) be a blockage revision that satisfies cumulativity. It does not hold in general that \(\circ \) satisfies confirmation.
Observation 8
Let \(\circ \) be a blockage revision that satisfies confirmation. (1) It does not hold in general that \(\circ \) satisfies regularity. (2) It does not hold in general that \(\circ \) satisfies reciprocity.
Finally, the combination of cumulativity and confirmation, and therefore also of the postulates that characterize them, is necessary and sufficient for a blockage revision to also be a relational descriptor revision, in the sense defined in Sect. 1.
Theorem 5
Let \(\circ \) be a descriptor revision on K. Then \(\circ \) is a relational descriptor revision if and only if it is a blockage revision generated by a relation \(\rightharpoondown \) that satisfies peripheral non-occlusion, peripheral weak connectivity, near-superiority, and top adjacency.
4 Discussion
The results from the previous section are summarized in Fig. 1. They provide a series of classes of operations representing different degrees of orderliness. It may be of some interest to compare them to Hans Rott’s (2014) arguments for the need, in AGM theory, of “floors” between the (at least in some respects) implausibly weak level of the basic postulates and the exceptionally strong level of transitively relational operations. The classes of operations investigated here are not directly comparable to those proposed by Rott for the AGM framework, partly because descriptor revision represents a more general type of belief change than the AGM operations and partly because some of the basic postulates of AGM are not satisfied even by the strongest class of descriptor revision studied here.Footnote 10 Generally speaking, the “floors” introduced above are lower (logically weaker) than those discussed by Rott in relation to the AGM operations. However, the results obtained here can be summarized in terms of four floors of blockage revision, describable from the top downwards in the following series where each item is logically stronger than those that follow below it:
-
Blockage revision satisfying regularity, reciprocity, cumulativity, and confirmation.
-
Blockage revision satisfying regularity, reciprocity, and cumulativity.
-
Blockage revision satisfying regularity.
-
Blockage revision (the general case).
Important issues concerning blockage revision remain to investigate. In particular, it remains to characterize blockage revision axiomatically, and a wider range of properties of the \(\rightharpoondown \) relation than those studied here should be investigated.
Notes
A finite composite descriptor can be replaced by the molecular descriptor that is the conjunction of all its elements. However, an infinite composite descriptor cannot in general be replaced by a single molecular descriptor.
Descriptor disjunction will be used in Observation 3 and the discussion following it.
I.e. \( \widehat{C}(\mathbb {Y})\in \mathbb {Y}\) whenever \(\mathbb {Y}\ne \varnothing \).
Blockage relations were first introduced in Hansoon (2013b) where they were used to construct a contraction operator.
Two different monoselective descriptor revisions \(\circ \) and \(\circ '\) may give rise to the same blockage relation. Let \(\mathbb {X}=\{K,X,Y,Z,W\}\), and let \(\circ \) be based on a monoselective choice function \(\widehat{C}\) such that \(\widehat{C}(\mathbb {Y})=K\) whenever \(K\in \mathbb {Y}\subseteq \mathbb {X}\) and that \(\widehat{C}(\{X,Y\})=X, \widehat{C}(\{X,Z\})=Z, \widehat{C}(\{X,W\})=X, \widehat{C}(\{Y,Z\})=Y, \widehat{C}(\{Y,W\})=W, \widehat{C}(\{Z,W\})=Z, \widehat{C}(\{X,Y,Z\})=X, \widehat{C}(\{X,Z,W\})=W, \widehat{C}(\{Y,Z,W\})=Z, \widehat{C}(\{X,Y,W\})=W\), and \(\widehat{C}(\{X,Y,Z,W\})=Y\). Furthermore, let \(\widehat{C}'\) coincide with \(\widehat{C}'\) with the sole exception that \(\widehat{C}'(\{X,Y\})=Y\), and let \(\circ '\) be based on \(\widehat{C}'\). Then \(\circ \) and \(\circ '\) give rise to the same blockage relation namely \(\rightharpoondown =\{\langle K,X,\rangle ,\langle K,Y\rangle ,\langle K,Z\rangle , \langle K,W\rangle \}\). However, let \(\Psi \) be a descriptor that is satisfied by X and Y but not by K, Z, or W. Then \(K\circ \Psi =X\) and \(K\circ '\Psi =Y\).
The sentential version of cumulativity seems to have appeared in the belief revision literature for the first time in Makinson and Gärdenfors (1991, p. 198). It has often been divided into two parts, “If \(K*p\vdash q\) then \( K*p\subseteq K*(p \& q)\)” and “If \(K*p\vdash q\) then \( K*(p \& q)\subseteq K*p\)” that are called cautious monotony respectively cut, due to their close relationships with patterns of nonmonotonic reasoning with the same names (Rott 1992, p. 49). On these postulates, see also Rott (2001). Disjunctive identity does not seem to have been referred to in the belief revision literature, but it is a trivial consequence of the postulate of disjunctive factoring (Either \(K*(p\vee q)=K*p\) or \(K*(p\vee q)=K*q\) or \(K*(p\vee q)=K*p\cap K*q\)) that holds for transitively relational AGM revision. (Disjunctive factoring was proved by Hans Rott and first reported in Gärdenfors (1988, pp. 57, 212, and 244).)
Reciprocity seems to have been introduced independently in Alchourrón and Makinson (1982, p. 32) and Gärdenfors (1982, p. 97). It has been further discussed for instance in Makinson (1985, p. 354) where it was called the Stalnaker property, Makinson and Gärdenfors (1991, p. 198), Rott (2001, p. 110), and Rott (2014).
This applies in particular to the success conditions for contraction and sentential revision that can be translated into \(K\circ \lnot \mathfrak {B}p\Vdash \lnot \mathfrak {B}p\) respectively \(K\circ \mathfrak {B}p\Vdash \mathfrak {B}p\). It also applies to the recovery postulate for contraction that can be translated into \((K\circ \lnot \mathfrak {B}p)\circ \mathfrak {B}p\subseteq K\) and to the vacuity property for sentential revision that can be translated into: If \(K\nVdash \mathfrak {B}\lnot p\) then \(K\circ \mathfrak {B}p=\mathrm {Cn}(K\cup \{p\})\).
References
Alchourrón, C. E., & Makinson, D. (1982). On the logic of theory change: Contraction functions and their associated revision functions. Theoria, 48, 14–37.
Gärdenfors, P. (1982). Rules for rational changes of belief. In T. Pauli (Ed.), Philosophical essays dedicated to Lennart Åqvist on his fiftieth birthday (pp. 88–101). Uppsala: Department of Philosophy, Uppsala University.
Gärdenfors, P. (1988). Knowledge in flux: Modeling the dynamics of epistemic states. Cambridge, MA: MIT Press.
Hansson, S. O. (2013a). Outcome level analysis of belief contraction. Review of Symbolic Logic, 6, 183–204.
Hansson, S. O. (2013b). Blockage contraction. Journal of Philosophical Logic, 42, 415–442.
Hansson, S. O. (2014a). Descriptor revision. Studia Logica, 102, 955–980.
Hansson, S. O. (2014b). Relations of epistemic proximity for belief change. Artificial Intelligence, 217, 76–91.
Makinson, D. (1985). How to give it up: A survey of some formal aspects of the logic of theory change. Synthese, 62, 347–363.
Makinson, D., & Gärdenfors, P. (1991). Relations between the logic of theory change and nonmonotonic logic. In A. Fuhrmann & M. Morreau (Eds.), The logic of theory change. Lecture notes in computer science (Vol. 465, pp. 185–205). Berlin: Springer.
Rott, H. (1992). Preferential belief change using generalized epistemic entrenchment. Journal of Logic, Language, and Information, 1, 45–78.
Rott, H. (2001). Change, choice and inference: A study of belief revision and nonmonotonic reasoning. Oxford: Oxford University Press.
Rott, H. (2014). Four floors for the theory of theory change: The case of imperfect discrimination. In E. Fermé & J. Leite (Eds.), JELIA 2014. Lecture notes of artificial intelligence, (vol. 8761, pp. 368–382) Berlin: Springer.
Author information
Authors and Affiliations
Corresponding author
Appendix: Proofs
Appendix: Proofs
Definition 2
(Hansson 2014a) For any belief set X, we denote by \(\Pi _X\) the descriptor \(\{\mathfrak {B}p \mid p \in X\} \cup \{\lnot \mathfrak {B}p \mid p \notin X\}\).
Definition 3
For any set \(\mathbb {X}\) of belief sets and any descriptor \(\Psi \):
The index can be omitted if no ambiguity follows from doing so, i.e. we can then write \(\llbracket \Psi \rrbracket \) instead of \(\llbracket \Psi \rrbracket _\mathbb {X}\).
Lemma 1
If a binary relation satisfies non-occlusion then it satisfies acyclicity. If it satisfies acyclicity then it satisfies asymmetry. If it satisfies asymmetry then it satisfies irreflexivity.
Proof of Lemma 1:
Left to the reader. \(\square \)
Lemma 2
\(K \Vdash \Psi \veebar \Xi \) holds if and only if either \(K \Vdash \Psi \) or \(K \Vdash \Xi \) holds.
Proof of Lemma 2:
See Hansson (2014b, p. 85). \(\square \)
Proof of Observation 1:
For one direction, let \(K\in \mathbb {X}\) and let \(\rightharpoondown \) satisfy irreflexivity within \(\mathbb {X}\setminus \{K\}\). It follows directly from \(K\in \mathbb {X}\) and Definition 1 that the outcome set is a subset of \(\mathbb {X}\). We also have to show that each element of \(\mathbb {X}\) is an element of the outcome set. For each \(X\in \mathbb {X}\setminus \{K\}\), \(\{X\}\) is the set of \(\Pi _X\)-satisfying elements of \(\mathbb {X}\), and due to the irreflexivity of \(\rightharpoondown , X\) is the unique unblocked element of \(\{X\}\), thus \(K\circ \Pi _X=X\). Furthermore, \(K=K\circ \lnot \mathfrak {B}{\scriptstyle \top }\) (where \({\scriptstyle \top }\) is a tautology) due to clause (ii) of Definition 1. Thus all elements of \(\mathbb {X}\) are elements of the outcome set.
For the other direction, we assume that either (i) \(K\notin \mathbb {X}\) or (ii) \(X\rightharpoondown X\) for some \(X\in \mathbb {X}\setminus \{K\}\). In the first case it follows from \(K\circ \lnot \mathfrak {B}{\scriptstyle \top }=K\) that the outcome set has an element that is not in \(\mathbb {X}\). In the second case \(K\circ \Psi \ne X\) for all \(\Psi \), thus X is not in the outcome set although it is in \(\mathbb {X}\). \(\square \)
Proof of Observation 2:
Part 1: Let \(\mathbb {X}=\{K,X,Y\}\) and:
Then \(K\circ \Pi _X\Vdash \Pi _X\veebar \Pi _Y\) but \(K\circ (\Pi _X\veebar \Pi _Y)\nVdash \Pi _X\veebar \Pi _Y\).
Part 2: Let \(\mathbb {X}=\{K,X,Y\}\) and \(\rightharpoondown =\{\langle K,X\rangle ,\langle X,Y\rangle ,\langle Y,K\rangle \}\). Then \(K\circ (\Pi _K\veebar \Pi _X\veebar \Pi _Y)=K\) and \(K\circ ((\Pi _K\veebar \Pi _X\veebar \Pi _Y)\cup (\Pi _K\veebar \Pi _Y))=K\circ (\Pi _K\veebar \Pi _Y)=Y\), thus \(K\circ (\Pi _K\veebar \Pi _X\veebar \Pi _Y)\Vdash \Pi _K\veebar \Pi _Y\) but \(K\circ (\Pi _K\veebar \Pi _X\veebar \Pi _Y)\ne K\circ ((\Pi _K\veebar \Pi _X\veebar \Pi _Y)\cup (\Pi _K\veebar \Pi _Y))\).
Part 3: Let \(\mathbb {X}=\{K,X,Y\}\) and \(\rightharpoondown =\{\langle K,X\rangle ,\langle X,Y\rangle ,\langle Y,K\rangle \}\). Then \(K\circ (\Pi _K\veebar \Pi _X\veebar \Pi _Y)\Vdash \Pi _K\veebar \Pi _Y\) and \(K\circ (\Pi _K\veebar \Pi _Y)\Vdash \Pi _K\veebar \Pi _X\veebar \Pi _Y\) but \(K\circ (\Pi _K\veebar \Pi _X\veebar \Pi _Y)\ne K\circ (\Pi _K\veebar \Pi _Y)\).
Part 4: Let \(\mathbb {X}=\{K,X\}\) and let \(\rightharpoondown =\{\langle X,K\rangle \}\). Then \(K\Vdash \Pi _K\veebar \Pi _X\) but \(K\circ (\Pi _K\veebar \Pi _X)=X\). \(\square \)
Proof of Observation 3:
Part 1, peripheral cumulativity: Let \(K\circ \Psi \ne K\ne K\circ (\Psi \cup \Xi )\) and \(K\circ \Psi \Vdash \Xi \). It follows from Definition 1 and \(K\ne K\circ \Psi \) that \(K\circ \Psi \Vdash \Psi \), thus \(K\circ \Psi \Vdash \Psi \cup \Xi \), i.e. \(K\circ \Psi \in \llbracket \Psi \cup \Xi \rrbracket \). It also follows from \(K\ne K\circ \Psi \) that \(K\circ \Psi \) is unblocked within \(\llbracket \Psi \rrbracket \), and since \(\llbracket \Psi \cup \Xi \rrbracket \subseteq \llbracket \Psi \rrbracket \) it is then also unblocked within \(\llbracket \Psi \cup \Xi \rrbracket \). Thus \(K\circ \Psi \) is \(\Psi \cup \Xi \)-satisfying and unblocked within \(\llbracket \Psi \cup \Xi \rrbracket \). Since \(K\ne K\circ (\Psi \cup \Xi )\) there is exactly one belief set with that property, namely \(K\circ (\Psi \cup \Xi )\). It follows that \(K\circ \Psi =K\circ (\Psi \cup \Xi )\).
Part 1, peripheral disjunctive identity: Since \(K\ne K\circ \Psi \), all elements of \(\llbracket \Psi \rrbracket \setminus \{K\circ \Psi \}\) are blocked within \(\llbracket \Psi \rrbracket \), and similarly all elements of \(\llbracket \Xi \rrbracket \setminus \{K\circ \Psi \}\) are blocked within \(\llbracket \Xi \rrbracket \). Since \(\llbracket \Psi \veebar \Xi \rrbracket =\llbracket \Psi \rrbracket \cup \llbracket \Xi \rrbracket \), all elements of \(\llbracket \Psi \veebar \Xi \rrbracket \setminus \{K\circ \Psi \}\) are blocked within \(\llbracket \Psi \veebar \Xi \rrbracket \). Since \(K\circ \Psi \) is unblocked both within \(\llbracket \Psi \rrbracket \) and within \(\llbracket \Xi \rrbracket \), it is unblocked within \(\llbracket \Psi \veebar \Xi \rrbracket \). Thus \(K\circ \Psi \) is the only unblocked element within \(\llbracket \Psi \veebar \Xi \rrbracket \), thus \(K\circ \Psi =K\circ (\Psi \veebar \Xi )\).
Part 2, peripheral cumulativity: Let \(\mathbb {X}=\{K,X,Y,Z\}\) and let \(\circ \) be based on a monoselective choice function \(\widehat{C}\) such that \(\widehat{C}(\{X,Y,Z\})=\{Y\}\) and \(\widehat{C}(\{Y,Z\})=\{Z\}\). Then \(K\circ (\Pi _X\veebar \Pi _Y\veebar \Pi _Z)=Y\) and \(Y\Vdash \Pi _Y\veebar \Pi _Z\) but \(K\circ ((\Pi _X\veebar \Pi _Y\veebar \Pi _Z)\cup (\Pi _Y\veebar \Pi _Z))=K\circ (\Pi _Y\veebar \Pi _Z)=Z\).
Part 2, peripheral disjunctive identity: Let \(\mathbb {X}=\{K,X,Y,Z\}\) and let \(\circ \) be based on a monoselective choice function \(\widehat{C}\) such that \(\widehat{C}(\{X,Y\})=\widehat{C}(\{Y,Z\})=Y\) and \(\widehat{C}(\{X,Y,Z\})=X\). Then \(K\circ (\Pi _X\veebar \Pi _Y) = Y, K\circ (\Pi _Y\veebar \Pi _Z) = Y\), and \(K\circ ((\Pi _X\veebar \Pi _Y)\veebar (\Pi _Y\veebar \Pi _Z)) = X\). \(\square \)
Proof of Theorem 1:
From regularity to peripheral non-occlusion: Let \(K\notin \llbracket \Psi \rrbracket \) and \(X\in \llbracket \Psi \rrbracket \). Due to Observation 1 and our assumption that \(\rightharpoondown \) is irreflexive there is some \(\Xi \) with \(X=K\circ \Xi \). Then \(K\circ \Xi \Vdash \Psi \) and regularity yields \(K\circ \Psi \Vdash \Psi \). From this and \(K\circ \Psi \ne K\) it follows according to Definition 1 that \(K\circ \Psi \) is an unblocked element within \(\llbracket \Psi \rrbracket \).
From regularity to peripheral weak connectivity: Let \(X, Y \in \mathbb {X}, X\ne Y\) and \(X\ne K\ne Y\). Due to Observation 1 and our assumption that \(\rightharpoondown \) is irreflexive there is some \(\Xi \) with \(X=K\circ \Xi \). Thus \(K\circ \Xi \Vdash \Pi _X\veebar \Pi _Y\). Regularity yields \(K\circ (\Pi _X\veebar \Pi _Y)\Vdash \Pi _X\veebar \Pi _Y\), thus \(K\circ (\Pi _X\veebar \Pi _Y)\in \{X,Y\}\), from which it follows that either \(X\rightharpoondown Y\) or \(Y\rightharpoondown X\).
From peripheral non-occlusion and peripheral weak connectivity to regularity: Let \(K\circ \Xi \Vdash \Psi \).
First case, \(K\nVdash \Psi \): Due to peripheral non-occlusion it follows from \(K\circ \Xi \Vdash \Psi \) and \(K\nVdash \Psi \) that \(\llbracket \Psi \rrbracket \) has at least one non-blocked element. It follows from peripheral weak connectivity that it has at most one such element. Due to clause (i) of Definition 1, that element is equal to \(K\circ \Psi \), thus \(K\circ \Psi \Vdash \Psi \).
Second case, \(K\Vdash \Psi \): According to Definition 1, \(K\circ \Psi \) is either an element of \(\llbracket \Psi \rrbracket \) or equal to K. In both cases, \(K\circ \Psi \Vdash \Psi \). \(\square \)
Proof of Observation 4:
For one direction, let \(\circ \) be a monoselective descriptor revision. Then \(\circ \) satisfies regularity, and we can conclude from Theorem 1 that \(\rightharpoondown \) satisfies peripheral non-occlusion and peripheral weak connectivity.
For the other direction, let \(\rightharpoondown \) satisfy peripheral non-occlusion and peripheral weak connectivity, and let \(\circ \) be the revision operator generated from \(\rightharpoondown \). It follows from Theorem 1 that \(\circ \) satisfies regularity. Let \(\mathbb {X}=\{X\mid (\exists \Psi )(X=K\circ \Psi )\}\) and let \(\widehat{C}\) be a function such that (a) when \(\varnothing \ne \mathbb {Y}\subseteq \mathbb {X}\), then \(\widehat{C}(\mathbb {Y})=K\circ \Psi \) for all \(\Psi \) such that \(\{X\mid X\Vdash \Psi \}=\mathbb {Y}\) and (b) otherwise \(\widehat{C}(\mathbb {Y})\) is undefined. We need to show (1) that \(\widehat{C}\) is a monoselective choice function on \(\mathbb {X}\), and (2) that \(\circ \) is the monoselective descriptor revision on \(\mathbb {X}\) that is based on \(\widehat{C}\).
For (1) it is sufficient to show that \(\widehat{C}\) is indeed a function. This can be done by noting that since \(\circ \) is a blockage relation it satisfies the uniformity postulate:
If \(K\circ \Xi \Vdash \Psi \) iff \(K\circ \Xi \Vdash \Psi '\) for all \(\Xi \), then \(K\circ \Psi =K\circ \Psi '\)
For (2) we need to consider the two cases referred to in Sect. 1. In case (i) there is some \(X \in \mathbb {X}\) with \(X \Vdash \Psi \). It follows directly from regularity that \(K\circ \Psi \) is in this case indeed identical to \(\widehat{C}(\{X\in \mathbb {X}\mid X\Vdash \Psi \})\). In case (ii) there is no \(X \in \mathbb {X}\) with \(X \Vdash \Psi \). It follows from Definition 1 that \(K\circ \Psi =K\), as required. \(\square \)
Proof of Theorem 2:
From cumulativity to peripheral non-occlusion: Suppose to the contrary that \(K\notin \llbracket \Psi \rrbracket \ne \varnothing \) and \(\llbracket \Psi \rrbracket \) has no unblocked element. Let \(X\in \llbracket \Psi \rrbracket \). Then \(K\circ \Psi =K, K\circ \Psi \Vdash \Pi _K\veebar \Pi _X\), and \(K\circ (\Psi \cup (\Pi _K\veebar \Pi _X))=K\circ \Pi _X=X\), contrary to cumulativity.
From cumulativity to peripheral weak connectivity: Suppose to the contrary that there are \(X,Y\in \mathbb {X}\) such that \(X\ne Y\ne K\ne X\) and . Then \(K\circ (\Pi _X\veebar \Pi _Y)=K\), thus \(K\circ (\Pi _X\veebar \Pi _Y)\Vdash \Pi _K\veebar \Pi _Y\), but \(K\circ ((\Pi _X\veebar \Pi _Y)\cup (\Pi _K\veebar \Pi _Y))=K\circ \Pi _Y=Y\), contrary to cumulativity.
From cumulativity to top adjacency: Let \(\circ \) be a blockage revision based on \(\rightharpoondown \), and furthermore suppose that top adjacency does not hold. We are going to show that cumulativity does not hold. Let \(X,Y\in \mathbb {X}\setminus \{K\}\) and \(X\rightharpoondown Y\rightharpoondown K\). Since top adjacency does not hold, if \(K\rightharpoondown X\) then , and furthermore, if then . We therefore have the following two cases:
Case 1, \(K\rightharpoondown X\) and : Then there is no unblocked element within \(\{K,X,Y\}\) but there is a unique unblocked element within \(\{K,Y\}\), namely Y. It follows that \(K\circ (\Pi _K\veebar \Pi _X\veebar \Pi _Y)=K\), thus \(K\circ (\Pi _K\veebar \Pi _X\veebar \Pi _Y)\Vdash \Pi _K\veebar \Pi _Y\), but \(K\circ ((\Pi _K\veebar \Pi _X\veebar \Pi _Y)\cup (\Pi _K\veebar \Pi _Y))=Y\), contrary to cumulativity.
Case 2, and : We have \(X\rightharpoondown Y\) and by applying peripheral non-occlusion (that we have just proved) to \(\{X,Y\}\) we obtain . Thus \(\{K,X,Y\}\) has a unique unblocked element namely X, whereas \(\{K,X\}\) has the unblocked elements K and X. It follows that \(K\circ (\Pi _K\veebar \Pi _X\veebar \Pi _Y)=X\), thus \(K\circ (\Pi _K\veebar \Pi _X\veebar \Pi _Y)\Vdash \Pi _K\veebar \Pi _X\), but \(K\circ ((\Pi _K\veebar \Pi _X\veebar \Pi _Y)\cup (\Pi _K\veebar \Pi _X))=K\), contrary to cumulativity.
Thus in both cases, if top adjacency does not hold, then neither does cumulativity.
From peripheral non-occlusion, peripheral weak connectivity, and top adjacency to cumulativity: Let \(K\circ \Psi \Vdash \Xi \).
Case 1, \(\llbracket \Psi \rrbracket =\varnothing \): Then \(\llbracket \Psi \cup \Xi \rrbracket =\varnothing \), and we have \(K\circ \Psi =K\) and \(K\circ (\Psi \cup \Xi )=K\).
Case 2, \(K\notin \llbracket \Psi \rrbracket \ne \varnothing \): It follows from peripheral non-occlusion and peripheral weak connectivity that \(\llbracket \Psi \rrbracket \) has exactly one unblocked element, and due to Definition 1 that element is equal to \(K\circ \Psi \). It follows that \(K\circ \Psi \Vdash \Psi \) and we already have \(K\circ \Psi \Vdash \Xi \), so \(K\circ \Psi \Vdash \Psi \cup \Xi \). Since \(K\circ \Psi \) is unblocked within \(\llbracket \Psi \rrbracket \), it is also unblocked within its subset \(\llbracket \Psi \cup \Xi \rrbracket \). It follows from \(K\notin \llbracket \Psi \rrbracket \) and \(\llbracket \Psi \cup \Xi \rrbracket \subseteq \llbracket \Psi \rrbracket \) that \(K\notin \llbracket \Psi \cup \Xi \rrbracket \). It follows from peripheral non-occlusion and peripheral weak connectivity that \(\llbracket \Psi \cup \Xi \rrbracket \) has exactly one unblocked element, and then \(K\circ \Psi \) is that element. Due to Definition 1, \(K\circ \Psi =K\circ (\Psi \cup \Xi )\).
Case 3, \(K\in \llbracket \Psi \rrbracket \) and \(K\ne K\circ \Psi \): It follows from Definition 1 that \(K\circ \Psi \) is the unique unblocked element of \(\llbracket \Psi \rrbracket \). Since \(K\circ \Psi \Vdash \Xi \) we have \(K\circ \Psi \in \llbracket \Psi \cup \Xi \rrbracket \). Since \(K\circ \Psi \) is unblocked within \(\llbracket \Psi \rrbracket \), it is also unblocked within its subset \(\llbracket \Psi \cup \Xi \rrbracket \).
Case 3A, \(K\notin \llbracket \Psi \cup \Xi \rrbracket \): It follows from peripheral non-occlusion and peripheral weak connectivity that \(\llbracket \Psi \cup \Xi \rrbracket \) has exactly one unblocked element, and then \(K\circ \Psi \) is that element. Due to Definition 1, \(K\circ \Psi =K\circ (\Psi \cup \Xi )\).
Case 3B, \(K\in \llbracket \Psi \cup \Xi \rrbracket \): Since \(K\circ \Psi \) is the unique unblocked element of \(\llbracket \Psi \rrbracket \), there is some \(X\in \llbracket \Psi \rrbracket \) with \(X\rightharpoondown K\). Since \(K\circ \Psi \) is unblocked within \(\llbracket \Psi \rrbracket \) we also have and . Due to peripheral weak connectivity, \(K\circ \Psi \rightharpoondown X\). We conclude from top adjacency that \(K\circ \Psi \rightharpoondown K\).
Next, let \(Z\in \llbracket \Psi \cup \Xi \rrbracket \setminus \{K,K\circ \Psi \}\). Since \(K\circ \Psi \) is unblocked within \(\llbracket \Psi \cup \Xi \rrbracket \) it follows from peripheral weak connectivity that \(K\circ \Psi \rightharpoondown Z\). Thus \(K\circ \Psi \) is the only unblocked element within \(\llbracket \Psi \cup \Xi \rrbracket \), thus \(K\circ \Psi =K\circ (\Psi \cup \Xi )\).
Case 4, \(K\in \llbracket \Psi \rrbracket \) and \(K=K\circ \Psi \): It follows from \(K\circ \Psi \Vdash \Xi \) that \(K\in \llbracket \Psi \cup \Xi \rrbracket \).
Case 4A, K is unblocked within \(\llbracket \Psi \cup \Xi \rrbracket \): If K is the only unblocked element within \(\llbracket \Psi \cup \Xi \rrbracket \), then \(K=K\circ (\Psi \cup \Xi )\) due to clause (i) of Definition 1. If it is one of at least two unblocked elements within \(\llbracket \Psi \cup \Xi \rrbracket \), then \(K=K\circ (\Psi \cup \Xi )\) due to clause (ii) of the same definition.
Case 4B, K is blocked within \(\llbracket \Psi \cup \Xi \rrbracket \): Due to peripheral non-occlusion and peripheral weak connectivity there is some \(Y\in \llbracket \Psi \cup \Xi \rrbracket \setminus \{K\}\) such that for all \(X\in \llbracket \Psi \cup \Xi \rrbracket \setminus \{K,Y\}\). It follows that \(K\circ (\Psi \cup \Xi )\) is either Y or K. We are going to show that it is not Y. Suppose that it is. Then clearly .
Case 4Ba, : Since K is blocked within \(\llbracket \Psi \cup \Xi \rrbracket \) there is then some \(X\in \llbracket \Psi \cup \Xi \rrbracket \setminus \{K,Y\}\) such that \(X\rightharpoondown K\). We then have and \(X\rightharpoondown K\), contrary to top adjacency.
Case 4Bb, \(Y\rightharpoondown K\): Due to peripheral non-occlusion and peripheral weak connectivity there is some \(Z\in \llbracket \Psi \rrbracket \setminus \{K\}\) such that for all \(V\in \llbracket \Psi \rrbracket \setminus \{K,Z\}\). Since K is blocked (within \(\llbracket \Psi \cup \Xi \rrbracket \) and therefore also) within \(\llbracket \Psi \rrbracket \) and \(K\circ \Psi \ne Z, Z\) is blocked within \(\llbracket \Psi \rrbracket \), thus \(K\rightharpoondown Z\). Since by assumption . We then have and \(K\rightharpoondown Z\), contrary to top adjacency.
Thus, in neither subcase can \(K\circ (\Psi \cup \Xi )\) be equal to Y. We can conclude that \(K\circ (\Psi \cup \Xi )=K\), thus \(K\circ \Psi =K\circ (\Psi \cup \Xi )\) in case 4B as well. \(\square \)
Proof of Theorem 3:
From cumulativity to regularity: Directly from Theorems 1 and 2.
From cumulativity to reciprocity : Let \(K \circ \Psi \Vdash \Xi \) and \(K \circ \Xi \Vdash \Psi \). Then cumulativity yields \(K \circ \Psi = K \circ (\Psi \cup \Xi ) = K \circ \Xi \).
From regularity and reciprocity to cumulativity: Let \(K \circ \Psi \Vdash \Xi \). There are two cases.
Case (i), \(K \circ \Psi \nVdash \Psi \): Regularity yields \(K \circ (\Psi \cup \Xi ) \nVdash \Psi \), thus \(K \circ (\Psi \cup \Xi ) \nVdash \Psi \cup \Xi \). It follows from Definition 1 that \(K \circ \Psi = K = K \circ (\Psi \cup \Xi )\).
Case (ii), \(K \circ \Psi \Vdash \Psi \): Then \(K \circ \Psi \Vdash \Psi \cup \Xi \). Regularity yields \(K \circ (\Psi \cup \Xi ) \Vdash \Psi \cup \Xi \). We thus have \(K \circ \Psi \Vdash \Psi \cup \Xi \) and \(K \circ (\Psi \cup \Xi ) \Vdash \Psi \), and reciprocity yields \(K \circ \Psi = K\circ ( \Psi \cup \Xi )\). \(\square \)
Proof of Observation 5:
Part 1: Let \(\mathbb {X}=\{K,X,Y\}\) and \(\rightharpoondown =\{\langle X,Y\rangle , \langle Y,K\rangle \}\). It follows from Theorem 1 that regularity is satisfied. We have \(K\circ (\Pi _K\veebar \Pi _X\veebar \Pi _Y) = X\) and \(K\circ (\Pi _K\veebar \Pi _X)=K\), thus \(K\circ (\Pi _K\veebar \Pi _X\veebar \Pi _Y)\Vdash \Pi _K\veebar \Pi _X\) and \(K\circ (\Pi _K\veebar \Pi _X)\Vdash \Pi _K\veebar \Pi _X\veebar \Pi _Y\) but \(K\circ (\Pi _K\veebar \Pi _X\veebar \Pi _Y) \ne K\circ (\Pi _K\veebar \Pi _X)\), which shows that reciprocity does not hold.
Part 2: Let \(\mathbb {X}=\{K,X,Y\}\) and \(\rightharpoondown =\{\langle K,X\rangle , \langle K,Y\rangle \}\). In order to show that reciprocity holds it is sufficient to that there are no \(\Psi \) and \(\Xi \) such that either (1) \(K\circ \Psi =K, K\Vdash \Xi , K\circ \Xi =X\), and \(X\Vdash \Psi \), (2) \(K\circ \Psi =K, K\Vdash \Xi , K\circ \Xi =Y\), and \(Y\Vdash \Psi \), or (3) \(K\circ \Psi =X, X\Vdash \Xi , K\circ \Xi =Y\), and \(Y\Vdash \Psi \).
Suppose that (1) holds. Due to our construction of \(\circ \) it follows from \(K\circ \Xi =X\) that \(X\Vdash \Xi , K\nVdash \Xi \), and \(Y\nVdash \Xi \). But we also have \(K\Vdash \Xi \), thus (1) does not hold. A symmetrical proof shows that (2) does not hold. Suppose that (3) holds. It then follows from \(K\circ \Psi =X\) that \(X\Vdash \Psi , K\nVdash \Psi \), and \(Y\nVdash \Psi \), but we also have \(Y\Vdash \Psi \), so that this case is impossible as well. Thus there are no \(\Psi \) and \(\Xi \) that satisfy either (1), (2), or (3), thus reciprocity holds. It follows from \(K\circ \Pi _X=X, X\Vdash \Pi _X\veebar \Pi _Y\), and \(K\circ (\Pi _X\veebar \Pi _Y)=K\) that regularity does not hold. \(\square \)
Proof of Theorem 4:
From confirmation to near-superiority: Let \(X\rightharpoondown K\). Confirmation yields \(K\circ (\Pi _K\veebar \Pi _X)=K\), which would not be the case if . Thus \(K\rightharpoondown X\).
If also follows from confirmation that \(K\circ (\Pi _K\veebar \Pi _X\veebar \Pi _Y)=K\). Since \(X\rightharpoondown K, K\circ (\Pi _K\veebar \Pi _X\veebar \Pi _Y)\) cannot follow from clause (i) of Definition 1, so it must be based on clause (ii). We already have \(K\rightharpoondown X\), thus Y must be blocked by either K or X.
From near-superiority to confirmation: Let \(K\Vdash \Psi \). If \(\llbracket \Psi \rrbracket \) does not have exactly one unblocked element, then clause (ii) of Definition 1 yields \(K\circ \Psi =K\). It remains to treat the case when \(\llbracket \Psi \rrbracket \) has exactly one unblocked element. Suppose that element is not K. Then there is some \(X\in \llbracket \Psi \rrbracket \) with \(X\rightharpoondown K\). It follows from near-superiority that all elements of \(\llbracket \Psi \rrbracket \) are blocked (either by K or by X). This contradicts the assumption that the only unblocked element of \(\llbracket \Psi \rrbracket \) is not K. We conclude that it is K and that therefore \(K\circ \Psi =K\) in this case as well. \(\square \)
Proof of Observation 6:
Parts 1 and 2 are left to the reader.
Part 3: Let \(\mathbb {X}=\{K,X,Y\}\) and \(\rightharpoondown =\{\langle X,Y\rangle , \langle X,K\rangle , \langle Y,K\rangle \}\).
Part 4: Let \(\mathbb {X}=\{K,X,Y\}\) and \(\rightharpoondown =\{\langle X,Y\rangle , \langle Y,X\rangle , \langle Y,K\rangle , \langle K,Y\rangle \}\).
Proof of Observation 7:
Let \(\mathbb {X}=\{K,X,Y\}\) and \(\rightharpoondown =\{\langle X,Y\rangle , \langle X,K\rangle , \langle Y,K\rangle \}\). It follows from Theorem 2 that \(\circ \) satisfies cumulativity and from \(K\circ (\Pi _K\veebar \Pi _X)=X\) that it does not satisfy confirmation. \(\square \)
Proof of Observation 8:
Part 1: Let \(\mathbb {X}=\{K,X,Y\}\) and \(\rightharpoondown =\{\langle K,X\rangle , \langle K,Y\rangle \}\). It follows from Theorem 4 that \(\circ \) satisfies confirmation and from \(K\circ \Pi _X=X, X\Vdash \Pi _X\veebar \Pi _Y\), and \(K\circ (\Pi _X\veebar \Pi _Y)=K\) that it does not satisfy regularity.
Part 2: Let \(\mathbb {X}=\{K,X,Y,Z,V\}\) and:
It follows from Theorem 4 that \(\circ \) satisfies confirmation. However, \(K\circ (\Pi _X\veebar \Pi _Y\veebar \Pi _Z)=X\) and \(K\circ (\Pi _X\veebar \Pi _Y\veebar \Pi _V)=Y\). Since \(K\circ (\Pi _X\veebar \Pi _Y\veebar \Pi _Z)\Vdash \Pi _X\veebar \Pi _Y\veebar \Pi _V\) and \(K\circ (\Pi _X\veebar \Pi _Y\veebar \Pi _V)\Vdash \Pi _X\veebar \Pi _Y\veebar \Pi _Z\), it follows that reciprocity is not satisfied. \(\square \)
Proof of Theorem 5:
From relational revision to blockage revision: Let \(\rightharpoondown \) be the strict part of \(\leqq \). Note that near-superiority and top adjacency are satisfied vacuously. (Since \(\leqq \) is antisymmetric, \(\rightharpoondown \) is irreflexive. Since it also has the property that \(K\leqq X\) for all \(X\in \mathbb {X}\), there is no X with \(X\rightharpoondown K\).)
From blockage revision to relational revision: It was shown in Hansson (2014a) that \(\circ \) is a relational descriptor revision if it satisfies extensionality (If \(\Psi \dashv \Vdash \Psi '\) then \(K \circ \Psi = K \circ \Psi '\)), closure (\(K\circ \Psi = \mathrm {Cn}(K\circ \Psi )\)), relative success (\(K \circ \Psi \Vdash \Psi \) or \(K \circ \Psi = K\)), regularity, cumulativity, and confirmation. It follows straight-forwardly from Definition 1 that the first three of these conditions are satisfied. That the last three are satisfied follows from Theorems 1, 2, and 4. \(\square \)
Rights and permissions
About this article
Cite this article
Hansson, S.O. Blockage Revision. J of Log Lang and Inf 25, 37–50 (2016). https://doi.org/10.1007/s10849-015-9223-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-015-9223-6