Next Article in Journal
On Signifiable Computability: Part II: An Axiomatization of Signifiable Computation and Debugger Theorems
Next Article in Special Issue
A Multi-Scale Interpretability-Based PET-CT Tumor Segmentation Method
Previous Article in Journal
Flexible Job Shop Dynamic Scheduling and Fault Maintenance Personnel Cooperative Scheduling Optimization Based on the ACODDQN Algorithm
Previous Article in Special Issue
Towards Human-Interactive Controllable Video Captioning with Efficient Modeling
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Darwiche and Pearl’s Iterated Belief Revision: Not Always Spohn-Expressible

by
Theofanis Aravanis
Department of Mechanical Engineering, University of the Peloponnese, 263 34 Patras, Greece
Mathematics 2025, 13(6), 933; https://doi.org/10.3390/math13060933
Submission received: 7 February 2025 / Revised: 3 March 2025 / Accepted: 10 March 2025 / Published: 11 March 2025

Abstract

:
The problem of iterated belief revision, which concerns how rational agents modify their beliefs in response to new information over time, lies at the core of understanding rational belief change. This article examines the interplay between the following two prominent frameworks for iterated belief revision: the qualitative Darwiche and Pearl’s approach (abbrev. DP approach) and the quantitative Spohn conditionalization. In particular, we prove that the DP approach is too liberal (under-constrained) to capture Spohn’s conditionalization (confined to revision scenarios); hence, the former cannot be regarded as a precise qualitative counterpart of the latter. Against this background, we provide insights into the essential semantic constraints on total preorders over the possible worlds needed to strengthen the DP approach and achieve alignment with Spohn’s method.

1. Introduction

The seminal work of Alchourrón, Gärdenfors, and Makinson [1], gave rise to a versatile and widely-accepted formal framework, the so-called AGM paradigm, which studies the dynamics of knowledge, a cornerstone subject of Artificial Intelligence. Within the AGM paradigm [1], the belief corpus of an agent is modelled as a logical theory K of an underlying logic language, also referred to as a belief set; the epistemic input (i.e., new information) is represented as a logical sentence φ of the language; and the revision of K by φ is encoded into a revision function * that maps K and φ to a (revised) belief set K φ . A set of eight postulates, known as the AGM postulates for revision, circumscribes the territory of all rational revision functions, named AGM revision functions.
It has been concretely shown that iterated revision is not properly addressed by the AGM paradigm; see [2,3,4]. One of the first proposals dealing with this important issue is Spohn’s conditionalization, a natural shifting process that operates on quantitative structures that represent preference information, the so-called ordinal conditional functions (OCFs) [5]. (As a matter of fact, Spohn’s conditionalization was proposed by Spohn as a general belief-change method, which implements both revision and contraction. It proves to be the case, however, that it inherently solves the iterated-revision problem.) Inspired by Spohn’s work, which slightly deviates from the spirit of the AGM paradigm, Darwiche and Pearl introduced four new postulates, called the DP postulates, that supplement the AGM postulates for revision in regulating successive revisions [6]; in a sense, the DP postulates are “trying to imitate” the transitions dictated by Spohn’s conditionalization. The well-accepted framework developed by Darwiche and Pearl is typically referred to as the DP approach. For a survey on the iterated-revision problem, the interested reader is referred to [7], in which, beyond a concrete demonstration of this issue, a number of other notable proposals addressing it are reported.
It turned out that not all the DP postulates, as originally introduced in [6], were consistent with the AGM postulates for revision [8]. The inconsistency was resolved in a subsequent work by Darwiche and Pearl [2], in which revision functions do not operate on belief sets (as it was the case in [6]), but on some richer structures, called belief states (also referred to as epistemic states). It is noteworthy that Darwiche and Pearl claim that the shift from belief sets to belief states is not necessitated by technical reasons alone, as conceptual considerations also point to the same direction. Although several properties of belief states were identified by Darwiche and Pearl in [2] (such as that each belief state is associated with a belief set), no explicit definition of this concept was provided. Nevertheless, the nature of belief states has been the focus of recent studies [9,10,11,12], which delve into the suitability of structures such as total preorders over possible worlds and OCFs for effectively representing belief states. In order to reflect the switch from belief sets to belief states, Darwiche and Pearl modified the AGM postulates for revision accordingly; we shall refer to the revision functions satisfying these modified postulates as modified AGM revision functions and to the modified AGM revision functions that satisfy the DP postulates as DP revision functions.
The aim of this article is a detailed investigation of the relationship between the qualitative DP approach and the quantitative Spohn conditionalization. In particular, the following contributions are made:
  • First, we define a special type of modified AGM revision functions, which we call Spohn-expressible revision functions, that are perfectly aligned with the shifting process of Spohn’s conditionalization, confined to revision scenarios.
  • We prove that there are DP revision functions that are not Spohn-expressible, meaning that they cannot be encoded/emulated through Spohn’s conditionalization. Hence, we show that the DP approach is too liberal (under-constrained) to capture the latter mechanism, and therefore, the DP approach is not a precise qualitative counterpart of Spohn’s proposal.
  • Against this background, we introduce two new semantic postulates that every Spohn-expressible revision function respects, constituting the necessary conditions for Spohn expressibility. The proposed postulates impose constraints on the total preorders over possible worlds, and in doing so, strengthen the DP approach.
The interplay between aspects of the DP approach and Spohn’s proposal has not been left unattended in the literature, most notably in recent works [13,14,15]. In [13], Haldimann and Kern-Isberner examine a collection of mappings between OCFs and total preorders over possible worlds, proposing postulates to preserve key properties such as syntax splitting, and enabling a seamless method transfer between these frameworks. Kern-Isberner et al. in [14] generalize the kinematics principle—a well-known and powerful principle which ensures that changing the probabilities of facts does not unnecessarily change conditional probabilities—a qualitative iterated revision, when belief states are represented by total preorders over possible worlds. To study the kinematics principle, the authors defined a conditionalization for the total preorders which inherit essential features from the conditionalization of OCFs. Lastly, Kern-Isberner et al. in [15] shed light on the significance of empty layers in OCFs, proposing concepts like revision equivalence, which postulate the equivalence of OCFs after (most general) revision operations.
The rest of this article is structured as follows: The next section introduces the basic terminology and notation that we shall use throughout our exposition, followed by a brief overview of the AGM paradigm (Section 3). Section 4 and Section 5 introduce Spohn’s conditionalization and the DP approach, respectively. Section 6 is devoted to the definition of Spohn-expressible revision functions, whereas, Section 7 studies the connection between Spohn-expressible and DP revision functions. Thereafter, Section 8 provides the necessary conditions for Spohn expressibility. The article closes with a brief conclusion, reporting interesting avenues for future research.

2. Formal Preliminaries

This section is devoted to the introduction of the required formal background of the study.
  • Language. We shall work with a propositional language L , built over a finite, non-empty set P of atoms (propositional variables), using the standard Boolean connectives ∧ (conjunction), ∨ (disjunction), → (implication), ↔ (equivalence), ¬ (negation), and governed by classical propositional logic. The classical consequence relation is denoted by ⊧.
  • Belief Sets. For a set of sentences Γ of L , C n ( Γ ) denotes the set of all logical consequences of Γ , i.e., C n ( Γ ) = φ L : Γ φ . An agent’s set of beliefs will be modelled by a theory, also referred to as a belief set. A theory K of L is a deductively closed set of sentences of L , meaning that K = C n ( K ) . For a theory K and a sentence φ of L , K + φ denotes the expansion of K by φ , which is defined as K + φ = C n K { φ } .
  • Possible Worlds. A literal is an atom p P or its negation ¬ p . A possible world (abbrev. world) r is a consistent set of literals, such that, for each atom p P , either p r or ¬ p r . The set of all possible worlds is denoted by M . For a sentence or set of sentences φ of L , [ φ ] is the set of worlds at which φ is true. For a set of worlds V M , we denote by t h ( V ) the set of sentences (theory) satisfied by all worlds in V. If V = , then, vacuously, t h ( V ) = L .
  • Binary Relations. A partial preorder (abbrev. preorder) over a set V is any reflexive, transitive binary relation on V. A preorder ⪯ over V is called total iff any two elements of V are ⪯-comparable; i.e., for all r , r V , r r , or r r . The strict part of ⪯ is denoted by ≺, i.e., r r iff r r and r r . The indifference part of ⪯ is denoted by ≈, i.e., r r iff r r and r r . Furthermore, min ( V , ) denotes the set of all ⪯-minimal elements in V; that is, min ( V , ) = { r V : for all r V , r r entails r r } . Whenever the set V contains (natural) numbers, we shall simply write min ( V ) to denote the minimum number in V. Lastly, for a binary relation R, t r ( R ) denotes the transitive closure of R.

3. The AGM Paradigm

Within the AGM paradigm [1], a revision function * is modelled as a binary function that maps a theory K and a sentence φ L to a revised theory K φ . The AGM postulates for revision, presented subsequently, circumscribe the territory of all rational revision functions, the so-called AGM revision functions.
( K 1 ) K φ is a belief set.
( K 2 ) φ K φ .
( K 3 ) K φ K + φ .
( K 4 ) If ¬ φ K , then K + φ K φ .
( K 5 ) If φ is consistent, then K φ is also consistent.
( K 6 ) If C n { φ } = C n { ψ } , then K φ = K ψ .
( K 7 ) K ( φ ψ ) ( K φ ) + ψ .
( K 8 ) If ¬ ψ K φ , then ( K φ ) + ψ K ( φ ψ ) .
A detailed discussion on the AGM postulates for revision ( K 1 ) ( K 8 ) can be found in [16,17]. Herein, we only state that, in the limiting case where the new information φ does not contradict the initial belief set K (i.e., ¬ φ K ), the conjunction of postulates ( K 3 ) and ( K 4 ) entails that revision reduces to expansion, and therefore, K φ = K + φ . To avoid a cumbersome presentation, we shall focus our subsequent analysis on the principal case of revision of consistent belief sets by consistent epistemic input φ , which contradicts the initial belief set K (i.e., ¬ φ K ).
As demonstrated by Katsuno and Mendelzon [18], any AGM revision function can be semantically constructed through a special kind of total preorders over all possible worlds, called faithful preorders.
Definition 1 
(Faithful Assignment Over Belief Sets [18]). A function that maps each belief set K to a total preorder K over the possible worlds of M is a faithful assignment over belief sets iff [ K ] entails [ K ] = m i n ( M , K ) .
The total preorder K of Definition 1 is typically referred to as a preorder faithful to K. Intuitively, the assertion r K r states that the world r is at least as plausible as the world r relative to K.
The following theorem characterizes the class of revision functions induced from faithful assignments over belief sets.
Theorem 1 
([18]). A revision function * satisfies postulates ( K 1 ) ( K 8 ) iff there exists a faithful assignment over belief sets that maps each belief set K to a total preorder K over M , such that, for any φ L , the following holds:
( F ) K φ = t h ( m i n ( [ φ ] , K ) ) .
The AGM paradigm is undoubtedly a prominent framework for implementing rational belief change. Nevertheless, convincing examples have illustrated that the AGM postulates for revision are liberal in their treatment of successive revisions, as they allow unreasonable revision behaviours [2,3,4]. The next two sections discuss two well-accepted methods addressing this significant issue, namely, the quantitative Spohn conditionalization (Section 4) and the qualitative DP approach (Section 5).

4. Spohn’s Conditionalization

Spohn argues that the iterated-revision problem “[i]s not just some important problem; it is vital to belief revision theory” ([3], p. 2). His proposal addressing this issue is a natural shifting process that operates on quantitative structures that represent preference information, the so-called ordinal conditional functions (OCFs) [5].
Definition 2 
(OCF [5]). An OCF κ is a function from the set M of possible worlds to the class of ordinals, such that at least one world is assigned the ordinal 0.
Like in [19], for mathematical simplicity, we take the range of an OCF κ to be the non-negative integers. For a world r, we call κ ( r ) the rank of r. Intuitively, κ assigns a plausibility grading to worlds; the larger the κ ( r ) is for some world r, the less plausible r is. This plausibility grading can easily be extended to sentences of L by requiring that the rank of a sentence be the smallest rank assigned to a world that satisfies the sentence.
Definition 3 
(Rank of a Sentence [5]). For a consistent sentence φ L , κ ( φ ) is the κ-rank of the most plausible φ-world, i.e., κ ( φ ) = m i n κ ( r ) : r [ φ ] .
The most plausible worlds (i.e., those whose κ -rank is zero) define the belief set with which κ is associated. In particular, this can be expressed as follows:
Definition 4 
(Belief Set of an OCF [5]). The belief set associated with an OCF κ is denoted by B ( κ ) and is defined as B ( κ ) = t h r M : κ ( r ) = 0 .
Given an OCF κ , a sentence φ of L , and a non-negative integer d expressing the degree of firmness by which an agent accepts φ , the φ , d -conditionalization of κ produces a new OCF, which is denoted by κ φ , d and is defined as follows:
κ φ , d ( r ) = κ ( r ) κ ( φ ) if r [ φ ] κ ( r ) κ ( ¬ φ ) + d if r [ ¬ φ ]
From the above definition, a number of major differences between Spohn’s conditionalization and the revision policies dictated by the AGM paradigm is evident. First, Spohn’s construction quantitatively defines both revision (when d > 0 ) and contraction (when d = 0 ) operators; on the contrary, the AGM postulates that for revision there are purely qualitative constraints for revision operators. Second, Spohn’s approach demands enriched epistemic input, namely, a logical formula accompanied by its degree of firmness, whereas, an AGM revision function works with a mere logical formula. Despite those important distinctions, Spohn’s conditionalization, confined to revision scenarios, is compliant with the AGM postulates for revision, in the sense that, for any degree of firmness d > 0 , the revision function * defined as B ( κ ) φ = t h r M : κ φ , d ( r ) = 0 satisfies postulates ( K 1 ) ( K 8 ) , as outlined in [5,16].
The next concrete example illustrates the shifting process of Spohn’s conditionalization.
Example 1 
(Spohn’s Conditionalization). Suppose that L is built from only four atoms, let M = { w 1 , w 2 , , w 8 } be the set of the eight possible worlds, and let φ be a sentence of L such that [ φ ] = { w 5 , w 6 , w 7 , w 8 } . Moreover, let κ be the OCF depicted in Figure 1; clearly, B ( κ ) = t h { w 1 , w 2 } . Assuming a degree of firmness d = 10 for φ, the φ , d -conditionalization of κ produces the OCF κ φ , d of Figure 1. For producing κ φ , d from κ, all φ-worlds are uniformly shifted “downwards” against all ¬ φ -worlds, until the most κ-plausible of them hit the bottom of the rank. On the other hand, all ¬ φ -worlds are uniformly shifted “upwards”, until the most κ-plausible of them are at a distance d from the bottom.
Recall that we have restricted our study to the interesting case of revision by epistemic input φ that contradicts the initial state of belief. In the context of revising OCFs, this sets the assumption that κ ( φ ) > 0 , κ ( ¬ φ ) = 0 and d > 0 ; hence, in that case, the agent initially believes ¬ φ and, after revision, the agent ends up believing φ with a degree of firmness κ φ , d ( ¬ φ ) = d (see Example 1).

5. Darwiche and Pearl’s Approach

Darwiche and Pearl, drawing inspiration from Spohn’s quantitative construction, developed a qualitative framework aligned with the AGM paradigm, the so-called DP approach, which is perhaps one of the most influential models addressing the iterated-revision problem [2,6]. In the core of the DP approach lies a set of four postulates, typically referred to as the DP postulates, regulating successive revisions.

5.1. Modified AGM Postulates for Revision

Darwiche and Pearl originally proposed their approach for iterated belief revision in [6]. Nevertheless, partially in response to a problem identified by Lehmann [8]—who showed that the second DP postulate, as originally stated, was inconsistent with the AGM postulates for revision—the DP approach was later modified in [2]. In the modified version, Darwiche and Pearl defined revision functions to operate on belief states (also referred to as epistemic states), rather than on belief sets. Accordingly, for the modified revision functions of the DP approach that operate on belief states, we shall use the symbol ∘ to differentiate them from the revision function * of the original AGM paradigm. Hence, a modified revision function ∘ is a binary function that maps a belief state S and a sentence φ L to a revised belief state S φ .
While Darwiche and Pearl did not provide an explicit definition of belief states, their exposition made clear that to each belief state S corresponds a total preorder over all possible worlds. From this total preorder over possible worlds, one can in turn determine the (unique) belief set that is associated with S, denoted by B ( S ) .
In order to reflect the shift from belief sets to belief states, Darwiche and Pearl recast the AGM postulates for revision ( K 1 ) ( K 8 ) into the following set of postulates ( S 1 ) ( S 8 ) , which, except from postulate ( S 1 ) , constrain only the belief sets of the involved belief states.
( S 1 ) S φ is a belief state.
( S 2 ) φ B ( S φ ) .
( S 3 ) B ( S φ ) B ( S ) + φ .
( S 4 ) If ¬ φ B ( S ) , then B ( S ) + φ B ( S φ ) .
( S 5 ) If φ is consistent, then B ( S φ ) is also consistent.
( S 6 ) If C n { φ } = C n { ψ } , then B ( S φ ) = B ( S ψ ) .
( S 7 ) B S ( φ ψ ) B ( S φ ) + ψ .
( S 8 ) If ¬ ψ B ( S φ ) , then B ( S φ ) + ψ B S ( φ ψ ) .
Postulates ( S 1 ) ( S 8 ) , as well as the DP postulates that will follow, have been rephrased in the AGM notation. Note that the original version of ( S 6 ) is slightly different from the one presented herein—see postulate (R*4) of [2]. In this article, we adopt the approach of Jin and Thielscher [4], and reformulate the original version of ( S 6 ) so that it faithfully reflects the intuition of postulate ( K 6 ) of the AGM paradigm. We shall call a modified revision function ∘modified AGM revision function iff it satisfies the modified AGM postulates for revision ( S 1 ) ( S 8 ) . Analogously to Definition 1 of Section 3, Darwiche and Pearl proceed to the following definition.
Definition 5 
(Faithful Assignment over Belief States [2]). A function that maps each belief state S to a total preorder S over the possible worlds of M is a faithful assignment over belief states iff [ B ( S ) ] entails [ B ( S ) ] = m i n ( M , S ) .
As stated, the belief set B ( S ) associated with a belief state S can be extracted from the total preorder S assigned at S. This is implied by Definition 5, according to which B ( S ) is the theory corresponding to the S -minimal worlds, i.e., B ( S ) = t h m i n ( M , S ) . Evidently, a belief state is a richer structure than a belief set, as two different belief states may be associated with the same belief set. This feature of belief states is crucial for resolving the original inconsistency of the DP approach with the AGM postulates for revision, identified by Lehmann [8].
Analogously to Theorem 1 of Section 3, the following theorem characterizes the class of modified revision functions induced from faithful assignments over belief states.
Theorem 2 
([2]). A modified revision function ∘ satisfies postulates ( S 1 ) ( S 8 ) iff there exists a faithful assignment over belief states that maps each belief state S to a total preorder S over M , such that, for any φ L , the following holds:
( F ) B ( S φ ) = t h m i n ( [ φ ] , S ) .
The next remark is derived directly from Theorem 2.
Remark 1. 
Let ∘ be a modified AGM revision function, and let φ be an arbitrary sentence of L . Given two distinct belief states S and S such that B ( S ) = B ( S ) , it may be the case that S φ S φ . That is to say, a modified AGM revision function may φ-revise differently two distinct belief states that are associated with the same belief set.

5.2. DP Postulates

To regulate successive revisions, Darwiche and Pearl introduced four additional postulates (DP1)–(DP4), known as the DP postulates and presented below, which supplement postulates ( S 1 ) ( S 8 ) .
(DP1)If φ ψ , then B ( ( S ψ ) φ ) = B ( S φ ) .
(DP2)If φ ¬ ψ , then B ( ( S ψ ) φ ) = B ( S φ ) .
(DP3)If ψ B ( S φ ) , then ψ B ( ( S ψ ) φ ) .
(DP4)If ¬ ψ B ( S φ ) , then ¬ ψ B ( ( S ψ ) φ ) .
The DP postulates—a discussion of which can be found in [2,7]—have a nice semantic characterization in terms of total preorders over possible worlds. In particular, Darwiche and Pearl proved that there is a one-to-one correspondence between (DP1)–(DP4) and the following constraints on possible worlds (R1)–(R4).
(R1)If r , r [ φ ] , then r S r iff r S φ r .
(R2)If r , r [ ¬ φ ] , then r S r iff r S φ r .
(R3)If r [ φ ] and r [ ¬ φ ] , then r S r entails r S φ r .
(R4)If r [ φ ] and r [ ¬ φ ] , then r S r entails r S φ r .
Constraints (R1)–(R4) associate the total preorder S , corresponding to the initial belief state S, with the total preorder S φ , corresponding to the belief state that results from the revision of S by φ . Specifically, when S is revised by φ , conditions (R1) and (R2) require that the comparative plausibility of φ -worlds and ¬ φ -worlds, respectively, is not changed. Conditions (R3) and (R4), on the other hand, require that, if a φ -world r is (strictly) more plausible than a ¬ φ -world r at the initial state of belief, then r continues to be (strictly) more plausible than r at the revised state of belief [4].
We shall call a modified AGM revision function that satisfies postulates (DP1)–(DP4) a DP revision function.

5.3. Independence Postulate

Jin and Thielscher argued that the DP postulates are quite liberal in certain revision scenarios [4,20]. On that basis, they proposed a new postulate, called the Independence postulate (Ind), which blocks the counter-intuitive behaviours allowed by the DP postulates.
(Ind)If ¬ ψ B ( S φ ) , then ψ B ( ( S ψ ) φ ) .
Interestingly, postulate (Ind) was studied independently in [21,22] as well. The semantic counterpart of postulate (Ind) in terms of total preorders over possible worlds is the following condition (IndR).
(IndR)If r [ φ ] and r [ ¬ φ ] , then r S r entails r S φ r .
Jin and Thielscher proved that the Independence postulate is consistent with the conjunction of postulates ( S 1 ) ( S 8 ) and (DP1)–(DP4), as well as that it is strictly stronger than both (DP3) and (DP4). They also claimed that any rational modified AGM revision function ought to respect postulates (DP1), (DP2), and (Ind) [4,20].

6. Spohn-Expressible Revision Functions

For studying the relationship between the qualitative DP approach and the quantitative Spohn construction, we first proceed with the definition of a special type of modified AGM revision functions that are perfectly aligned with the shifting process of Spohn’s conditionalization. This is accomplished with the aid of the notion of imitation, defined subsequently.
Definition 6 
(Imitation). Let ∘ be a modified revision function, and let κ be an OCF. We shall say that κ imitates ∘ at a belief state S iff, for all finite sequences of sentences φ 1 , , φ n L , there exist positive integers d 1 , , d n , such that the following holds:
B κ φ 1 , d 1 φ n , d n = B S φ 1 φ n .
Roughly speaking, an OCF κ imitates a modified revision function ∘ at a belief state S whenever the ∘-revision of S by any finite sequence of sentences can be “mimicked” by the revision of κ by the same sequence of sentences, in the sense that the resulting states of belief encompass identical belief content. This ensures that the OCF κ is able to “track” the outcomes of ∘ step by step, leading to convergence between Spohn’s conditionalization and revision under ∘ on the same revised belief set. Observe that, if κ imitates ∘ at S, then B ( κ ) = B ( S ) (simply replace φ 1 , , φ n in Definition 6 with a tautology).
Definition 7 
(Spohn-Expressible Revision Function). Let ∘ be a modified revision function. We shall say that ∘ is Spohn-expressible iff, for every belief state S, there exists an OCF that imitates ∘ at S. Otherwise, we shall say that ∘ is Spohn-inexpressible.
Essentially, Spohn-expressible revision functions can be considered as a qualitative analogue of Spohn’s conditionalization. As it is shown in the next section, the class of Spohn-expressible revision functions is a proper subclass of the class of DP revision functions that also respect postulate (Ind), as there exist DP revision functions satisfying (Ind) that are Spohn-inexpressible.
We close this section with Remark 2 that points out an important observation related to the Spohn expressibility of revision functions, when multiple belief states are associated with a single total preorder over worlds.
Remark 2. 
Suppose that multiple belief states are associated with each total preorder over the possible worlds. Even if an OCF κ imitates a modified AGM revision function ∘ at one particular belief state S, it may not imitate ∘ at another distinct belief state S , even if S and S are both associated with the same total preorder over worlds. This is due to the fact that ∘ may revise differently the distinct belief states S and S , for the same epistemic input (compare with Remark 1 of Section 5).

7. Spohn-Expressible Revision Functions and DP Revision Functions

In this section, we take a closer look at the relation between Spohn-expressible and DP revision functions. To that end, we first prove, in Theorem 3 below, that all Spohn-expressible revision functions are DP revision functions that respect postulate (Ind).
Theorem 3. 
If a modified revision function ∘ is Spohn-expressible, then ∘ is a DP revision function that satisfies postulate (Ind).
Proof. 
Assume that a modified revision function ∘ is Spohn-expressible, and let S be an arbitrary belief state. Hence, there exists an OCF κ that imitates ∘ at S. Let φ be any sentence of L . Firstly, observe that, for any d > 0 , it is true that B ( κ φ , d ) = t h ( r [ φ ] : κ ( r ) = κ ( φ ) ) . It follows, then, that there is a total preorder S over M , defined, for any r , r M , as r S r iff κ ( r ) κ ( r ) , which is faithful to S (since B ( κ ) = B ( S ) ), and for some d > 0 , B ( S φ ) = B κ φ , d = t h ( r [ φ ] : κ ( r ) = κ ( φ ) ) = t h ( m i n ( [ φ ] , S ) ) . Therefore, we derive from Theorem 2 that ∘ satisfies postulates ( S 1 ) ( S 8 ) ; thus, ∘ is a modified AGM revision function.
With an analogous line of reasoning, we can show that, for the total preorder S φ corresponding to ∘ via (F∘), there exists a positive integer d such that, for any r , r M , r S φ r iff κ φ , d ( r ) κ φ , d ( r ) . On the other hand, from the process of Spohn’s conditionalization (under our assumption that κ ( φ ) > 0 , κ ( ¬ φ ) = 0 and d > 0 ), we derive the following:
(i) 
If r , r [ φ ] , then κ ( r ) κ ( r ) iff κ φ , d ( r ) κ φ , d ( r ) .
(ii) 
If r , r [ ¬ φ ] , then κ ( r ) κ ( r ) iff κ φ , d ( r ) κ φ , d ( r ) .
(iii) 
If r [ φ ] and r [ ¬ φ ] , then κ ( r ) κ ( r ) entails κ φ , d ( r ) < κ φ , d ( r ) .
Then, conditions (i), (ii), and (iii) imply that S and S φ respect conditions (R1), (R2), and (IndR), respectively. This again entails that ∘ satisfies (DP1), (DP2), and (Ind), respectively. Since (Ind) implies both (DP3) and (DP4), we derive that ∘ is a DP revision function that satisfies (Ind), as desired. □
The inverse of Theorem 3 does not generally hold. That is to say, there exist DP revision functions that respect postulate (Ind) which are Spohn-inexpressible, and thus, they cannot be encoded/emulated by means of Spohn’s conditionalization. Theorem 4 proves the alluded result and essentially shows that the DP postulates are not a precise qualitative analogue of Spohn’s conditionalization, as expressed in its qualitative form through Spohn-expressible revision functions. Theorem 4 also proves that the Independence postulate (Ind) does not sufficiently constrain the class of DP revision functions so that it coincides with the class of Spohn-expressible revision functions.
Theorem 4. 
There exists a Spohn-inexpressible DP revision function ∘ that satisfies postulate (Ind).
Proof. 
We shall construct a revision scenario that exploits the ability of DP revision functions satisfying postulate (Ind) to permit “non-uniform” shifts in the plausibility of possible worlds—a behaviour not allowed by Spohn’s conditionalization.
In the context of this proof, we shall occasionally treat a set of literals as a sentence, i.e., the conjunction of all its literals, leaving it to the context to resolve any ambiguity; thus for example, in the expression “ ¬ ( w 1 w 2 ) ”, w 1 and w 2 are sentences of L , whereas, in “ w 1 S w 2 ”, w 1 and w 2 are worlds of M .
Assume that the set of atoms P contains at least three atoms, and let K be any theory such that [ K ] = { w 1 } . Given that P contains at least three atoms, beyond w 1 , there exist at least four other distinct worlds in M ; call these w 2 , w 3 , w 4 , w 5 . Let S be a belief state such that B ( S ) = K , and let ∘ be a DP revision function that satisfies postulate (Ind), which assigns at S (via (F∘)) the following faithful preorder S over M :
-
w 1 S w 2 S w 3 S w 4 S w 5 .
-
w 5 S z , for all z M { w 1 , w 2 , w 3 , w 4 , w 5 } .
-
z S z , for all z , z M { w 1 , w 2 , w 3 , w 4 , w 5 } .
Suppose that ∘ also assigns at the belief states S ¬ ( w 1 w 2 ) and S ¬ ( w 1 w 3 ) (via (F∘)) the following faithful preorders 1 and 2 , respectively (see Figure 2):
-
w 3 1 w 4 1 w 1 1 w 2 1 w 5 .
-
w 5 1 z , for all z M { w 1 , w 2 , w 3 , w 4 , w 5 } .
-
z 1 z , for all z , z M { w 1 , w 2 , w 3 , w 4 , w 5 } .
and
-
w 2 2 w 1 2 w 4 2 w 5 2 w 3 .
-
w 3 2 z , for all z M { w 1 , w 2 , w 3 , w 4 , w 5 } .
-
z 2 z , for all z , z M { w 1 , w 2 , w 3 , w 4 , w 5 } .
As expected from the fact that ∘ is a DP revision function that satisfies postulate (Ind), the transition from S to 1 , through the ∘-revision of S by ¬ ( w 1 w 2 ) , respects conditions (R1)–(R4) and (IndR). So does the transition from S to 2 , through the ∘-revision of S by ¬ ( w 1 w 3 ) .
Next, we show that ∘ is Spohn-inexpressible. Assume on the contrary that there exists an OCF κ that imitates ∘ at S. Then, for all r , r M , κ ( r ) κ ( r ) iff r S r . To verify this, assume on the contrary that, for some r , r M , κ ( r ) κ ( r ) and r S r . Then, for some d > 0 , r B κ r r , d , whereas, r B S ( r r ) . This of course contradicts our assumption that κ imitates ∘ at S. An analogous argument can be asserted for the case where r S r and κ ( r ) < κ ( r ) .
Moreover, since κ imitates ∘ at S, revision preserves this relationship; that is, there exist d 1 > 0 and d 2 > 0 , such that, for all r , r M , as follows:
κ ¬ ( w 1 w 2 ) , d 1 ( r ) κ ¬ ( w 1 w 2 ) , d 1 ( r ) iff r 1 r
and
κ ¬ ( w 1 w 3 ) , d 2 ( r ) κ ¬ ( w 1 w 3 ) , d 2 ( r ) iff r 2 r .
Let κ 1 = κ ¬ ( w 1 w 2 ) , d 1 and κ 2 = κ ¬ ( w 1 w 3 ) , d 2 . By the process of Spohn’s conditionalization, we have that
κ 1 ( w 5 ) = κ ( w 5 ) κ ( w 3 ) , κ 1 ( w 4 ) = κ ( w 4 ) κ ( w 3 ) , κ 1 ( w 2 ) = κ ( w 2 ) + d 1 , and κ 1 ( w 1 ) = d 1 .
Moreover, from w 4 1 w 1 1 w 2 1 w 5 , we derive that κ 1 ( w 4 ) < κ 1 ( w 1 ) < κ 1 ( w 2 ) < κ 1 ( w 5 ) . Hence, κ 1 ( w 2 ) κ 1 ( w 1 ) < κ 1 ( w 5 ) κ 1 ( w 4 ) , and therefore
κ ( w 2 ) < κ ( w 5 ) κ ( w 4 ) .
Likewise, from Spohn’s conditionalization, we have that
κ 2 ( w 5 ) = κ ( w 5 ) κ ( w 2 ) , κ 2 ( w 4 ) = κ ( w 4 ) κ ( w 2 ) , κ 2 ( w 3 ) = κ ( w 3 ) + d 2 , and κ 2 ( w 1 ) = d 2 .
Moreover, from w 1 2 w 4 2 w 5 2 w 3 , we derive that κ 2 ( w 1 ) < κ 2 ( w 4 ) < κ 2 ( w 5 ) < κ 2 ( w 3 ) . Hence, κ 2 ( w 5 ) κ 2 ( w 4 ) < κ 2 ( w 3 ) κ 2 ( w 1 ) , and therefore
κ ( w 5 ) κ ( w 4 ) < κ ( w 3 ) .
Finally, from w 2 S w 3 , we derive that
κ ( w 2 ) = κ ( w 3 ) .
Combining relations (1), (2), and (3), we conclude that κ ( w 5 ) κ ( w 4 ) < κ ( w 3 ) = κ ( w 2 ) < κ ( w 5 ) κ ( w 4 ) , which is a contradiction. □
As it is evident from the proof of Theorem 4, the reason that Spohn’s conditionalization fails to capture the entire class of modified AGM revision functions defined by the DP approach is, roughly speaking, that the DP postulates allow transitions from an initial belief state to (revised) belief states, such that the φ -worlds and/or the ¬ φ -worlds are shifting “non-uniformly”—even though the relative order of the worlds in [ φ ] and [ ¬ φ ] remains unchanged due to (R1) and (R2), respectively.
The conjunction of Theorems 3 and 4 entails that the class of Spohn-expressible revision functions is a proper subclass of the class of modified AGM revision functions identified by the conjunction of postulates (DP1), (DP2), and (Ind), which are in turn a proper subclass of the class of DP revision functions, as depicted in Figure 3.
The identified differences between DP and Spohn-expressible revision functions are particularly relevant in scenarios where the gradual accumulation of evidence must respect highly uniform shifts in the plausibility of possible worlds. For instance, in diagnostic reasoning (e.g., medical diagnosis or fault detection in engineering), new evidence can dictate uniform “rank adjustments” that, unlike the DP approach, Spohn’s conditionalization strictly enforces. Similarly, in real-time strategic decision-making—such as multi-step planning or iterative negotiation protocols—a Spohn-expressible revision function ensures consistent plausibility modifications in line with OCFs, whereas certain DP revision functions may produce plausibility shifts that are not globally uniform. In any case, recognizing that the DP approach and Spohn’s conditionalization occupy distinct but overlapping regions of iterated revision could inspire new revision operators that permit partially uniform shifts, while retaining some of the DP approach’s flexibility. For example, an operator that employs OCFs to process evidence in a Spohn-like manner, yet allows for non-uniform adjustments under carefully circumscribed conditions, could offer a middle ground.
We conclude this section with a note on the consequences of the established results. In a recent work by the authors (co-authored by Pavlos Peppas and Mary-Anne Williams) of [9,23], it has been shown that each one of the DP postulates is, in a strong sense, incompatible with Parikh’s relevance-sensitive axiom for belief revision [24,25,26]. Parikh’s axiom is a well-studied constraint that addresses the weakness of the AGM postulates for revision in capturing relevant change. On that basis, Theorems 3 and 4 imply the following important corollary.
Corollary 1. 
Spohn-expressible revision functions are incompatible with Parikh’s relevance-sensitive axiom.
Corollary 1 essentially points out that Spohn’s conditionalization, as qualitatively expressed through Spohn-expressible revision functions, does not respect Parikh’s notion of relevance (a result in the spirit of Corollary 1 is Corollary 4 of ([9], p. 1513)).
Corollary 2 is also an implication of Theorems 3 and 4.
Corollary 2. 
The counter-examples illustrating that the DP postulates produce unintuitive results apply to Spohn’s method for belief change as well—see [27], pp. 205–206, for counter-examples on (DP1); [28], p. 352, and [27], pp. 206–208, for counter-examples on (DP2); and [29], pp. 437–438, for counter-examples on (DP3) and (DP4).

8. Strengthening the DP Approach: New Necessary Conditions for Spohn Expressibility

Having established that the DP approach is overly liberal to serve as a qualitative analogue of Spohn’s conditionalization, this section introduces two new semantic postulates on total preorders over possible worlds, which strengthen the DP approach, and constitute necessary conditions for Spohn expressibility.

8.1. Initial Considerations

In this subsection, we introduce the formal concepts required for the alluded semantic postulates.
Definition 8 
(Biased Worlds towards Sequence of Sentences). Let r , r be two worlds of M , and let φ 1 , , φ n be a finite sequence of sentences of L . We shall say that r , r are biased towards φ 1 , , φ n , which we denote by { r , r } φ 1 , , φ n , iff, for all i { 1 , , n } , either r , r [ φ i ] or r , r [ ¬ φ i ] .
Clearly, each sentence φ i of the sequence φ 1 , , φ n “splits” the set of all possible worlds M into two (disjoint) parts; namely, [ φ i ] and [ ¬ φ i ] . Hence, two worlds are biased towards φ 1 , , φ n iff, for each φ i , they both belong to only one of these parts (either [ φ i ] or [ ¬ φ i ] ). In what follows, notation { z , z } , { r , r } φ 1 , , φ n shall be an abbreviation of { z , z } φ i and { r , r } φ i , for every φ i of the sequence φ 1 , , φ n .
Thereafter, let W be the (finite) set of all pair sets of possible worlds of M ; namely, W = { r , r } : for all r , r M . Since r = r is permitted in the specification of W , the set W also contains singleton sets.
On that premises, Definitions 9–11 introduce a collection of binary relations over the set W , which essentially encode forms of a qualitative distance between possible worlds, relative to a belief state S. We start by defining an indifference–distance relation.
Definition 9 
(Indifference Distance between Worlds, S ). Let ∘ be a modified AGM revision function, let S be a belief state, and let S be the total preorder over M that corresponds to ∘, via (F∘). Moreover, let { z , z } , { r , r } be any two elements of W . Define S to be a binary relation over W such that the following holds:
{ z , z } S { r , r } iffthere is a finite sequence of sentences φ 1 , , φ n L ,such that z S φ 1 φ n r , z S φ 1 φ n r , and { z , z } , { r , r } φ 1 , , φ n .
Then, the indifference distance between { z , z } , { r , r } is encoded into the binary relation S = t r ( S ) over W .
Remark 3. 
The binary relation S over W is reflexive, symmetric, and transitive. Hence, S is an equivalence relation over W .
Building on the indifference–distance relation, we proceed to a more general form of the distance.
Definition 10 
(Distance between Worlds, S ). Let ∘ be a modified AGM revision function, let S be a belief state, and let S be the total preorder over M that corresponds to ∘, via (F∘). Moreover, let S be the relation over W that corresponds to ∘, via Definition 9, and let { z , z } , { r , r } be any two elements of W . Define S to be a binary relation over W such that the following holds:
{ z , z } S { r , r } iffthere is a finite sequence of sentences φ 1 , , φ n L , such that r S φ 1 φ n z S φ 1 φ n r , r S φ 1 φ n z S φ 1 φ n r , and { z , z } , { r , r } φ 1 , , φ n .
Then, the distance between { z , z } , { r , r } is encoded into the binary relation S = t r S S over W .
Remark 4. 
The binary relation S over W is reflexive and transitive. Hence, S is a partial preorder over W .
Finally, we formalize the strict version of the relation S .
Definition 11 
(Strict Distance between Worlds, S ). Let ∘ be a modified AGM revision function, let S be a belief state, and let S be the total preorder over M that corresponds to ∘, via (F∘). Moreover, let S and S be the relations over W that correspond to ∘, via Definitions 9 and 10, respectively. The strict distance between any two elements { z , z } , { r , r } of W is encoded into a binary relation S over W , such that { z , z } S { r , r } iff { z , z } S { r , r } and { z , z } ¬ S { r , r } .
Remark 5. 
In Definitions 9 and 10, the involved sentences φ 1 , , φ n may be tautological as well. This implies that the relations S , S , and S are also determined by the total preorder S over M , i.e., by the comparative plausibility of the possible worlds at the belief state S.
Remark 6. 
The binary relation S over W is transitive, but not necessarily reflexive or irreflexive.
As stated, each one of the relations S , S , and S can be intuitively interpreted as an encoding of a qualitative distance between worlds, relative to a belief state S. In this sense, we can interpret the relations as follows. For two elements { z , z } , { r , r } of W , the following holds:
  • { z , z } S { r , r } holds whenever the qualitative distance between z , z is equal to the qualitative distance between r , r at S.
  • { z , z } S { r , r } holds whenever the qualitative distance between z , z is strictly shorter than the qualitative distance between r , r at S.
  • { z , z } S { r , r } holds whenever the qualitative distance between z , z is shorter than or equal to the qualitative distance between r , r at S.

8.2. Distance-Based Constraints on Total Preorders over Possible Worlds

Let ∘ be a modified AGM revision function. Moreover, let S be a belief state, and let S , S and S be the relations over W that correspond to ∘, via Definitions 9–11, respectively. While, as previously stated, the aforementioned binary relations over W can be interpreted as encoding a qualitative distance between worlds, they do not inherently guarantee the necessary coherence. For instance, the revision process through ∘ may result in two elements { z , z } , { r , r } of W simultaneously satisfying { z , z } S { r , r } and { z , z } S { r , r } , or even { z , z } S { r , r } and { r , r } S { z , z } , at the same time. Obviously, such incoherences undermine the intended interpretation of a (qualitative) distance. To avoid such absurd circumstances, we can impose the following two constraints, (SPN1) and (SPN2), on the relations S and S , which ensure a coherent representation of the qualitative distance between worlds.
(SPN1)If { z , z } S { r , r } , then { z , z } ¬ S { r , r } .
(SPN2)If { z , z } S { r , r } , then { r , r } ¬ S { z , z } .
Condition (SPN1) ensures that, if { z , z } S { r , r } holds, then it cannot be the case that { z , z } S { r , r } or { r , r } S { z , z } . In a similar vein, condition (SPN2) guarantees that, if { z , z } S { r , r } holds, then it cannot be the case that { r , r } S { z , z } . Thus, both conditions (SPN1) and (SPN2) impose constraints on the modified AGM revision function ∘, ensuring that the qualitative distance (at S) between worlds biased toward any finite sequence of sentences remains unchanged during the ∘-revision of S. This restriction preserves coherence in the qualitative comparisons of worlds during the revision process.
Remarks 7 and 8 follow immediately from Definitions 9–11.
Remark 7. 
In the presence of condition (SPN2), { z , z } S { r , r } and { r , r } S { z , z } entails { z , z } S { r , r } .
Remark 8. 
Condition (SPN2) makes the binary relation S over W asymmetric—or equivalently irreflexive—given that a transitive binary relation is asymmetric iff it is irreflexive, and S is transitive (irrespectively of (SPN2)). Hence, S is a strict partial order over W . Notably, in the absence of condition (SPN2), S is not necessarily a strict partial order over W , as asymmetry may no longer be guaranteed (see Remark 6).
Remark 9 follows from the proof of Theorem 4 of Section 7.
Remark 9. 
The DP revision function ∘ (satisfying postulate (Ind)) constructed in the proof of Theorem 4 violates both conditions (SPN1) and (SPN2).
Proof. 
It is deduced from (Figure 2 of) the proof of Theorem 4 that { w 1 , w 2 } S { w 1 , w 3 } , { w 1 , w 2 } S { w 4 , w 5 } , and { w 4 , w 5 } S { w 1 , w 3 } . From { w 1 , w 2 } S { w 1 , w 3 } and { w 1 , w 2 } S { w 4 , w 5 } , we derive that { w 1 , w 3 } S { w 4 , w 5 } . However, this is a contradiction in the presence of the semantic conditions (SPN1) and (SPN2). □
Interestingly, the semantic constraints (R2) and (SPN2) ensure that the Independence postulate (Ind) is respected, as Proposition 1 proves below. The converse is obviously not true, in view of Remark 9.
Proposition 1. 
Let ∘ be a modified AGM revision function, let S be a belief state, and let S be the total preorder over M that corresponds to ∘, via (F∘). Moreover, let S be the relation over W that corresponds to ∘, via Definition 11. If S and S satisfy the semantic constraints (R2) and (SPN2), then ∘ satisfies postulate (Ind).
Proof. 
Suppose that S and S satisfy conditions (R2) and (SPN2). It suffices to show that S satisfies condition (IndR) as well. To that end, let φ be any sentence of L , such that ¬ φ B ( S ) . Consider any worlds r , r M , such that r [ φ ] , r [ ¬ φ ] , and r S r . We need to show that r S φ r .
Suppose that z is any S -minimal φ -world and z is any S -minimal ¬ φ -world. Since ¬ φ B ( S ) , it holds that z [ B ( S ) ] and z S z . Hence, we derive that { r , z } S { r , z } .
Now, since φ B ( S φ ) (from ( S 2 ) ), it follows that z B ( S φ ) and z S φ z . Furthermore, condition (SPN2) entails that { r , z } ¬ S { r , z } ; thus, { r , z } ¬ S φ { r , z } as well. From z S r and (R2), we derive that z S φ r . Combining the above, we conclude that it must be the case that r S φ r , as desired. □

8.3. The Necessity of (SPN1) and (SPN2) for Spohn Expressibility

In view of the introduced formal background, we proceed to Theorem 5 below, which proves that the new semantic conditions (SPN1) and (SPN2) are necessary conditions for Spohn expressibility.
Theorem 5. 
Let ∘ be a modified AGM revision function, and let S be a belief state. Moreover, let S and S be the relations over W that correspond to ∘, via Definitions 9 and 11, respectively. If ∘ is Spohn-expressible, then S and S satisfy conditions (SPN1) and (SPN2).
Proof. 
The proof is straightforward, since, if ∘ is Spohn-expressible, then there exists an OCF κ that imitates ∘ at S. □

9. Conclusions

This article investigated the relationship between two prominent proposals addressing the problem of iterated belief revision; namely, the qualitative DP approach and the quantitative Spohn conditionalization. As a first contribution, we proved that the DP postulates—even when supplemented by postulate (Ind)—do not precisely encode the shifting process of Spohn’s conditionalization (restricted to revision scenarios), since the latter is overly strict to capture the whole class of DP revision functions. This is essentially demonstrated through Theorem 4 of Section 7, which presents a DP revision function ∘ satisfying postulate (Ind) that is not Spohn-expressible. Against this background, two new semantic postulates, (SPN1) and (SPN2), were introduced, and any Spohn-expressible revision function necessarily satisfies these (Theorem 5); however, the aforementioned DP revision function ∘ of Theorem 4 violates (Remark 9). The proposed semantic postulates constrain the total preorders over possible worlds corresponding to DP revision functions and, in doing so, strengthen the DP approach.
Future work will be devoted to the precise characterization of the class of Spohn-expressible revision functions, that is, to the formulation of the required sound and complete constraints to which any Spohn-expressible revision function adheres. An intriguing open question, for instance, is whether the semantic conditions (R1), (R2), (SPN1), and (SPN2)—shown to be necessary—are also sufficient to guarantee Spohn expressibility.

Funding

This research received no external funding.

Data Availability Statement

No new data were created or analyzed in this study. Data sharing is not applicable to this article.

Acknowledgments

The author wishes to honor the memory of Pavlos Peppas, whose thoughtful discussions and guidance significantly influenced this study. He will be deeply missed.

Conflicts of Interest

The author declares no conflicts of interest.

References

  1. Alchourrón, C.; Gärdenfors, P.; Makinson, D. On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log. 1985, 50, 510–530. [Google Scholar] [CrossRef]
  2. Darwiche, A.; Pearl, J. On the logic of iterated belief revision. Artif. Intell. 1997, 89, 1–29. [Google Scholar] [CrossRef]
  3. Spohn, W. Ranking functions, AGM style. In Spinning Ideas: Electronic Essays Dedicated to Peter Gärdenfors on His Fiftieth Birthday; Halldén, S., Hansson, B., Rabinowicz, W., Sahlin, N.E., Eds.; Department of Philosophy, Lund University: Lund, Sweden, 1999. [Google Scholar]
  4. Jin, Y.; Thielscher, M. Iterated belief revision, revised. Artif. Intell. 2007, 171, 1–18. [Google Scholar] [CrossRef]
  5. Spohn, W. Ordinal conditional functions: A dynamic theory of epistemic states. In Causation in Decision, Belief Change, and Statistics; Harper, W.L., Skyrms, B., Eds.; The University of Western Ontario Series in Philosophy of Science; Springer: Dordrecht, The Netherlands, 1988; Volume 42, pp. 105–134. [Google Scholar]
  6. Darwiche, A.; Pearl, J. On the logic of iterated belief revision. In Proceedings of the 5th Conference on Theoretical Aspects of Reasoning About Knowledge (TARK 1994), Pacific Grove, CA, USA, 13–16 March 1994; pp. 5–23. [Google Scholar]
  7. Peppas, P. A panorama of iterated revision. In David Makinson on Classical Methods for Non-Classical Problems; Hansson, S.O., Ed.; Springer: Dordrecht, The Netherlands, 2014; pp. 71–94. [Google Scholar]
  8. Lehmann, D. Belief revision, revised. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI 1995), Montreal, QC, USA, 20–25 August 1995; pp. 1534–1540. [Google Scholar]
  9. Aravanis, T.; Peppas, P.; Williams, M.A. Observations on Darwiche and Pearl’s approach for iterated belief revision. In Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Macao, China, 10–16 August 2019; pp. 1509–1515. [Google Scholar]
  10. Schwind, N.; Konieczny, S.; Pérez, R.P. On the representation of Darwiche and Pearl’s epistemic states for iterated belief revision. In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Haifa, Israel, 31 July–5 August 2022; pp. 320–330. [Google Scholar]
  11. Konieczny, S. On epistemic spaces for iterated belief revision. In Proceedings of the 1stWorkshop on AI-Driven Heterogeneous Data Management: Completing, Merging, Handling Inconsistencies and Query-Answering, Co-Located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Rhodes, Greece, 2–8 September 2023; pp. 320–330. [Google Scholar]
  12. Liberatore, P. Representing states in iterated belief revision. Artif. Intell. 2024, 336, 104200. [Google Scholar] [CrossRef]
  13. Haldimann, J.; Kern-Isberner, G. On properties of epistemic state mappings among ranking functions and total preorders. In Proceedings of the 7th Workshop on Formal and Cognitive Reasoning (FCR 2021), Workshop at the 44th German Conference on Artificial Intelligence (KI 2021), Berlin, Germany, 27 September–1 October 2021; pp. 34–47. [Google Scholar]
  14. Kern-Isberner, G.; Sezgin, M.; Beierle, C. A kinematics principle for iterated revision. Artif. Intell. 2023, 314, 103827. [Google Scholar] [CrossRef]
  15. Kern-Isberner, G.; Hahn, A.; Haldimann, J.; Beierle, C. Total preorders vs. ranking functions under belief revision—The dynamics of empty layers. In Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, 2–8 November 2024; pp. 498–508. [Google Scholar]
  16. Gärdenfors, P. Knowledge in Flux–Modeling the Dynamics of Epistemic States; MIT Press: Cambridge, MA, USA, 1988. [Google Scholar]
  17. Peppas, P. Belief revision. In Handbook of Knowledge Representation; van Harmelen, F., Lifschitz, V., Porter, B., Eds.; Elsevier Science: Amsterdam, The Netherlands, 2008; pp. 317–359. [Google Scholar]
  18. Katsuno, H.; Mendelzon, A. Propositional knowledge base revision and minimal change. Artif. Intell. 1991, 52, 263–294. [Google Scholar] [CrossRef]
  19. Spohn, W. A reason for explanation: Explanations provide stable reasons. In Existence and Explanation; Spohn, W., Fraassen, B.C.V., Skyrms, B., Eds.; The University of Western Ontario Series in Philosophy of Science; Springer: Dordrecht, The Netherlands, 1991; Volume 49, pp. 165–196. [Google Scholar]
  20. Jin, Y.; Thielscher, M. Iterated belief revision, revised. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, UK, 30 July–5 August 2005; pp. 478–483. [Google Scholar]
  21. Booth, R.; Chopra, S.; Meyer, T. Restrained revision. In Proceedings of the 6th Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC 2005), Edinburgh, UK, 27–30 July 2005. [Google Scholar]
  22. Booth, R.; Meyer, T. Admissible and restrained revision. J. Artif. Intell. Res. 2006, 26, 127–151. [Google Scholar] [CrossRef]
  23. Aravanis, T.I.; Peppas, P.; Williams, M.A. Incompatibilities between iterated and relevance-sensitive belief revision. J. Artif. Intell. Res. 2020, 68, 85–108. [Google Scholar] [CrossRef]
  24. Parikh, R. Beliefs, belief revision, and splitting languages. In Logic, Language and Computation; Moss, L.S., Ginzburg, J., de Rijke, M., Eds.; CSLI Publications: Stanford, CA, USA, 1999; Volume 2, pp. 266–278. [Google Scholar]
  25. Parikh, R. Beth definability, interpolation and language splitting. Synthese 2011, 179, 211–221. [Google Scholar] [CrossRef]
  26. Peppas, P.; Williams, M.A.; Chopra, S.; Foo, N. Relevance in belief revision. Artif. Intell. 2015, 229, 126–138. [Google Scholar] [CrossRef]
  27. Stalnaker, R. Iterated belief revision. Erkenntnis 2009, 70, 189–209. [Google Scholar] [CrossRef]
  28. Konieczny, S.; Pérez, R.P. A framework for iterated revision. J. Appl. Non-Class. Logics 2000, 10, 339–367. [Google Scholar] [CrossRef]
  29. Hansson, S.O. Iterated descriptor revision and the logic of Ramsey test conditionals. J. Philos. Log. 2016, 45, 429–450. [Google Scholar] [CrossRef]
Figure 1. Shifting process of Spohn’s conditionalization described in Example 1. The vertical integer numbers denote the ranks of worlds (thus, they inherently serve as labels for the degree of firmness of φ as well).
Figure 1. Shifting process of Spohn’s conditionalization described in Example 1. The vertical integer numbers denote the ranks of worlds (thus, they inherently serve as labels for the degree of firmness of φ as well).
Mathematics 13 00933 g001
Figure 2. Faithful preorders S , 1 , and 2 . The worlds to the right (resp., left) of the dashed lines in 1 and 2 entail (resp., the negation of) the new information.
Figure 2. Faithful preorders S , 1 , and 2 . The worlds to the right (resp., left) of the dashed lines in 1 and 2 entail (resp., the negation of) the new information.
Mathematics 13 00933 g002
Figure 3. Class of Spohn-expressible revision functions as a proper subclass of the class of modified AGM revision functions identified by the conjunction of postulates (DP1), (DP2), and (Ind), which are in turn a proper subclass of the class of DP revision functions.
Figure 3. Class of Spohn-expressible revision functions as a proper subclass of the class of modified AGM revision functions identified by the conjunction of postulates (DP1), (DP2), and (Ind), which are in turn a proper subclass of the class of DP revision functions.
Mathematics 13 00933 g003
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Aravanis, T. Darwiche and Pearl’s Iterated Belief Revision: Not Always Spohn-Expressible. Mathematics 2025, 13, 933. https://doi.org/10.3390/math13060933

AMA Style

Aravanis T. Darwiche and Pearl’s Iterated Belief Revision: Not Always Spohn-Expressible. Mathematics. 2025; 13(6):933. https://doi.org/10.3390/math13060933

Chicago/Turabian Style

Aravanis, Theofanis. 2025. "Darwiche and Pearl’s Iterated Belief Revision: Not Always Spohn-Expressible" Mathematics 13, no. 6: 933. https://doi.org/10.3390/math13060933

APA Style

Aravanis, T. (2025). Darwiche and Pearl’s Iterated Belief Revision: Not Always Spohn-Expressible. Mathematics, 13(6), 933. https://doi.org/10.3390/math13060933

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop