Implementing semantic merging operators using binary decision diagrams

DOI10.1016/j.ijar.2008.03.008zbMath1184.68509OpenAlexW1972791848MaRDI QIDQ2379333

Anthony Hunter, Nikos Gorogiannis

Publication date: 19 March 2010

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2008.03.008

zbMATH Keywords

automated reasoningknowledge representationknowledge merging

Mathematics Subject Classification ID

Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items

A graded approach to database repair by context-aware distance semantics, Analysing inconsistent information using distance-based measures, Morphologic for knowledge dynamics: revision, fusion and abduction, A dissimilarity-based framework for generating inconsistency-tolerant logics, Logic based merging, A framework for reasoning under uncertainty based on non-deterministic distance semantics, Simplified forms of computerized reasoning with distance semantics, Merging First-Order Knowledge Using Dilation Operators, Merging Qualitative Constraints Networks Using Propositional Logic, On some associations between mathematical morphology and artificial intelligence

Uses Software

• BuDDy

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(\text{DA}^2\) merging operators
• Some computational aspects of DISTANCE SAT
• Disjunctive merging: quota and Gmin merging operators
• Two modellings for theory change
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Easy problems are sometimes hard
• Implementation of belief change operators using BDDs
• Ordered binary decision diagrams and the Shannon effect
• Reasoning with ordered binary decision diagrams
• Generating hard satisfiability problems
• On the Semantics of Arbitration
• Syntactic Propositional Belief Bases Fusion with Removed Sets
• On the logic of theory change: Partial meet contraction and revision functions
• Graph-Based Algorithms for Boolean Function Manipulation
• Error Detecting and Error Correcting Codes
• Merging Information Under Constraints: A Logical Framework