Reasoning in inconsistent stratified knowledge bases - Université d'Artois Accéder directement au contenu
Communication Dans Un Congrès Année : 1996

Reasoning in inconsistent stratified knowledge bases

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More