Confluence operators and their relationships with revision, update and merging.
Sébastien KoniecznyRamón Pino PérezPublished in: Ann. Math. Artif. Intell. (2013)
Keyphrases
- update operators
- merging operators
- belief revision
- revision operators
- belief update
- logic programs
- belief change
- belief base
- update semantics
- logical properties
- belief merging
- set theoretic
- propositional logic
- logic programming
- minimal change
- epistemic states
- possibilistic logic
- real time
- formal theory
- aggregation functions
- machine learning
- databases