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

共 50 条

[31] EUROPEAN RESEARCH EFFORTS IN MEDICAL KNOWLEDGE-BASED SYSTEMS
STEFANELLI, M
ARTIFICIAL INTELLIGENCE IN MEDICINE, 1993, 5 (02) : 107 - 124
[32] Knowledge-Based Condition Survey Inspection Concepts
Uzarski, Donald R.
Grussing, Michael N.
Clayton, James B.
JOURNAL OF INFRASTRUCTURE SYSTEMS, 2007, 13 (01) : 72 - 79
[33] INTEGRATING KNOWLEDGE-BASED SYSTEMS AND DATABASES
GRIMSON, JB
CLINICA CHIMICA ACTA, 1993, 222 (1-2) : 101 - 115
[34] Developing Knowledge-Based Systems with MIKE
Angele J.
Fensel D.
Landes D.
Studer R.
Automated Software Engineering, 1998, 5 (4) : 389 - 418
[35] Consequential reasoning in knowledge-based systems
Hudson, DL
Cohen, ME
COMPUTERS AND THEIR APPLICATIONS, 2001, : 342 - 345
[36] Development of knowledge-based systems - a review
Rowan, RM
INFUSION THERAPY AND TRANSFUSION MEDICINE-INFUSIONSTHERAPIE UND TRANSFUSIONSMEDIZIN, 2001, 28 (05): : 280 - 284
[37] CRITICS FOR KNOWLEDGE-BASED DESIGN SYSTEMS
LIU, H
ROWLES, CD
WEN, WX
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1995, 7 (05) : 740 - 750
[38] A KNOWLEDGE REPRESENTATION MODEL FOR MULTIUSER KNOWLEDGE-BASED SYSTEMS
BASU, A
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1993, 5 (02) : 177 - 189
[39] Knowledge-based systems and knowledge management: Friends or foes?
Hendriks, PHJ
Vriens, DJ
INFORMATION & MANAGEMENT, 1999, 35 (02) : 113 - 125
[40] Coverage: Verifying multiple-agent knowledge-based systems
Preece, A
KNOWLEDGE-BASED SYSTEMS, 1999, 12 (1-2) : 37 - 44

← 1 2 3 4 5 →