Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
On the complexity of propositional knowledge base revision, updates, and counterfactuals
Artificial Intelligence
Easy problems are sometimes hard
Artificial Intelligence
Generating hard satisfiability problems
Artificial Intelligence - Special volume on frontiers in problem solving: phase transitions and complexity
Combining Multiple Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Arbitration (or How to Merge Knowledge Bases)
IEEE Transactions on Knowledge and Data Engineering
Random 3-SAT and BDDs: The Plot Thickens Further
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Towards mathematical morpho-logics
Technologies for constructing intelligent systems
Artificial Intelligence - Special issue on nonmonotonic reasoning
Some Computational Aspects of distance-sat
Journal of Automated Reasoning
Journal of Artificial Intelligence Research
A logically complete reasoning maintenance system based on a logical constraint solver
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Quota and Gmin merging operators
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Merging Qualitative Constraints Networks Using Propositional Logic
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Implementing PS-Merge Operator
MICAI '09 Proceedings of the 8th Mexican International Conference on Artificial Intelligence
The Knowledge Engineering Review
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Belief merging using normal forms
MICAI'11 Proceedings of the 10th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
Inconsistency-Tolerance in knowledge-based systems by dissimilarities
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Distance-Based measures of inconsistency
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Hi-index | 0.00 |
There is a well-recognised need in diverse applications for reasoning with multiple, potentially inconsistent sources of information. One approach is to represent each source of information by a set of formulae and then use a merging operator to produce a set of formulae as output. A valuable range of model-based operators have been proposed that conform to interesting and intuitive properties. However, the implementation of such operators has remained unaddressed, partly due to the considerable computational complexity of the proposals. To address this, we propose a methodology for implementing model-based merging operators using the notion of dilation and a type of data structure called a binary decision diagram. We apply this method by implementing four merging operators from the literature and experimentally evaluating their average-case performance. The results indicate that while the complexity is indeed significant, problems of modest size can be treated using commodity hardware and short computation times.