Credible Models of Belief Update - Université d'Artois
Communication Dans Un Congrès Année : 2023

Credible Models of Belief Update

Résumé

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.
Fichier principal
Vignette du fichier
kr2023-0025-ferme-et-al.pdf (195.27 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04267944 , version 1 (02-11-2023)

Identifiants

Citer

Eduardo Fermé, Sébastien Konieczny, Ramón Pino Pérez, Nicolas Schwind. Credible Models of Belief Update. 20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}, Sep 2023, Rhodes, Greece. pp.252-261, ⟨10.24963/kr.2023/25⟩. ⟨hal-04267944⟩
31 Consultations
68 Téléchargements

Altmetric

Partager

More