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

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

Sponsored by
Published by

Copyright © 2023 International Joint Conferences on Artificial Intelligence Organization

Credible Models of Belief Update

  1. Eduardo Fermé(Universidade da Madeira and NOVA LINCS, Portugal)
  2. Sébastien Konieczny(CRIL - CNRS - Université d'Artois, Lens, France)
  3. Ramón Pino Pérez(CRIL - CNRS - Université d'Artois, Lens, France)
  4. Nicolas Schwind(National Institute of Advanced Industrial Science and Technology, Tokyo, Japan)

Keywords

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

Abstract

In this work, we address one important problem of Katsuno and Mendelzon update operators, that is to require that any updated belief base must entail any new input in a consistent way. This assumes that any situation can be updated into one satisfying that input, which is unrealistic. To solve this problem, we must relax either the success or the consistency principle. Each case leads to a distinct family of update operators, that we semantically characterize by plausibility relations over possible worlds, considering a credibility limit that aims to forbid unrealistic changes. We discuss in which cases one family is more adequate than the other one.