DocumentCode :
3244813
Title :
Coherence of fuzzy knowledge bases
Author :
Dubois, Didier ; Prade, Henri ; Ughetto, Laurent
Author_Institution :
Inst. de Recherche en Inf., Univ. Paul Sabatier, Toulouse, France
Volume :
3
fYear :
1996
fDate :
8-11 Sep 1996
Firstpage :
1858
Abstract :
Checking the coherence of a set of rules is an important step in the validation process of a knowledge base. Roughly speaking, a knowledge base is “potentially inconsistent”, what is called “incoherent” here, if there exists a piece of input data which respects integrity constraints and leads to logical inconsistency when added to the knowledge base. This paper is devoted to the case of bases made of parallel fuzzy rules. It is shown that only implication-based rules (gradual rules and certainty rules) are sensitive to coherence problems. However, unlike conjunction-based rules, with which incoherence may be hidden, they allow one to design coherence checking procedures. Necessary and sufficient conditions that a set of parallel certainty (or gradual) rules has to satisfy in order to avoid inconsistency are given
Keywords :
fuzzy logic; fuzzy set theory; fuzzy systems; knowledge based systems; possibility theory; uncertainty handling; certainty rules; coherence; fuzzy knowledge bases; gradual rules; implication-based rules; integrity constraints; logical inconsistency; necessary conditions; parallel certainty rules; parallel fuzzy rules; possibility theory; sufficient conditions; Bismuth; Expert systems; Fuzzy logic; Fuzzy sets; Fuzzy systems; Hybrid intelligent systems; Possibility theory; Sufficient conditions; Testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Fuzzy Systems, 1996., Proceedings of the Fifth IEEE International Conference on
Conference_Location :
New Orleans, LA
Print_ISBN :
0-7803-3645-3
Type :
conf
DOI :
10.1109/FUZZY.1996.552680
Filename :
552680
Link To Document :
بازگشت