Validation of knowledge-based systems: a reassessment of the field

被引:6
作者
Batarseh, Feras A. [1 ]
Gonzalez, Avelino J. [1 ]
机构
[1] Univ Cent Florida, Dept Elect Engn & Comp Sci, Intelligent Syst Lab, Orlando, FL 32816 USA
关键词
Knowledge-based systems; Validation; Lifecycle model; Software testing; Test cases; VERIFICATION;
D O I
10.1007/s10462-013-9396-9
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The subject of validation and verification (V&V) of knowledge-based systems (KBS) has been one of decreasing importance in the last decade. Research and development in the field reduced drastically. One of the main reasons is the persistent software challenges and failures. These failures have been categorized in different ways. One initiative however, which most researchers in the field agree upon, is that the only way to eliminate these problems is by rigorously performing V&V. Although there have been vast improvements in the field of V&V methodology, studies indicate that KBS industry still lacks rigorous validation methods. In this paper, we review the most important validation paradigms described in literature for KBS during the years of their fame. Additionally, this article studies the significant methods, aims to reassess these methods in light of recent advances, and propose new future directions for validation of KBS.
引用
收藏
页码:485 / 500
页数:16
相关论文
共 39 条
[11]  
Kelbasa H, 2004, P 15 EUR C ART INT, P123
[12]   A framework for validation of rule-based systems [J].
Knauf, R ;
Gonzalez, AJ ;
Abel, T .
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2002, 32 (03) :281-295
[13]   Toward reducing human involvement in validation of knowledge-based systems [J].
Knauf, Rainer ;
Tsuruta, Setsuo ;
Gonzalez, Avelino J. .
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2007, 37 (01) :120-131
[14]   DEVELOPING A STRATEGY FOR EXPERT-SYSTEM VERIFICATION AND VALIDATION [J].
LEE, S ;
OKEEFE, RM .
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1994, 24 (04) :643-655
[15]   KNOWLEDGE VALIDATION OF ENGINEERING EXPERT-SYSTEMS [J].
LOCKWOOD, S ;
CHEN, ZX .
ADVANCES IN ENGINEERING SOFTWARE, 1995, 23 (02) :97-104
[16]   Model-based verification of knowledge-based systems: A case study [J].
Marcos, M. ;
del Pobil, A.P. ;
Moisan, S. .
IEE Proceedings: Software, 2000, 147 (05) :163-168
[17]   KNOWLEDGE VALIDATION - PRINCIPLES AND PRACTICE [J].
MENGSHOEL, OJ .
IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1993, 8 (03) :62-68
[18]  
Min FY, 2006, PROCEEDINGS OF 2006 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, P1459
[19]  
Min FY, 2007, PROCEEDINGS OF THE 2007 WINTER SIMULATION CONFERENCE, VOLS 1-5, P1374
[20]  
Morell L. J., 1988, Proceedings. The First International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE - 88, P847, DOI 10.1145/55674.55699