Handbook of logic in artificial intelligence and logic programming (vol. 3)
Possibilistic Merging and Distance-Based Fusion of Propositional Information
Annals of Mathematics and Artificial Intelligence
A Practical Approach to Fusing Prioritized Knowledge Bases
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Quasi-possibilistic logic and its measures of information and conflict
Fundamenta Informaticae
A negotiation-style framework for non-prioritised revision
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Combining multiple prioritized knowledge bases by negotiation
Fuzzy Sets and Systems
A comparison of merging operators in possibilistic logic
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
A model for the integration of prioritized knowledge bases through subjective belief games
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Hi-index | 0.01 |
A negotiation model consists of two functions: a negotiation function and a weakening function. A negotiation function is defined to choose the weakest sources and these sources will weaken their point of view using a weakening function. However, the currently available belief negotiation models are based on classical logic, which make it difficult to define weakening functions. In this paper, we define a prioritized belief negotiation model in the framework of possibilistic logic. The priority between formulae provides us with important information to decide which beliefs should be discarded. The problem of merging uncertain information from different sources is then solved by two steps. First, beliefs in the original knowledge bases will be weakened to resolve inconsistencies among them. This step is based on a prioritized belief negotiation model. Second, the knowledge bases obtained by the first step are combined using a conjunctive operator or a reinforcement operator in possbilistic logic.