Confluence operators and their relationships with revision, update and merging

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. © 2013 Springer Science+Business Media Dordrecht.

Año de publicación:

2013

Keywords:

• Merging
• Update
• Belief dynamics
• Belief revision
• Confluence

Fuente:

scopus