KR2022Proceedings of the 19th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning

Haifa, Israel. July 31–August 5, 2022.

Edited by
  1. Gabriele Kern-Isberner
  2. Gerhard Lakemeyer
  3. Thomas Meyer

ISSN: 2334-1033
ISBN: 978-1-956792-01-0

Sponsored by
Published by

Copyright © 2022 International Joint Conferences on Artificial Intelligence Organization

Iterated Belief Change, Computationally

  1. Kai Sauerwald(University of Hagen)
  2. Christoph Beierle(University of Hagen)
PDF
BibTeX
https://doi.org/10.24963/kr.2022/42

Keywords

  1. Belief revision and update, belief merging, information fusion
  2. Computational aspects of knowledge representation

Abstract

This paper considers belief change in the Darwiche-Pearl framework. We demonstrate that iterative belief revision is Turing complete by showing how revision operators over ranking functions can simulate every Turing machine. Our result holds even under the condition that the broadly accepted Darwiche-Pearl postulates for iterated revision hold.