Non-Prioritized Iterated Revision: Improvement via Incremental Belief Merging - CNRS - Centre national de la recherche scientifique
Communication Dans Un Congrès Année : 2020

Non-Prioritized Iterated Revision: Improvement via Incremental Belief Merging

Résumé

In this work we define iterated change operators that do not obey the primacy of update principle. This kind of change is required in applications when the recency of the input formulae is not linked with their reliability/priority/weight. This can be translated by a commutativity postulate that asks the result of a sequence of changes to be the same whatever the order of the formulae of this sequence. Technically then we end up with a sequence of formulae that we have to combine in order to obtain a meaningful belief base. Belief merging operators are then natural candidates for this task. We show that we can define improvement operators using an incremental belief merging approach. We also show that these operators can not be encoded as simple preorders transformations, contrary to most iterated revision and improvement operators.
Fichier principal
Vignette du fichier
kr2020-0076-schwind-et-al (1).pdf (181.08 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03060346 , version 1 (08-09-2021)

Identifiants

Citer

Nicolas Schwind, Sébastien Konieczny. Non-Prioritized Iterated Revision: Improvement via Incremental Belief Merging. 17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}, Sep 2020, Rhodes, Greece. pp.738-747, ⟨10.24963/kr.2020/76⟩. ⟨hal-03060346⟩
56 Consultations
108 Téléchargements

Altmetric

Partager

More