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

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.

Authors

Institutions

Publication Details

Journal
Mathematics
Published
2025-03-11
DOI
https://doi.org/10.3390/math13060933
Primary Topic
Logic, Reasoning, and Knowledge
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

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

Theofanis Aravanis
Mathematics
Logic, Reasoning, and Knowledge
article

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

Theofanis Aravanis
article en

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.

MathematicsVol. 13(6)
University of Peloponnese (GR)
Openalex Percentile: Top 98%
Logic, Reasoning, and Knowledge
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.