Dealing with multi-source information in possibilistic logic
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Default Reasoning: Causal and Conditional Theories
Default Reasoning: Causal and Conditional Theories
Preferred subtheories: an extended logical framework for default reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Inconsistency management and prioritized syntax-based entailment
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
How to infer from inconsistent beliefs without revising
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Belief functions and default reasoning
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Generalized qualitative probability: savage revisited
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
| Hi-index | 0.00 |
Coherence-based approaches to inconsistency handling proceed by selecting preferred consistent subbases of the belief base according to a predefined method which takes advantage of explicitly stated priorities. We propose here a general framework where the preference relation between subsets of the belief base is induced by a system of constraints directly expressed by the user. Postulates taking their source in the qualitative modelling of uncertainty, either probabilistic or possibilistic, are used for completing the implicit specification of the preference relations. This enables us to define various types of preference relations, including as particular cases several well-known systems such as Brewka's preferred subtheories or the lexicographical system. Since the number of preferred consistent subbases may be prohibitive, we propose to compile the inconsistent belief base into a new one from which it is easier to select one preferred consistent subbase.