On the semantics of theory change: arbitration between old and new information
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Arbitration (or How to Merge Knowledge Bases)
IEEE Transactions on Knowledge and Data Engineering
Merging with Integrity Constraints
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Artificial Intelligence - Special issue on nonmonotonic reasoning
Model-based belief merging without distance measures
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Implementing semantic merging operators using binary decision diagrams
International Journal of Approximate Reasoning
Partial satisfiability-based merging
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
SAT(ID): satisfiability of propositional logic extended with inductive definitions
SAT'08 Proceedings of the 11th international conference on Theory and applications of satisfiability testing
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Belief merging using normal forms
MICAI'11 Proceedings of the 10th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
Hi-index | 0.00 |
When information comes from different sources inconsistent beliefs may appear. To handle inconsistency, several model-based belief merging operators have been proposed. Starting from the beliefs of a group of agents which might conflict, these operators return a unique consistent belief base which represents the beliefs of the group. The operators, parameterized by a distance between interpretations and aggregation function, usually only take into account consistent bases. Consequently, the information in the base, which is not responsible for conflicts, may be ignored. This paper presents an algorithm for implementing the PS -Merge operator, an alternative method of merging that uses the notion of Partial Satisfiability instead of distance measures. This operator allows us to take into account inconsistent bases. Also in order to use the PS -Merge operator to solve ITC problems a pre-processing transformation was proposed.