A Conditional Perspective on the Logic of Iterated Belief Contraction

by   Kai Sauerwald, et al.
FernUniversität in Hagen
TU Dortmund

In this article, we consider iteration principles for contraction, with the goal of identifying properties for contractions that respect conditional beliefs. Therefore, we investigate and evaluate four groups of iteration principles for contraction which consider the dynamics of conditional beliefs. For all these principles, we provide semantic characterization theorems and provide formulations by postulates which highlight how the change of beliefs and of conditional beliefs is constrained, whenever that is possible. The first group is similar to the syntactic Darwiche-Pearl postulates. As a second group, we consider semantic postulates for iteration of contraction by Chopra, Ghose, Meyer and Wong, and by Konieczny and Pino Pérez, respectively, and we provide novel syntactic counterparts. Third, we propose a contraction analogue of the independence condition by Jin and Thielscher. For the fourth group, we consider natural and moderate contraction by Nayak. Methodically, we make use of conditionals for contractions, so-called contractionals and furthermore, we propose and employ the novel notion of α-equivalence for formulating some of the new postulates.


page 1

page 2

page 3

page 4


A Conditional Perspective for Iterated Belief Contraction

According to Boutillier, Darwiche, Pearl and others, principles for iter...

Characterization of AGM Belief Contraction in Terms of Conditionals

We provide a semantic characterization of AGM belief contraction based o...

Iterated Belief Change, Computationally

Iterated Belief Change is the research area that investigates principles...

Aggregating Credences into Beliefs: Agenda Conditions for Impossibility Results

Binarizing belief aggregation addresses how to rationally aggregate indi...

On Mixed Iterated Revisions

Several forms of iterable belief change exist, differing in the kind of ...

Rough sets and matroidal contraction

Rough sets are efficient for data pre-processing in data mining. As a ge...

Conditional indifference and conditional preservation

The idea of preserving conditional beliefs emerged recently as a new par...

Please sign up or login with your details

Forgot password? Click here to reset