Confluence operators and their relationships with revision, update and merging

Authors:
Sébastien Konieczny;Ramon Pino Pérez
Affiliations:
Centre de Recherche en Informatique de Lens (CRIL), Lens, France;Centro Interdisciplinario de Lógica y Álgebra (CILA), Departamento de Matemáticas, Facultad de Ciencias, Universidad de Los Andes, Mérida, Venezuela
Venue:
Annals of Mathematics and Artificial Intelligence
Year:
2013

Citing 12
Cited 0

Propositional knowledge base revision and minimal change

Artificial Intelligence
Propositional belief base update and minimal change

Artificial Intelligence
Combining Multiple Knowledge Bases

IEEE Transactions on Knowledge and Data Engineering
Arbitration (or How to Merge Knowledge Bases)

IEEE Transactions on Knowledge and Data Engineering
DA2 merging operators

Artificial Intelligence - Special issue on nonmonotonic reasoning
Distance semantics for belief revision

TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Revisions of knowledge systems using epistemic entrenchment

TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Confluence Operators

JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Logical foundations of negotiation: outcome, concession and adaptation

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Negotiation as mutual belief revision

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Belief update revisited

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Revision of partially ordered information: axiomatization, semantics and iteration

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we introduce confluence operators, that are inspired by the existing links between belief revision, update and merging operators. Roughly, update operators can be considered as pointwise revision, whereas revision operators can be considered as special case of merging operators. Confluence operators are to merging operators what update operators are to revision operators. Similarly, update operators can be considered as special case of confluence operators just as revision can be considered as special case of merging operators. Confluence operators gives all possible agreement situations from a set of belief bases.