Communication Dans Un Congrès Année : 2025

On Decisive Revision Operators and Totally Ordered Information

Résumé

This paper focuses on decisive belief revision operators, i.e. operators leading to totally informed situations. Such situations can be represented in the Katsuno-Mendelzon (KM) revision framework by a complete propositional formula, from which either any formula or its negation can be entailed. From a semantic point of view, this kind of operator leads to a single, most plausible interpretation. Despite their prevalence in decision theory, this class of operators has not been previously studied in the context of the KM revision framework. We propose in this paper to characterize decisive operators by a set of postulates. We also provide a representation theorem leading to total orders on interpretations. Finally, we exhibit a concrete operator family satisfying this new set of postulates by combining KM revision operators with tie-breaking functions.

Fichier principal
Vignette du fichier
SUM_2024-1.pdf (113.08 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05048281 , version 1 (27-04-2025)

Licence

Identifiants

Citer

Khaled Belahcène, Jérome Gaigne, Sylvain Lagrue. On Decisive Revision Operators and Totally Ordered Information. 16th International Conference on Scalable Uncertainty Management (SUM 2024), Nov 2024, Palermo, Italy. pp.45-52, ⟨10.1007/978-3-031-76235-2_4⟩. ⟨hal-05048281⟩
192 Consultations
131 Téléchargements

Altmetric

Partager

  • More