Reasoning in inconsistent stratified knowledge bases - Université d'Artois Access content directly
Conference Papers Year : 1996

Reasoning in inconsistent stratified knowledge bases


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.
No file

Dates and versions

hal-03299839 , version 1 (26-07-2021)



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⟩
26 View
0 Download



Gmail Facebook X LinkedIn More