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

On the Representation of Darwiche and Pearl’s Epistemic States for 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.2022/32

Keywords

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

Abstract

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 representation of these epistemic states. Total preorders are not expressive enough to be used as such a canonical representation. Actually, we show that some operators can even not be represented on a countable epistemic space. Nonetheless, under a very reasonable assumption on the epistemic space, we show that OCFs (Ordinal Conditional Functions) can be considered as a canonical representation.