KR2023Proceedings of the 20th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 2-8, 2023.

Edited by
  1. Pierre Marquis,
  2. Tran Cao Son
  3. Gabriele Kern-Isberner

ISSN: 2334-1033
ISBN: 978-1-956792-02-7

Sponsored by
Published by

Copyright © 2023 International Joint Conferences on Artificial Intelligence Organization

Iteration of Iterated Belief Revision

  1. Nicolas Schwind(National Institute of Advanced Industrial Science and Technology, Tokyo, Japan)
  2. Sébastien Konieczny(CRIL - CNRS - Université d'Artois, Lens, France)
  3. Ramón Pino Pérez(CRIL - CNRS - Université d'Artois, Lens, France)
PDF
BibTeX
https://doi.org/10.24963/kr.2023/61

Keywords

  1. Belief revision and update, belief merging, information fusion

Abstract

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 give constraints on a single iteration step, and this is not enough to forbid some pathological operators. In this paper, we propose a generalization of these postulates to solve this issue and we study its implications. One surprising consequence is that, for TPO-representable operators (i.e., for operators defined as transitions on total pre-orders on interpretations), there are very few operators that satisfy this generalization.