AI Chat AI Image Generator AI Video Text to Speech

Iterated Belief Change, Computationally

02/17/2022

∙

by Kai Sauerwald, et al.

∙

∙

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 demonstrate how iterated belief change is connected to computation. In particular, we show that iterative belief revision is Turing complete, even under the condition that broadly accepted principles like the Darwiche-Pearl postulates for iterated revision hold.

Kai Sauerwald
9 publications
Christoph Beierle
12 publications

page 1

page 2

page 3

page 4

research

∙ 03/13/2013

The Nature of the Unnormalized Beliefs Encountered in the Transferable Belief Model

Within the transferable belief model, positive basic belief masses can b...

0 Philippe Smets, et al. ∙

research

∙ 03/24/1999

Modeling Belief in Dynamic Systems, Part II: Revision and Update

The study of belief change has been an active area in philosophy and AI....

0 N Friedman, et al. ∙

research

∙ 04/21/2015

How do you revise your belief set with

In the classic AGM belief revision theory, beliefs are static and do not...

0 Ryuta Arisaka, et al. ∙

research

∙ 03/20/2013

Non-monotonic Reasoning and the Reversibility of Belief Change

Traditional approaches to non-monotonic reasoning fail to satisfy a numb...

0 Daniel Hunter, et al. ∙

research

∙ 07/11/2023

Belief Revision from Probability

In previous work ("Knowledge from Probability", TARK 2021) we develop a ...

0 Jeremy Goodman, et al. ∙

research

∙ 02/04/2022

A Conditional Perspective on the Logic of Iterated Belief Contraction

In this article, we consider iteration principles for contraction, with ...

0 Kai Sauerwald, et al. ∙

research

∙ 04/08/2021

On Mixed Iterated Revisions

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

0 Paolo Liberatore, et al. ∙