DocumentCode
279197
Title
Completeness checking of expert systems
Author
Stachowitz, Rolf A. ; Chang, Chin-Liang
Volume
iii
fYear
1991
fDate
8-11 Jan 1991
Firstpage
259
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;
fLanguage
English
Publisher
ieee
Conference_Titel
System Sciences, 1991. Proceedings of the Twenty-Fourth Annual Hawaii International Conference on
Conference_Location
Kauai, HI
Type
conf
DOI
10.1109/HICSS.1991.184152
Filename
184152
Link To Document