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 条
  • [21] Compositional verification of knowledge-based systems: A case study for diagnostic reasoning
    Cornelissen, F
    Jonker, CM
    Treur, J
    KNOWLEDGE ACQUISITION, MODELING AND MANAGEMENT, 1997, 1319 : 65 - 80
  • [22] A refinement framework to support validation and maintenance of knowledge-based systems
    Zlatareva, NP
    EXPERT SYSTEMS WITH APPLICATIONS, 1998, 15 (3-4) : 245 - 252
  • [23] A KNOWLEDGE-BASED SYSTEM FOR THE VALIDATION OF THE DEPLOYMENT OF SOFTWARE UNITS
    Javier Blanco, Fco
    Diaz-Casillas, Laura
    Garijo, Mercedes
    ICAART 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1: ARTIFICIAL INTELLIGENCE, 2010, : 305 - 310
  • [24] KNOWLEDGE AND DEVELOPING KNOWLEDGE-BASED SYSTEMS
    Radut, Carmen
    Tenovici, Cristina
    Turmacu, Mihaela
    16TH INTERNATIONAL CONFERENCE THE KNOWLEDGE-BASED ORGANIZATION: ECONOMIC, SOCIAL AND ADMINISTRATIVE APPROACHES TO THE KNOWLEDGE-BASED ORGANIZATION, CONFERENCE PROCEEDINGS 2, 2010, : 435 - 438
  • [25] A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence
    Renkhoff J.
    Feng K.
    Meier-Doernberg M.
    Velasquez A.
    Song H.H.
    IEEE Transactions on Artificial Intelligence, 2024, 5 (08): : 3765 - 3779
  • [26] The effect of knowledge representation schemes on maintainability of knowledge-based systems
    Lee, SR
    OKeefe, RM
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1996, 8 (01) : 173 - 178
  • [27] KJ3 - a tool assisting formal validation of knowledge-based systems
    Wu, CH
    Lee, SJ
    INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 2002, 56 (05) : 495 - 524
  • [28] About the incremental validation of first-order stratified knowledge-based decision-support systems
    Grégoire, É
    Mazure, B
    INFORMATION SCIENCES, 2002, 142 (1-4) : 117 - 129
  • [29] Knowledge-based verification of clinical guidelines by detection of anomalies
    Duftschmid, G
    Miksch, S
    ARTIFICIAL INTELLIGENCE IN MEDICINE, 2001, 22 (01) : 23 - 41
  • [30] A survey of knowledge-based systems research in decision sciences (1980-1995)
    Santhanam, R
    Elam, J
    JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, 1998, 49 (05) : 445 - 457
12345