A Conditional Perspective for Iterated Belief Contraction

11/20/2019
by   Kai Sauerwald, et al.
0

According to Boutillier, Darwiche, Pearl and others, principles for iterated revision can be characterised in terms of changing beliefs about conditionals. For iterated contraction a similar formulation is not known. This is especially because for iterated belief change the connection between revision and contraction via the Levi and Harper identity is not straightforward, and therefore, characterisation results do not transfer easily between iterated revision and contraction. In this article, we develop an axiomatisation of iterated contraction in terms of changing conditional beliefs. We prove that the new set of postulates conforms semantically to the class of operators like the ones given by Konieczny and Pino Pérez for iterated contraction.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/04/2022

A Conditional Perspective on the Logic of Iterated Belief Contraction

In this article, we consider iteration principles for contraction, with ...
research
05/20/2019

Decrement Operators in Belief Change

While research on iterated revision is predominant in the field of itera...
research
07/11/2023

Characterization of AGM Belief Contraction in Terms of Conditionals

We provide a semantic characterization of AGM belief contraction based o...
research
04/08/2021

On Mixed Iterated Revisions

Several forms of iterable belief change exist, differing in the kind of ...
research
07/02/2019

Elementary Iterated Revision and the Levi Identity

Recent work has considered the problem of extending to the case of itera...
research
05/08/2019

Arrow Contraction and Expansion in Tropical Diagrams

Arrow contraction applied to a tropical diagram of probability spaces is...
research
07/21/2019

Combining the Connection Scan Algorithm with Contraction Hierarchies

Since the first solutions finding minimally weighted routes in weighted ...

Please sign up or login with your details

Forgot password? Click here to reset