A synthesis of fuzzy rule-based system verification

Fuzzy Sets and Systems

Volumn 113, Issue 2, 2000, Pages 253-265

  Viaene, S ^a   Wets, G ^b   Vanthienen, J ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b HASSELT UNIVERSITY   (Belgium)

Author keywords

Expert systems; Fuzzy logic; Verification

Indexed keywords

EID: 0346687118     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0165-0114(98)00426-6     Document Type: Article

References (23)

1. M. Cayrol, H. Farrency, H. Prade, Fuzzy pattern matching, Kybernetes 11 (1982) 103-116.
2. S. Cho, M.R. Lehto, A fuzzy scheme with application to expert classification systems for computing the degree of match between a rule and an assertion, Cybernet. Systems 9 (1992) 1-27.
3. D. Dubois, H. Prade, Fuzzy Sets and Systems: Theory and Applications, Academic Press, New York, 1980.
4. D. Dubois, H. Prade, Fuzzy sets in approximate reasoning - Part 1: Inference with possibility distributions - Part 2 (with J. Lang): Logical approaches, Fuzzy Sets and Systems 40 (1991) 143-244.
5. D. Dubois, H. Prade, What are fuzzy rules and how to use them? Fuzzy Sets and Systems 84 (1996) 169-185.
6. D. Dubois, H. Prade, L. Ughetto, Checking the coherence and redundancy of fuzzy knowledge bases, Technical Report, IRIT/96-17-R, 1996.
7. R. Jager, Fuzzy logic in control, Ph.D. Thesis, Technische Universiteit Delft, 1995.
8. D. Kinkielélé, M. Ayel, On discovering potential inconsistencies in validating fuzzy knowledge bases, Proc. IPMU '94, 1994, pp. 533-539.
9. K.S. Leung, Y.T. So, Consistency checking for fuzzy expert systems, Internat. J. Approx. Reason. 9 (1993) 263-282.
10. T.W. Liao, Z. Zhang, A review of similarity measures for fuzzy systems, Proc. FUZZ-IEEE96, 1996, pp. 930-935.
11. P. Meseguer, A.D. Preece, Assessing the role of formal specifications in verification and validation of knowledge-based systems, Proc. 3rd IFIP Internat. Conf. on Achieving Quality in Software, 1996, pp. 317-328.
12. H. Nonfjall, H. Larsen, Detection of potential inconsistencies in knowledge bases, Internat. J. Intell. Systems 7 (1992) 81-97.
13. A.D. Preece, A new approach to detecting missing knowledge in expert system rule bases, Internat. J. Man-Mach. Stud. 38 (1993) 661-688.
14. A.D. Preece, R. Shinghal, Foundation and application of knowledge base verification, Internat. J. Intell. Systems 9 (1994) 683-701.
15. H. Scarpelli, W. Pedrycz, F. Gomide, Quantification of inconsistencies in fuzzy knowledge bases, Proc. 2nd European Congress on Intelligent Techniques and Soft Computing, EUFIT'94, Aachen, 1994, pp. 1456-1460.
16. I.B. Turksen, Q. Wang, Consistency of fuzzy expert systems with interval-valued fuzzy sets, Proc. Abstracts and Summaries of the 1st Internat. Conf. on Fuzzy Theory and Technology, 1992, pp. 225-230.
17. I.B. Turksen, Z. Zhong, An approximate analogical reasoning schema based on similarity measures and interval valued fuzzy sets, Fuzzy Sets and Systems 34 (1990) 323-346.
18. J. Vanthienen, A. Aerts, C. Mues, G. Wets, A modelling approach to knowledge based systems verification, Proc. 3rd European Symp. on the Validation and Verification of Knowledge Based Systems, 1995, pp. 155-171.
19. J. Vanthienen, G. Wets, Fuzzy decision tables: modeling and V&V issues, Workshop on Validation, Verification and Refinement of KBS, 12th European Conf. on Artificial Intelligence, Budapest, 11-16 August, 1996, pp. 36-40.
20. R.R. Yager, H.L. Larsen, On discovering potential inconsistencies in validating uncertain knowledge bases by reflecting on the input, IEEE Trans. Systems Man Cybernet. 21 (1991) 790-801.
21. L.A. Zadeh, Fuzzy Sets, Inform. Control 8 (1965) 338-353.
22. L.A. Zadeh, Fuzzy sets as a basis for a theory of possibility, Fuzzy Sets and Systems 1 (1978) 3-28.
23. L.A. Zadeh, A theory of approximate reasoning, in: J.E. Hayes, D. Michie, L.I. Mikulich (Eds.), Machine Intelligence, vol. 9, Wiley, New York, 1979, pp. 149-194.