An illustration of verification and validation in the modeling phase of knowledge based systems

被引：0

作者：

Vanthienen, J ^{[1
]}

Aerts, A ^{[1
]}

Mues, C ^{[1
]}

机构：

[1] CATHOLIC UNIV LEUVEN,DEPT APPL ECON SCI,B-3000 LOUVAIN,BELGIUM

来源：

CRITICAL TECHNOLOGY: PROCEEDINGS OF THE THIRD WORLD CONGRESS ON EXPERT SYSTEMS, VOLS I AND II | 1996年

关键词：

verification & validation; decision tables; KBS building tools;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：1024 / 1031

页数：8

共 50 条

[1] THE VERIFICATION AND VALIDATION OF KNOWLEDGE BASED SYSTEMS
PLANT, RT
AIAA COMPUTERS IN AEROSPACE VII CONFERENCE, PTS 1 AND 2: A COLLECTION OF PAPERS, 1989, : 150 - 156
[2] Verification and validation of knowledge-based systems
Tsai, WT
Vishnuvajjala, R
Zhang, D
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1999, 11 (01) : 202 - 212
[3] Illustration of verification and validation in the modelling phase of KBS development
Katholieke Universiteit Leuven, Leuven, Belgium
Data Knowl Eng, 3 (337-352):
[4] An illustration of verification and validation in the modelling phase of KBS development
Vanthienen, J
Mues, C
Aerts, A
DATA & KNOWLEDGE ENGINEERING, 1998, 27 (03) : 337 - 352
[5] The role of ontologies in the verification and validation of knowledge based systems
Bench-Capon, TJM
NINTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 1998, : 64 - 69
[6] KNOWLEDGE-BASED SYSTEMS - VERIFICATION, VALIDATION, AND TESTING
CHILDRESS, R
IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1992, 7 (01): : 73 - 75
[7] VALIDATION AND VERIFICATION OF KNOWLEDGE-BASED SYSTEMS - A SURVEY
GUPTA, UG
APPLIED INTELLIGENCE, 1993, 3 (04) : 343 - 363
[8] 2 ASPECTS OF THE VALIDATION AND VERIFICATION OF KNOWLEDGE-BASED SYSTEMS
BENCHCAPON, T
COENEN, F
NWANA, H
PATON, R
SHAVE, M
IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1993, 8 (03): : 76 - 81
[9] EUROPEAN VERIFICATION AND VALIDATION OF KNOWLEDGE-BASED SYSTEMS - PREFACE
CARDENOSA, J
EXPERT SYSTEMS WITH APPLICATIONS, 1995, 8 (03) : 321 - 322
[10] Verification and validation of knowledge-based systems with formal specifications
Meseguer, P
Preece, AD
KNOWLEDGE ENGINEERING REVIEW, 1995, 10 (04): : 331 - 343

← 1 2 3 4 5 →