Confluence operators and their relationships with revision, update and merging

Sébastien Konieczny, Ramon Pino Pérez
2013 Annals of Mathematics and Artificial Intelligence  
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
more » ... onsidered as special case of merging operators. Confluence operators gives all possible agreement situations from a set of belief bases.
doi:10.1007/s10472-013-9340-3 fatcat:2cf4wt36obek7fee47k4ddv66y