Skip to Main content Skip to Navigation
Conference papers

Non-Prioritized Iterated Revision: Improvement via Incremental Belief Merging

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal-cnrs.archives-ouvertes.fr/hal-03060346
Contributor : Sebastien Konieczny <>
Submitted on : Wednesday, December 23, 2020 - 11:42:21 AM
Last modification on : Friday, December 25, 2020 - 3:20:32 AM

Identifiers

Collections

Citation

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

Share

Metrics

Record views

10