Skip to Main content Skip to Navigation
Conference papers

Reasoning in inconsistent stratified knowledge bases

Salem Benferhat 1 Didier Dubois 1 Henri Prade 1 
1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
IRIT - Institut de recherche en informatique de Toulouse
Abstract : This paper proposes a discussion of inconsistency-tolerant consequence relations in prioritized knowledge bases. These inference techniques extend methods for reasoning from inconsistent, non-stratified, knowledge bases to the case where priorities between formulas are available. Priorities between formulas are handled in the framework of possibility theory and allow for the use of pieces of information having various levels of confidence. A comparative analysis of several approaches is carried out, namely, the possibilistic inference and its extensions, three inference methods based on a selection of maximal consistent subsets of formulas, and two inference methods based on arguments.
Document type :
Conference papers
Complete list of metadata
Contributor : Fabien DELORME Connect in order to contact the contributor
Submitted on : Monday, July 26, 2021 - 4:56:22 PM
Last modification on : Wednesday, June 1, 2022 - 5:09:27 AM



Salem Benferhat, Didier Dubois, Henri Prade. Reasoning in inconsistent stratified knowledge bases. 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL 1996), IEEE, 1996, Santiago de Compostela, Spain. pp.184-189, ⟨10.1109/ISMVL.1996.508357⟩. ⟨hal-03299839⟩



Record views