Confluence operators and their relationships with revision, update and merging

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. Conflu...

Full description

Saved in:
Bibliographic Details
Published in:Annals of mathematics and artificial intelligence 2013-09, Vol.69 (1), p.73-101
Main Authors: Konieczny, Sébastien, Pérez, Ramon Pino
Format: Article
Language:English
Subjects:
Artificial Intelligence
Complex Systems
Computer Science
Expert systems
Links
Mathematical analysis
Mathematics
Merging
Operators
Revisions
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1012-2443
1573-7470
DOI:10.1007/s10472-013-9340-3