Title :
Completeness checking of expert systems
Author :
Stachowitz, Rolf A. ; Chang, Chin-Liang
Abstract :
It is well-known that purely mechanical completeness checking of expert systems is not feasible since the number of possibilities to be considered is exponential in the number of distinct conditions in the rulebase. This paper discusses several knowledge-based approaches to enable feasible completeness checking
Keywords :
expert systems; knowledge engineering; program verification; expert systems; knowledge-based approaches; mechanical completeness checking; Artificial intelligence; Computer industry; Contracts; Defense industry; Electronic switching systems; Expert systems; Humans; Knowledge engineering; Logic; Software systems;
Conference_Titel :
System Sciences, 1991. Proceedings of the Twenty-Fourth Annual Hawaii International Conference on
Conference_Location :
Kauai, HI
DOI :
10.1109/HICSS.1991.184152
