On the representation of Darwiche and Pearl's epistemic states for iterated belief revision

N Schwind, S Konieczny, RP Pérez - 19th International Conference on …, 2022 - hal.science
The seminal characterization of iterated belief revision was proposed by Darwiche and
Pearl, which uses an abstract notion of epistemic states. In this work we look for a canonical …

Who's the Expert? On Multi-source Belief Change

J Singleton, R Booth - arXiv preprint arXiv:2205.00077, 2022 - arxiv.org
Consider the following belief change/merging scenario. A group of information sources
gives a sequence of reports about the state of the world at various instances (eg different …

Belief change on rational rankings

N Borges, S Konieczny, RP Pérez… - Proceedings of the …, 2024 - proceedings.kr.org
We introduce a new epistemic space: the space of rational rankings. This space is very
useful for understanding some aspects of belief dynamics. In particular, the issues which …

Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability

K Sauerwald - KI-Künstliche Intelligenz, 2024 - Springer
This paper summarises several contributions to the theory of belief change by the authors'
dissertation thesis. First, a relational characterization of belief revision for Tarskian logics is …

Iterated belief change, computationally

K Sauerwald, C Beierle - arXiv preprint arXiv:2202.08856, 2022 - arxiv.org
Iterated Belief Change is the research area that investigates principles for the dynamics of
beliefs over (possibly unlimited) many subsequent belief changes. In this paper, we …

Iteration of iterated belief revision

N Schwind, S Konieczny… - … Conference on Principles …, 2023 - univ-artois.hal.science
The behavior of Iterated Belief Revision operators with respect to iteration has been
characterized by a set of four postulates proposed by Darwiche and Pearl. These postulates …

Belief Reconfiguration

S Konieczny, E Perrotin, R Pino Pérez - European Conference on Logics in …, 2023 - Springer
We study a generalisation of iterated belief revision in a setting where we keep track not only
of the received information (in the form of messages) but also of the source of each …

Belief Reconfiguration Without Oracle

S Konieczny, E Perrotin, RP Pérez - … on Principles and Practice of Multi …, 2024 - Springer
We define belief revision operators based on sequences of messages which give some
information together with the source of this information. The main idea is to evaluate the …

[PDF][PDF] Certification of iterated belief changes via model checking and its implementation

K Sauerwald, P Heltweg, C Beierle - 19 th International Workshop on …, 2021 - core.ac.uk
Iterated belief change investigates principles for changes on epistemic states and their
representational groundings. A common realisation of epistemic states are total preorders …

[PDF][PDF] On Using Model Checking for the Certification of Iterated Belief Changes.

K Sauerwald, P Heltweg - FCR@ KI, 2021 - ceur-ws.org
The theory of iterated belief change investigates how epistemic states are changed
according to new beliefs. This is typically done by focussing on postulates that govern how …