Confluence operators and their relationships with revision,update and merging |
| |
Authors: | Sébastien Konieczny Ramon Pino Pérez |
| |
Affiliation: | 1. Centre de Recherche en Informatique de Lens (CRIL), CNRS UMR 8188, Université d’Artois, Lens, France 2. Centro Interdisciplinario de Lógica y álgebra (CILA), Departamento de Matemáticas, Facultad de Ciencias, Universidad de Los Andes, Mérida, Venezuela
|
| |
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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|