Belief Merging within Fragments of Propositional Logic

DOI10.1145/2898436zbMath1367.03034arXiv1404.6445OpenAlexW2327787835MaRDI QIDQ5277921

Odile Papini, Stefan Rümmele, Nadia Creignou, Stefan Woltran

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1404.6445

zbMATH Keywords

belief mergingpostulatesdistance-based operatorsmodel-based operators

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Merging in the Horn Fragment, Toward credible belief base revision

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Belief revision within fragments of propositional logic
• Logic based merging
• \(\text{DA}^2\) merging operators
• Propositional knowledge base revision and minimal change
• Inter-definability of Horn contraction and Horn revision
• Belief revision in Horn theories
• Horn Clause Contraction Functions
• A Model-Theoretic Approach to Belief Change in Answer Set Programming
• On the Semantics of Arbitration
• On the logic of theory change: Partial meet contraction and revision functions
• Merging Information Under Constraints: A Logical Framework
• Prime implicates and relevant belief revision
• The complexity of satisfiability problems
• Fusion: General concepts and characteristics