Skip to Main content Skip to Navigation
Conference papers

Reasoning in inconsistent stratified knowledge bases

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 <>
Submitted on : Monday, July 26, 2021 - 4:56:22 PM
Last modification on : Monday, September 13, 2021 - 3:52:44 PM



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