Choice revision
 53 Downloads
Abstract
Choice revision is a sort of nonprioritized multiple revision, in which the agent partially accepts the new information represented by a set of sentences. We investigate the construction of choice revision based on a new approach to belief change called descriptor revision. We prove that each of two variants of choice revision based on such construction is axiomatically characterized with a set of plausible postulates, assuming that the object language is finite. Furthermore, we introduce an alternative modelling for choice revision, which is based on a type of relation on sets of sentences, named multiple believability relation. We show without assuming a finite language that choice revision constructed from such relations is axiomatically characterized with the same sets of postulates that we proposed for the choice revision based on descriptor revision, whenever the relations satisfy certain rationality conditions.
Keywords
Choice revision Nonprioritized multiple revision Belief change Descriptor revision Multiple believability relation1 Introduction
Belief change^{1} theory studies how a rational agent changes her belief state when she is exposed to new information. Studies in this field have traditionally had a strong focus on two types of change: contraction in which a specified sentence has to be removed from the original belief state, and revision in which a specified sentence has instead to be consistently added. This paper is mainly concerned with the latter.
Alchourrón, Gärdenfors and Makinson (AGM) performed the pioneering formal study on these two types of change in their seminal paper (Alchourrn et al. 1985). In the AGM theory of belief change, the agent’s belief state is represented by a set of sentences from some formal language \({\mathcal {L}}\), usually denoted by K. The new information is represented by a single sentence in \({\mathcal {L}}\). Belief revision and contraction on K are formally represented by two operations \(*\) and \(\div \), mapping from a sentence \(\varphi \) to a new set of sentences \(K *\varphi \) and \(K \div \varphi \) respectively. Alchourrn et al. (1985) postulated some conditions that a rational revision or contraction operation should satisfy, which are called AGM postulates on revision and contraction.^{2}
Furthermore, Alchourrn et al. (1985) showed that contraction and revision satisfying AGM postulates could be precisely constructed from a model based on partial meet functions on remainder sets. After that, many alternative models (Alchourrón and Makinson 1985; Grove 1988; Gärdenfors and Makinson 1988; Hansson 1994, etc.) have been proposed to construct the operations characterized by these postulates. Although these models look entirely different on the surface, most of them employ the same selectandintersect strategy (Hansson 2017, p. 19). For example, in partial meet construction for contraction (Alchourrn et al. 1985), a selection is made among remainders and in sphere modelling for revision (Grove 1988), a selection is made among possible worlds. The intersection of the selected objects is taken as the outcome of the operation in both cases.
Although the AGM theory has virtually become a standard model of theory change, many researchers are unsatisfied with its settings in several aspects and have proposed several modifications and generalizations to that framework (see Fermé and Hansson 2011 for a survey). Here we only point out two inadequatenesses of the AGM theory.
On the one hand, in the original AGM model, the input is represented by a single sentence. This is unrealistic since agents often receive more than one piece of information at the same time. In order to cover these cases, we can generalize sentential revision to multiple revision, where the input is a finite or infinite set of sentences. On the other hand, in AGM revision, new information has priority over original beliefs. This is represented by the success postulate: \(\varphi \in K *\varphi \) for all \(\varphi \). The priority means that the new information will always be entirely incorporated, whereas previous beliefs will be discarded whenever the agent need do so in order to incorporate the new information consistently. This is a limitation of AGM theory since in real life it is a common phenomenon that agents do not accept the new information that they receive or only accept it partially. As a modification, we can drop the success postulate and generalize prioritized revision to nonprioritized belief revision.
 1.
Merge: K and A are symmetrically treated, i.e., sentences of K and A could be accepted or rejected.
 2.
Choice revision^{3}: some sentences of A could be accepted, some others could be rejected.
Therefore, to develop a modelling for choice revision, we need to choose another strategy than the selectandintersect method. Hansson (2013) introduced a new approach of belief change named “descriptor revision”, which employs a “selectdirect” methodology: it assumes that there is a set of belief sets as potential outcomes of belief change, and the belief change is performed by a direct choice among these potential outcomes. Furthermore, this is a very powerful framework for constructing belief change operations since success conditions for various types of belief changes are described in a general way with the help of a metalinguistic belief operator \({\mathfrak {B}}\). For instance, the success condition of contraction by \(\varphi \) is \(\lnot {\mathfrak {B}} \varphi \), that of revision by \(\varphi \) is \({\mathfrak {B}} \varphi \). Descriptor revision on a belief set K is performed with a unified operator \(\circ \) which applies to any success condition that is expressible with \({\mathfrak {B}}\). Hence, choice revision \(*_c\) with a finite input set can be constructed from descriptor revision in the way of \(K *_c\{\varphi _1, \varphi _2, \ldots , \varphi _n\} = K \circ \{{\mathfrak {B}} \varphi _1 \vee {\mathfrak {B}} \varphi _2 \vee \cdots \vee {\mathfrak {B}} \varphi _n \}\) (Hansson 2017, p. 130).
Although the construction of choice revision in the framework of descriptor revision has been introduced in Hansson (2017), the formal properties of this type of belief change are still in need of investigation. The main purpose of this contribution is to conduct such an investigation. After providing some formal preliminaries in Sect. 2, we will review how to construct choice revision in the framework of descriptor revision in Sect. 3. More importantly, in this section, we will investigate the postulates on choice revision which could axiomatically characterize these constructions. In Sect. 4 we will propose an alternative modelling for choice revision, which is based on multiple believability relations, a generalized version of believability relation introduced in Hansson (2014) and further studied in Zhang (2017). We will investigate the formal properties of this modelling and prove the associated representation theorems. Section 5 concludes and indicates some directions for future work. All proofs of the formal results are placed in the “Appendix”.
2 Preliminaries
The object language \({\mathcal {L}}\) is defined inductively by a set v of propositional variables \(\{p_0 ,\, p_1, \, \ldots , \, p_n, \, \ldots \}\) and the truthfunctional operations \(\lnot , \wedge , \vee \) and \(\rightarrow \) in the usual way. \({\scriptstyle \top }\) is a tautology and \({\scriptstyle \perp }\) a contradiction. \({\mathcal {L}}\) is called finite if v is finite. Sentences in \({\mathcal {L}}\) will be denoted by lowercase Greek letters and sets of such sentences by uppercase Roman letters.
\(\mathrm {Cn}\) is a consequence operation for \({\mathcal {L}}\) satisfying supraclassicality: if \(\varphi \) can be derived from A by classical truthfunctional logic, then \(\varphi \in \mathrm {Cn}(A)\), compactness: if \(\varphi \in \mathrm {Cn}(A)\), then there exists some finite \(B \subseteq A\) such that \(\varphi \in \mathrm {Cn}(B)\), and the deduction property: \(\varphi \in \mathrm {Cn}(A \cup \{\psi \}\)) if and only if (henceforth iff for short) \(\psi \rightarrow \varphi \in \mathrm {Cn}(A)\). \(X\Vdash \varphi \) and \(X \nVdash \varphi \) are alternative notations for \(\varphi \in \mathrm {Cn}(X)\) and \(\varphi \notin \mathrm {Cn}(X)\) respectively. \(\{ \varphi \} \Vdash \psi \) is rewritten as \(\varphi \Vdash \psi \) for simplicity. And \(\varphi \dashv \Vdash \psi \) means \(\varphi \Vdash \psi \) and \(\psi \Vdash \varphi \). \(A \equiv B\) holds iff for every \(\varphi \in A\), there exists some \(\psi \in B\) such that \(\varphi \dashv \Vdash \psi \) and vice versa.
For all finite A, let \(\&A\) denote the conjunction of all elements in A. For any A and B, Open image in new window . We write Open image in new window and Open image in new window and Open image in new window for simplicity.
The set of beliefs an agent holds is represented by a belief set, which is a set \(X \subseteq {\mathcal {L}}\) such that \(X = \mathrm {Cn}(X)\). K is fixed to denote the original beliefs of the agent. We assume that K is consistent, i.e. \(K \nVdash {\scriptstyle \perp }\), unless stated otherwise.
3 Choice revision based on descriptor revision
Before investigating the properties of choice revision constructed in the framework of descriptor revision, we first present some formal basics of this framework, which is mainly based on Hansson (2013).
3.1 Basics of descriptor revision
An atomic belief descriptor is a sentence \({\mathfrak {B}}\varphi \) with \(\varphi \in {\mathcal {L}}\), which can be interpreted as “believing proposition \(\varphi \)”. A descriptor is a set of truthfunctional combinations of atomic descriptors. \({\mathfrak {B}}\varphi \) is satisfied by a belief set X iff \(\varphi \in X\). Conditions of satisfaction for truthfunctional combination of atomic descriptors are defined inductively. X satisfies a descriptor \(\varPhi \) (denoted by \(X \vDash \varPhi \) ) iff it satisfies all its elements. Descriptor revision on a belief set K is performed with a unified operator \(\circ \) such that \(K \circ \varPhi \) is an operation with descriptor \(\varPhi \) representing its success condition. Hansson (2013) introduces several constructions for descriptor revision operations, of which the relational model defined as follows has a canonical status.
Definition 1

\((\mathbb {X} 1)\)\(\mathbb {X}\) is a set of belief sets.

\((\mathbb {X} 2)\)\(K \in \mathbb {X}\).

\((\leqq 1)\)\(K \leqq X\) for every \(X \in \mathbb {X}\).

\((\leqq 2)\) For any descriptor \(\varPhi \), if \(\{X \in \mathbb {X} \mid X \vDash \varPhi \}\) (we denote it as \( {\mathbb {X}}^{\varPhi } \)) is not empty, then it has a unique \(\leqq \)minimal element denoted by \({\mathbb {X}}^{\varPhi }_{<}\).
\(\mathbb {X}\) is the outcome set which includes all the potential outcomes under various belief change patterns. The ordering \(\leqq \) (with the strict part <) brings out a directselection mechanism, which selects the final outcome among candidates satisfying a specific success condition. We call descriptor revision constructed in this way relational descriptor revision. In so far as the selection mechanism is concerned, descriptor revision is at a more abstract level in comparison to the AGM revision. In the construction of descriptor revision \(\circ \), “it assumes that there exists an outcome set which contains all the potential outcomes of the operation \(\circ \), but it says little about what these outcomes should be like” (Zhang 2017, p. 41). In contrast, in the AGM framework, the belief change is supposed to satisfy the principle of consistency preservation and the principle of the informational economy (Gärdenfors 1988). Therefore, the intersection step in the construction of belief change in the AGM framework becomes dispensable in the descriptor revision approach.
3.2 Choice revision constructed from descriptor revision
The success condition for choice revision \(*_c\) with a finite input could be easily expressed by descriptor \(\{ {\mathfrak {B}} \varphi _0 \vee \cdots \vee {\mathfrak {B}} \varphi _n \}\). So, it is straightforward to construct choice revision through descriptor revision as follows.
Definition 2
Henceforth, we say \(*_c\) is based on (or determined by) some relational model if it is based on the descriptor revision determined by the same model. The main purpose of this section is to investigate the formal properties of choice revision based on such models.
3.3 Postulates and representation theorem
It is observed that the choice revision determined by relational models should satisfy a set of arguably plausible postulates on choice revision.
Observation 1

\(\mathrm {(*_c1)}\)\(\mathrm {Cn}(K *_cA) = K *_cA\). \((*_c\)closure)

\(\mathrm {(*_c2)}\)\(K *_cA = K\) or \(A \cap (K *_cA) \ne \emptyset \). \((*_c\)relative success)

\(\mathrm {(*_c3)}\) If \(A \cap (K *_cB) \ne \emptyset \), then \(A \cap (K *_cA) \ne \emptyset \). \((*_c\)regularity)

\(\mathrm {(*_c4)}\) If \(A \cap K \ne \emptyset \), then \(K *_cA = K\). \((*_c\)confirmation)

\(\mathrm {(*_c5)}\) If \((K *_cA) \cap B \ne \emptyset \) and \((K *_cB) \cap A \ne \emptyset \), then \(K *_cA = K *_cB\). \((*_c\)reciprocity)
Moreover, another plausible condition on choice revision follows from this set of postulates.
Observation 2

If \(A \equiv B\), then \(K *_cA = K *_cB\). \((*_c\)syntax irrelevance)

\(\mathrm {(*1)}\)\(\mathrm {Cn}(K *\varphi )=K *\varphi \) (\(*\)closure)

\(\mathrm {(*2)}\) If \(K *\varphi \ne K \), then \(\varphi \in K *\varphi \) (\(*\)relative success)

\(\mathrm {(*3)}\) If \(\varphi \in K \), then \(K *\varphi = K\) (\(*\)confirmation)

\(\mathrm {(*4)}\) If \(\psi \in K *\varphi \), then \(\psi \in K *\psi \) (\(*\)regularity)

\(\mathrm {(*5)}\) If \(\psi \in K *\varphi \) and \(\varphi \in K *\psi \), then \(K*\varphi = K *\psi \) (\(*\)reciprocity^{6})

If \(\varphi \dashv \Vdash \psi \), then \(K*\varphi = K *\psi \).^{7} (\(*\)extensionality)
Observation 3

If \(A \subseteq B\) and \((K *_cB) \cap A \ne \emptyset \), then \(K *_cA =K *_cB\). \((*_c\)cautiousness)
The postulate \(*_c\)cautiousness reflects a distinctive characteristic of choice revision modelled by relational models: the agent who performs this sort of belief change is cautious in the sense of not doing more than what is necessary to incorporate one of the elements of the input. It follows immediately from \(*_c\)relative success and \(*_c\)cautiousness that if \(A \cap (K *_cA) \ne \emptyset \), then \(K *_cA = K *_c\{\varphi \}\) for some \(\varphi \in A\). Thus, it is not surprising that the following postulate follows.
Observation 4

\(K *_c(A \cup B) = K *_cA\) or \(K *_c(A \cup B) = K *_cB\). \((*_c\)dichotomy)
In contrast to \((*_c1)\) through \((*_c5)\), postulates \(*_c\)cautiousness and \(*_c\)dichotomy do not have directly corresponding postulates in the context of sentential revision. This suggests that though \((*_c1)\) through \((*_c5)\) naturally generalize \((*1)\) through \((*5)\), this sort of generalization is not so trivial as we may think of. As another evidence for this, the following observation shows that the properties of \((*1)\) through \((*5)\) and those of their generalizations are not always paralleled.
Observation 5

For any \(n \ge 1 \), if \((K *_cA_1 ) \cap A_0 \ne \emptyset \), \(\ldots \), \((K *_cA_{n} ) \cap A_{n1} \ne \emptyset \), \((K *_cA_{0} ) \cap A_{n} \ne \emptyset \), then \(K *_cA_0 = K *_cA_1 = \cdots = K *_cA_n\). \((*_c\)strong reciprocity)

For any \(n \ge 1 \), if \(\varphi _0 \in K \star \varphi _{1}\), \(\ldots \), \(\varphi _{n1} \in K *\varphi _n\) and \(\varphi _n \in K \star \varphi _0 \), then \(K \star \varphi _0 = K \star \varphi _2= \cdots = K \star \varphi _n\). (\(*\)strong reciprocity^{8})
After an investigation on the postulates \((*_c1)\) through \((*_c5)\) satisfied by choice revision based on rational models, the question raises naturally whether the choice revision could be axiomatically characterized by this set of postulates. We get a partial answer to this question: a representation theorem is obtainable when \({\mathcal {L}}\) is finite.
Theorem 1
Let \({\mathcal {L}}\) be a finite language. Then, \(*_c\) satisfies \((*_c1)\) through \((*_c5)\) iff it is a choice revision based on some relational model.
3.4 More properties of choice revision

If \(A \ne \emptyset \), then \(A \cap (K *_cA) \ne \emptyset \). (\(*_c\)success)

If \(A \not \equiv \{{\scriptstyle \perp }\}\), then \(K *_cA \nVdash {\scriptstyle \perp }\). (\(*_c\)consistency)

If \(A = \emptyset \), then \(K *_cA = K\). (\(*_c\)vacuity)
Observation 6
 1.
If \(*_c\) satisfies relative success, then it satisfies vacuity.
 2.
If \(*_c\) satisfies success and vacuity, then it satisfies relative success.
 3.
If \(*_c\) satisfies success, then it satisfies regularity.
\(*_c\)consistency is a plausible constraint on a rational agent. While accepting \(*_c\)success and \(*_c\)consistency as “supplementary” postulates for choice revision \(*_c\), the corresponding relational model on which \(*_c\) is based will also need to satisfy some additional properties. We use the following representation theorem to conclude this subsection.
Theorem 2

\((\mathbb {X} 3)\)\(\mathrm {Cn}(\{ {{\scriptstyle \perp }}\}) \in \mathbb {X}\);

\((\leqq 3)\)\({\mathbb {X}}^{{\mathfrak {B}} \varphi } \ne \emptyset \) and \({\mathbb {X}}^{{\mathfrak {B}} \varphi }_{<} < \mathrm {Cn}(\{ {{\scriptstyle \perp }}\})\) for every \(\varphi \) such that \(\varphi \nVdash {\scriptstyle \perp }\).
4 An alternative modelling for choice revision

\(\langle \preceq _{*}\)\(\mathrm {to}\)\(\preceq \rangle \) \(\varphi \preceq \psi \) iff \(\{\varphi \} \preceq _{*} \{\psi \}\).
\(\preceq _{p}\) is of little interest since \(A \preceq _{p}B\) can be immediately reduced to \(\&A \preceq \&B\), given that A and B are finite. In what follows, multiple believability relations (or multibelievability relations for short) only refer to choice multiple believability relations \(\preceq _{c}\). (\(\{\varphi \} \preceq _{c}A\) and \(A \preceq _{c}\{\varphi \}\) will be written as \(\varphi \preceq _{c}A\) and \(A \preceq _{c}\varphi \) respectively for simplicity.)
4.1 Postulates on multibelievability relations

\(\preceq \)transitivity If \(\varphi \preceq \psi \) and \(\psi \preceq \lambda \), then \(\varphi \preceq \lambda \).

\(\preceq \)weak coupling If \(\varphi \simeq \varphi \wedge \psi \) and \(\varphi \simeq \varphi \wedge \lambda \), then \(\varphi \simeq \varphi \wedge (\psi \wedge \lambda )\).

\(\preceq \)coupling If \(\varphi \simeq \psi \), then \(\varphi \simeq \varphi \wedge \psi \).

\(\preceq \)counter dominance If \(\varphi \Vdash \psi \), then \(\psi \preceq \varphi \).

\(\preceq \)minimality\(\varphi \in K\) iff \(\varphi \preceq \psi \) for all \(\psi \).

\(\preceq \)maximality If \(\psi \preceq \varphi \) for all \(\psi \), then \(\varphi \dashv \Vdash {\scriptstyle \perp }\).

\(\preceq \)completeness\(\varphi \preceq \psi \) or \(\psi \preceq \varphi \)

\(\preceq _{c}\)transitivity If \(A \preceq _{c}B\) and \(B \preceq _{c}C\), then \(A \preceq _{c}C\).

\(\preceq _{c}\)weak coupling If Open image in new window and Open image in new window , then Open image in new window .

\(\preceq _{c}\)coupling If \(A \simeq _{c}B\), then Open image in new window .

\(\preceq _{c}\)counter dominance If for every \(\varphi \in B\) there exists \(\psi \in A\) such that \(\varphi \Vdash \psi \), then \(A \preceq _{c}B\).

\(\preceq _{c}\)minimality\(A \preceq _{c}B\) for all B iff \(A \cap K \ne \emptyset \).

\(\preceq _{c}\)maximality If B is not empty and \(A \preceq _{c}B\) for all nonempty A, then \(B \equiv \{{\scriptstyle \perp }\}\).

\(\preceq _{c}\)completeness\(A \preceq _{c}B\) or \(B \preceq _{c}A\).

\(\preceq _{c}\)determination\(A \prec _{c}\emptyset \) for every nonempty A.

\(\preceq _{c}\)union\(A \preceq A \cup B\) or \(B \preceq A \cup B\).
Observation 7
 1.
It satisfies \(\preceq _{c}\)completeness.
 2.
It satisfies \(\preceq _{c}\)weak coupling iff it \(\preceq _{c}\)satisfies coupling.
Observation 7 indicates that \(\preceq _{c}\)union is strong. It should be noted that for a believability relation, neither \(\preceq \)completeness nor \(\preceq \)coupling can be derived from \(\preceq \)transitivity, \(\preceq \)counter dominance and \(\preceq \)weak coupling.^{13}
In what follows, we name multibelievability relations satisfying all the above postulates standard multibelievability relations.
4.2 Translations between believability relations and multiple believability relations
In this subsection, we will show that although it is impossible to find a postulate on believability relations that corresponds to \(\preceq _{c}\)determination or \(\preceq _{c}\)union, there exists a translation between quasilinear believability relations and standard multibelievability relations.
Observation 8
 1.
\(A \preceq _{c}B\) iff there exists \(\varphi \in A\) such that \(\varphi \preceq _{c}B\).
 2.
\(A \preceq _{c}B\) iff \(A \preceq _{c}\varphi \) for all \(\varphi \in B\).

\(\langle \preceq _{c}\)\(\mathrm {to}\)\(\preceq \rangle \) \(\varphi \preceq \psi \) iff \(\{\varphi \} \preceq _{c}\{\psi \}\).

\(\langle \preceq \)\(\mathrm {to}\)\(\preceq _{c}\rangle \) \(A \preceq _{c}B\) iff \(B = \emptyset \) or there exists \(\varphi \in A\) such that \(\varphi \preceq \psi \) for every \(\psi \in B\).
Theorem 3
 1.
If \(\preceq \) is a quasilinear believability relation and \(\preceq _{c}\) is constructed from \(\preceq \) through the way of \(\langle \preceq \)\(\mathrm {to}\)\(\preceq _{c}\rangle \), then \(\preceq _{c}\) is a standard multibelievability relation and \(\preceq \) can be retrieved from \(\preceq _{c}\) in the way of \(\langle \preceq _{c}\)\(\mathrm {to}\)\(\preceq \rangle \).
 2.
If \(\preceq _{c}\) is a standard multibelievability relation and \(\preceq \) is constructed from \(\preceq _{c}\) through \(\langle \preceq _{c}\)\(\mathrm {to}\)\(\preceq \rangle \), then \(\preceq \) is a quasilinear believability relation and \(\preceq _{c}\) can be retrieved from \(\preceq \) through \(\langle \preceq \)\(\mathrm {to}\)\(\preceq _{c}\rangle \).
4.3 Choice revision constructed from multibelievability relations
Definition 3
The primary results of this section are the following two representation theorems. In comparison with Theorems 1 and 2, these two theorems are applicable to more general cases since they do not assume that the language \({\mathcal {L}}\) is finite. These two theorems demonstrate that multibelievability relations provide a fair modelling for choice revision characterized by the set of postulates mentioned in Sect. 3.
Theorem 4
Let \(*_c\) be some choice revision on K. Then, \(*_c\) satisfies \((*_c1)\) through \((*_c5)\) iff it is determined by some multibelievability relation \(\preceq _{c}\) satisfying \(\preceq _{c}\)transitivity, \(\preceq _{c}\)weak coupling, \(\preceq _{c}\)counterdominance, \(\preceq _{c}\)minimality and \(\preceq _{c}\)union.
Theorem 5
Let \(*_c\) be some choice revision on K. Then, \(*_c\) satisfies \(*_c\)closure, \(*_c\) success, \(*_c\)vacuity, \(*_c\)confirmation, \(*_c\)reciprocity and \(*_c\)consistency iff it is determined by some standard multibelievability relation.
Considering the translation between multibelievability relations and believability relations (Theorem 3), it seems that these results can be easily transferred to the context of believability relations. However, if we drop some postulates on multibelievability relation such as \(\preceq _{c}\)determination, the translation between multibelievability relation and believability relation will not be so transparent, at least it will not be so straightforward as \(\langle \preceq \)\(\mathrm {to}\)\(\preceq _{c}\rangle \) and \(\langle \preceq _{c}\)\(\mathrm {to}\)\(\preceq \rangle \). As a consequence, the result in Theorem 4 may not be possible to transfer to believability relations in a straightforward way. Moreover, compared with postulates on believability relations, postulates on multibelievability relations such as \(\preceq _{c}\)determination and \(\preceq _{c}\)union can present our intuitions on choice revision in a more direct way. Thus, the multibelievability relation is still worth to be studied in its own right.
5 Conclusion and future work
As a generalization of traditional belief revision, choice revision has more realistic characteristics. The new information is represented by a set of sentences and the agent could partially accept these sentences as well as reject the others. From the point of technical view, choice revision is interesting since the standard “selectandintersect” methodology in modellings for belief change is not suitable for it. But instead, it can be modelled by a newly developed framework of descriptor revision, which employs a “selectdirect” approach. After reviewing the construction of choice revision in the framework of descriptor revision, under the assumption that the language is finite, we provided two sets of postulates as the axiomatic characterizations for two variants of choice revision based on such constructions (in Theorems 1 and 2). These postulates, in particular, \(*_c\)cautiousness and \(*_c\)dichotomy, point out that choice revision modelled by descriptor revision has the special characteristic that the agent who performs this sort of belief change is cautious in the sense that she only accepts the new information to the smallest possible extent.
For AGM revision and contraction, there are various independently motivated modellings which are equivalent in terms of expressive power. In this contribution, we also propose an alternative modelling for choice revision. We showed that multibelievability relations can also construct the choice revision axiomatically characterized by the sets of postulates proposed for choice revision based on descriptor revision (Theorems 4 and 5). Moreover, these results are obtainable without assuming that the language is finite. This may indicate that multibelievability relations are an even more suitable modelling for choice revision.
The study in this contribution can be developed in at least three directions. First, the cautiousness constraint on choice revision, reflected by \(*_c\)cautiousness, certainly could be loosened. We think it is an interesting topic for future work to investigate the modeling and axiomatic characterization of more “reckless” variants of choice revision. Secondly, as it was showed in Zhang (2017) that AGM revision could be reconstructed from believability relations satisfying certain conditions, it is interesting to ask which conditions a multibelievability relation should satisfy so that its generated choice revision coincides with an AGM revision when the inputs are limited to singletons. Finally, it is technically interesting to investigate choice revisions with an infinite input set, though they are epistemologically unrealistic.
Footnotes
 1.
In some literature, the term “belief revision” is used as a synonym for belief change. In what follows, we use belief revision to refer to a particular kind of belief change.
 2.
 3.
Here we use the term “choice revision”, introduced by Fuhrmann (1988), to replace the term “selective change” used in Falappa et al. (2012), for it is easier for us to distinguish it from the “selective revision” introduced in Fermé and Hansson (1999), which is a sort of nonprioritized revision with a single sentence as input. It should be noted that generally choice revision by a finite set A cannot be reduced to selective revision by the conjunction & A of all elements in A. To see this, let \(*_{s}\) be some selective revision. It is assumed that \(*_{s}\) satisfies extensionality, i.e. if \(\varphi \) is logically equivalent to \(\psi \), then \(K *_s \varphi = K *_s \psi \). So, \(K *_s \&\{\varphi , \lnot \varphi \} = K *_s \&\{\psi , \lnot \psi \}\) for all \(\varphi \) and \(\psi \). However, it is implausible that the result of choice revision by \(\{\varphi , \lnot \varphi \} \) should always coincide with that by \( \{\psi , \lnot \psi \}\) for all \(\varphi \) and \(\psi \). Analogously, choice revision cannot be represented by AGM revision by updating with the disjunction of all the formulas of the input, since extensionality also holds for the AGM revision.
 4.
We will drop the phrase “with respect to K” if this does not affect the understanding, and write \({\mathbb {X}}^{\varphi } \) and \({\mathbb {X}}^{\varphi }_{<}\) instead of \({\mathbb {X}}^{\{{\mathfrak {B}} \varphi \}} \) and \({\mathbb {X}}^{\{{\mathfrak {B}} \varphi \}}_{<}\) for simplicity.
 5.
Provided that \(({\mathbb {X}},\leqq )\) is a relational model, \(\mathbb {X} \) is equivalent to the domain of \(\leqq \) since \(K \in \mathbb {X}\) and \(K \leqq X\) for all \(X \in \mathbb {X}\). So \(\leqq \) in itself can represent the \(({\mathbb {X}},\leqq )\) faithfully.
 6.
This postulate is first discussed in Alchourrón and Makinson (1982) in the context of maxichoice revision.
 7.
It is easy to check that \(*\)extensionality is derivable from \((*1)\), \((*2)\), \((*3)\) and (\(*5\)).
 8.
 9.
To see this, let \(p_1\), \(p_2\) and \(p_3\) be pairwise distinct atomic propositions and let \(K = \mathrm {Cn}(\{ {{\scriptstyle \top }}\})\) and revision operation \(*\) on K defined as: (i) if \(p_0 \wedge p_1 \Vdash \varphi \) and \(\varphi \Vdash p_0\), then \(K *\varphi = \mathrm {Cn}(\{ {p_0 \wedge p_1}\})\); (ii) if \(p_1 \wedge p_2 \Vdash \varphi \) and \(\varphi \Vdash p_1\), then \(K *\varphi = \mathrm {Cn}(\{ {p_1 \wedge p_2}\})\); (iii) if \(p_0 \wedge p_2 \Vdash \varphi \) and \(\varphi \Vdash p_2\), then \(K *\varphi = \mathrm {Cn}(\{ {p_0 \wedge p_2}\})\); (iv) otherwise, \(K *\varphi = \mathrm {Cn}(\{ {\varphi }\})\). It is easy to check that \(*\) satisfies \((*1)\) through \((*5)\) but not \(*\)strong reciprocity. Note that \(*\) defined in such way cannot be derived from any relational descriptor revision \(\circ \) in the way of \(K *\varphi = K \circ {\mathfrak {B}} \varphi \), since \(\leqq \) is linear in every relational model \(({\mathbb {X}},\leqq )\) (see Theorem 2 in Hansson 2013), which cannot model the circle consisting of \(K *p_1\), \(K *p_2\) and \(K *p_3\).
 10.
 11.
It is easy to see that \(\preceq \)coupling implies \(\preceq \)weak coupling, provided that \(\preceq \)transitivity and \(\preceq \)counter dominance hold.
 12.
In what follows, it is always assumed that all sets A and B and C mentioned in postulates on multibelievability relations are finite sets.
 13.
See Zhang (2017).
 14.
Note that if we try to reproduce this proof in the sentential revision case, it is impossible to find a counterpart of the set \(A = \bigcup _{0 \le i \le k+1} A_{i}\) there. In particular, neither \(\varphi _0 \wedge \cdots \wedge \varphi _n\) nor \(\varphi _0 \vee \cdots \vee \varphi _n\) is workable.
 15.
See Jech (2008).
Notes
Acknowledgements
The author would like to thank the two anonymous reviewers for valuable comments. Funding was provided by China Scholarship Council.
References
 Alchourrón, C. E., & Makinson, D. (1982). On the logic of theory change: Contraction functions and their associated revision functions. Theoria, 48(1), 14–37.CrossRefGoogle Scholar
 Alchourrón, C. E., & Makinson, D. (1985). On the logic of theory change: Safe contraction. Studia Logica, 44(4), 405–422.CrossRefGoogle Scholar
 Alchourrn, C. E., Gärdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic, 50(2), 510–530.CrossRefGoogle Scholar
 Falappa, M. A., KernIsberner, G., Reis, M. D. L., & Simari, G. R. (2012). Prioritized and nonprioritized multiple change on belief bases. Journal of Philosophical Logic, 41(1), 77–113.CrossRefGoogle Scholar
 Fermé, E. L., & Hansson, S. O. (1999). Selective revision. Studia Logica, 63(3), 331–342.CrossRefGoogle Scholar
 Fermé, E. L., & Hansson, S. O. (2011). AGM 25 years. Journal of Philosophical Logic, 40(2), 295–331.CrossRefGoogle Scholar
 Fuhrmann, A. (1988). Relevant logics, modal logics and theory change. Ph.D. thesis, Australian National University.Google Scholar
 Gärdenfors, P. (1988). Knowledge in flux: Modeling the dynamics of epistemic states. Cambridge, MA: The MIT Press.Google Scholar
 Gärdenfors, P., & Makinson, D. (1988). Revisions of knowledge systems using epistemic entrenchment. In Proceedings of the 2nd conference on theoretical aspects of reasoning about knowledge, TARK ’88 (pp. 83–95). San Francisco, CA: Morgan Kaufmann Publishers Inc.Google Scholar
 Grove, A. (1988). Two modellings for theory change. Journal of Philosophical Logic, 17(2), 157–170.CrossRefGoogle Scholar
 Hansson, S. O. (1994). Kernel contraction. Journal of Symbolic Logic, 59(3), 845–859.CrossRefGoogle Scholar
 Hansson, S. O. (2013). Descriptor revision. Studia Logica, 102(5), 955–980.CrossRefGoogle Scholar
 Hansson, S. O. (2014). Relations of epistemic proximity for belief change. Artificial Intelligence, 217, 76–91.CrossRefGoogle Scholar
 Hansson, S. O. (2017). Descriptor revision, Vol. 46 of Trends in Logic. Cham: Springer International Publishing.Google Scholar
 Harpen, W. L. (1976). Rational conceptual change. In PSA: Proceedings of the biennial meeting of philosophy of science association, volume two: Symposia and invited papers (pp. 462–494). The Univsersity of Chicago Press.Google Scholar
 Jech, T. J. (2008). The axiom of choice. NY: Dover Publications.Google Scholar
 Kraus, S., Lehmann, D., & Magidor, M. (1990). Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44(12), 167–207.CrossRefGoogle Scholar
 Levi, I. (1977). Subjunctives, dispositions and chances. Synthese, 34(4), 423–455.CrossRefGoogle Scholar
 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, no. 465 in Lecture Notes in Computer Science (pp. 183–205). Berlin: Springer.Google Scholar
 Zhang, L. (2017). Believability relations for selectdirect sentential revision. Studia Logica, 105(1), 37–63.CrossRefGoogle Scholar
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.