arrow
返回

EXPERT SYSTEM VERIFICATION AND VALIDATION - A SURVEY AND TUTORIAL

delete1993-02-01
delete108
PRE
AI
R
Robert M. O’Keefe *
O
OLEARY, DE
DOI:10.1007/BF00849196delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
Assuring the quality of an expert system is critical. A poor quality system may take costly errors resulting in considerable damage to the user or owner of the system. such as financial loss or human suffering. Hence verification and validation, methods and techniques aimed at ensuring quality, are fundamentally important. This paper surveys the issues, methods and techniques for verifying and validating expert systems. Approaches to defining the quality of a system are discussed, drawing upon work in both computing and the model building disciplines, which leads to definitions of verification and validation and the associated concepts of credibility, assessment and evaluation. An approach to verification based upon the detection of anomalies is presented. and related to the concepts of consistency, completeness. correctness and redundancy. Automated tools for expert system verification are reviewed. Considerable attention is then given to the issues in structuring the validation process, particularly the establishment of the criteria by which the system is judged, the need to maintain objectivity, and the concept of reliability. This is followed by a review of validation methods for validating both the components of a system and the system as a whole, and includes examples of some useful statistical methods. Management of the verification and validation process is then considered, and it is seen that the location of methods for verification and validation in the development life-cycle is of prime importance.
Keyword:
EXPERT SYSTEMS
KNOWLEDGE-BASED SYSTEMS
VERIFICATION
VALIDATION
TESTING
EVALUATION
CREDIBILITY
ASSESSMENT
DEVELOPMENT
LIFE CYCLE
STATISTICS

期刊

Artificial Intelligence Review 封面图
Artificial Intelligence Review
IF:
13.9
论文数:
6.1K
被引数:
1.9W

机构

暂无机构信息
引用论文

引用论文

Construction of a Z-scheme heterojunction bifunctional photocatalyst with Ag-modified AgBr embedded in β-Bi2O3 flowers
err2023-01-01
err0
PREAI
errXin Guan; Xiao-li Wang; Xue-wen Zhu; Hui Yu; Ming Yang; Xiang-ting Dong; Ying Yang; Long Xia
err分享
err收藏
Rhododendrol‐induced leukoderma update I: Clinical findings and treatment
err2021-03-08
err0
errOAAI
errKayoko Matsunaga; Kayoko Suzuki; Akiko Ito; Atsushi Tanemura; Yuko Abe; Tamio Suzuki; Momoko Yoshikawa; Yasuyuki Sumikawa; Akiko Yagami; Yukiko Masui; Shintaro Inoue; Shosuke Ito; Ichiro Katayama
err分享
err收藏
Feeding behaviour in young children who fail to thrive
err2003-02-01
err0
PREAI
errRobert F Drewett; Mambwe Kasese-Hara; Charlotte Wright
err分享
err收藏
Simple, analytical criteria for the sequencing of distillation columns
err2004-06-17
err0
PREAI
errM. F. Malone; K. Glinos; F. E. Marquez; J. M. Douglas
err分享
err收藏
Chemical properties of emissions from solid residential fuels used for energy in the rural sector of the southern region of India
err2022-01-24
err0
PREAI
errTuhin Kumar Mandal; Lokesh Yadav; Sudhir Kumar Sharma; Mohit Saxena; Nidhi Tomar; Arindam Dutta; Nidhi Malik; Ummed Singh Saharan
err分享
err收藏
学者 查看更多内容