Confluence operators and their relationships with revision, update and merging

DOI10.1007/s10472-013-9340-3zbMath1301.03020OpenAlexW1981269308MaRDI QIDQ2248519

Sébastien Konieczny, Ramón Pino Pérez

Publication date: 26 June 2014

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-013-9340-3

zbMATH Keywords

belief revisionconfluencebelief changemergingupdatebelief dynamics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (2)

On manipulation in merging epistemic states ⋮ Geodesic merging

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic based merging
• Belief extrapolation (or how to reason about observations and unpredicted change)
• \(\text{DA}^2\) merging operators
• On the logic of theory change: safe contraction
• Two modellings for theory change
• Propositional knowledge base revision and minimal change
• Propositional belief base update and minimal change
• Distance semantics for belief revision
• On the Semantics of Arbitration
• Confluence Operators
• Belief base merging as a game
• On the logic of theory change: Partial meet contraction and revision functions
• Merging Information Under Constraints: A Logical Framework

This page was built for publication: Confluence operators and their relationships with revision, update and merging