Skip to Main content Skip to Navigation
New interface
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 metadata
Contributor : sebastien konieczny Connect in order to contact the contributor
Submitted on : Wednesday, September 8, 2021 - 8:36:23 AM
Last modification on : Wednesday, November 3, 2021 - 9:18:56 AM
Long-term archiving on: : Friday, December 10, 2021 - 9:52:39 AM


kr2020-0076-schwind-et-al (1)....
Publisher files allowed on an open archive




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⟩



Record views


Files downloads