On The Validation of Fuzzy Knowledge Bases

作者: Didier Dubois , Henri Prade

DOI: 10.1007/978-0-585-34652-6_2

关键词:

摘要: Roughly speaking, a knowledge base is “potentially inconsistent” or incoherent if there exists piece of input data which respects integrity constraints and leads to inconsistency when added the base. In paper we use framework possibility theory in order discuss this problem for fuzzy bases. More particularly consider case where such bases are made parallel rules. There exist several kinds rules: certainty rules, gradual For each kind, “potential consistency” appears be different. Only rules pose serious coherence problems. caracterize what conditions have satisfy avoid with facts. The expression constraint terms impossibility qualification discussed. redundancy, also interest validation, briefly addressed

参考文章(17)
Alain Beauvieux, Philippe Dague, A general consistency (checking and restoring) engine for knowledge bases european conference on artificial intelligence. pp. 77- 82 ,(1990)
SALEM BENFERHAT, DIDIER DUBOIS, JEROME LANG, HENRI PRADE, HYPOTHETICAL REASONING IN POSSIBILISTIC LOGIC: BASIC NOTIONS, APPLICATIONS AND IMPLEMENTATION ISSUES WORLD SCIENTIFIC. pp. 1- 29 ,(1994) , 10.1142/9789814503679_0001
Stéphane Loiseau, Refinement of knowledge bases based on consistency european conference on artificial intelligence. pp. 845- 849 ,(1992)
W. A. Perkins, D. Pecora, T. A. Nguyen, T. J. Laffey, Checking an expert systems knowledge base for consistency and completeness international joint conference on artificial intelligence. pp. 375- 378 ,(1985)
Lotfi A. Zadeh, A Theory of Approximate Reasoning Machine intelligence. ,vol. 9, pp. 149- 194 ,(1979)
Didier Dubois, Jérôme Lang, Henri Prade, A Possibilistic Assumption-Based Truth Maintenance System with Uncertain Justifications, and its Application to Belief Revision ECAI '90 Workshop on Truth Maintenance Systems. pp. 87- 106 ,(1990) , 10.1007/BFB0037031
Didier Dubois, Jérôme Lang, Henri Prade, Fuzzy sets in approximate reasoning, part 2: logical approaches Fuzzy Sets and Systems. ,vol. 40, pp. 203- 244 ,(1991) , 10.1016/0165-0114(91)90051-Q
Didier Dubois, Henri Prade, Gradual inference rules in approximate reasoning Information Sciences. ,vol. 61, pp. 103- 122 ,(1992) , 10.1016/0020-0255(92)90035-7
L.O. Hall, M. Friedman, A. Kandel, On the validation and testing of fuzzy expert systems IEEE Transactions on Systems, Man, and Cybernetics. ,vol. 18, pp. 1023- 1027 ,(1988) , 10.1109/21.23103