2022/02/17 by Kai Sauerwald, Sauerwald, Kai, Christoph Beierle +1
Computer Science · #03B42 #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #I.2.4 #Logic, Reasoning, and Knowledge #Machine Learning and Algorithms
paper · pdf · doi:10.48550/arxiv.2202.08856
openalex publication_date 2022/02/17 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.