On the representation of Darwiche and Pearl's epistemic states for iterated belief revision
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 …
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 …
gives a sequence of reports about the state of the world at various instances (eg different …
Belief change on rational rankings
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
according to new beliefs. This is typically done by focussing on postulates that govern how …