VALIDATION AND VERIFICATION OF KNOWLEDGE-BASED SYSTEMS - A SURVEY

被引：16
作者：
GUPTA, UG
机构：
[1] Department of Decision Sciences, East Carolina University, Greenville, 27858-4353, NC
来源：
APPLIED INTELLIGENCE | 1993年 / 3卷 / 04期
关键词：
VALIDATION; VERIFICATION; TESTING; EVALUATION; KNOWLEDGE-BASED SYSTEMS;
D O I：
10.1007/BF00872136
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Validation and verification of expert systems or knowledge-based systems is a critical issue in the development and deployment of robust systems. This article is a comprehensive survey of the developments and trends in this field. More than 300 references are included in the References and Additional Readings at the end of this article.
引用
收藏
页码：343 / 363
页数：21
相关论文
共 297 条
[1]   PERFORMANCE EVALUATION OF MEDICAL EXPERT SYSTEMS USING ROC CURVES [J].
ADLASSNIG, KP ;
SCHEITHAUER, W .
COMPUTERS AND BIOMEDICAL RESEARCH, 1989, 22 (04) :297-313
[2]  
ADRION WR, 1982, ACM COMPUT SURV, V14, P159, DOI DOI 10.1145/356876.356879
[3]  
AYEL M, 1989, MAR P SPIE INT SOC O, V1095, P996
[4]  
BACHANT J, 1984, AI MAG, V5, P21
[5]  
BACHANT J, 1988, AUG AM ASS ART INT
[6]  
BAHILL AT, 1989, IEEE INT C SYSTEMS M, V2, P857
[7]  
BAHILL AT, 1991, VERIFYING VALIDATING
[8]   A METHODOLOGY FOR COST-RISK ANALYSIS IN THE STATISTICAL VALIDATION OF SIMULATION-MODELS [J].
BALCI, O ;
SARGENT, RG .
COMMUNICATIONS OF THE ACM, 1981, 24 (04) :190-197
[9]  
Balci O, 1984, AM J MATH MANAGE SCI, V4, P375
[10]  
BANSAL R, 1987, THESIS COMPUTER SCI
12345678910