KNOWLEDGE VALIDATION OF ENGINEERING EXPERT-SYSTEMS

被引：6
作者：
LOCKWOOD, S
CHEN, ZX
机构：
[1] Department of Computer Science, University of Nebraska at Omaha
来源：
ADVANCES IN ENGINEERING SOFTWARE | 1995年 / 23卷 / 02期
关键词：
VERIFICATION AND VALIDATION; EXPERT SYSTEMS; KNOWLEDGE VALIDATION; KNOWLEDGE ACQUISITION; KNOWLEDGE CHARTS;
D O I：
10.1016/0965-9978(95)00018-R
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
In this article, we examine the importance of validation and verification (V & V) for engineering expert systems. In particular, we examine the aspect of incorporating knowledge validation into the knowledge acquisition stage of expert system development cycle. We have developed a knowledge acquisition tool EMBODY for this purpose. A case study of using EMBODY to develop an expert system for TV troubleshooting is reported.
引用
收藏
页码：97 / 104
页数：8
相关论文
共 24 条
[1]   A PETRI-NET BASED APPROACH FOR VERIFYING THE INTEGRITY OF PRODUCTION SYSTEMS [J].
AGARWAL, R ;
TANNIRU, M .
INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1992, 36 (03) :447-468
[2]   MAKING A METHOD OF PROBLEM-SOLVING EXPLICIT WITH MACAO [J].
AUSSENACGILLES, N ;
MATTA, N .
INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 1994, 40 (02) :193-219
[3]  
AYEL M, 1991, VALIDATION VERIFICAT
[4]  
CEVERA EPI, 1993, IEEE EXPERT, V8, P45
[5]  
CHEN JG, 1993, EXPERT SYSTEM ENG AP, P193
[6]  
CULBERT C, 1987, 1ST P SOAR 87 ANN WO, P27
[7]   META-RULES - REASONING ABOUT CONTROL [J].
DAVIS, R .
ARTIFICIAL INTELLIGENCE, 1980, 15 (03) :179-222
[8]  
Gupta U.G., 1991, VALIDATING VERIFYING
[9]   INTERACTIVE VERIFICATION OF KNOWLEDGE-BASED SYSTEMS [J].
JAFAR, M ;
BAHILL, AT .
IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1993, 8 (01) :25-32
[10]  
KIPER JD, 1992, AGM T SOFTWARE ENG, V1
123