Model-based verification of knowledge-based systems: A case study

被引：2

作者：

Marcos, M. ^{[1
]}

del Pobil, A.P. ^{[1
]}

Moisan, S. ^{[1
]}

机构：

[1] Universitat Jaume I., Castellon, Spain

来源：

IEE Proceedings: Software | 2000年 / 147卷 / 05期

关键词：

D O I：

10.1049/ip-sen:20000896

中图分类号：

学科分类号：

摘要：

引用

页码：163 / 168

共 50 条

[21] EUROPEAN VERIFICATION AND VALIDATION OF KNOWLEDGE-BASED SYSTEMS - PREFACE
CARDENOSA, J
EXPERT SYSTEMS WITH APPLICATIONS, 1995, 8 (03) : 321 - 322
[22] 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
[23] The role of ontologies in the verification and validation of knowledge-based systems
Bench-Capon, TJM
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2001, 16 (03) : 377 - 390
[24] AN EFFECTIVE LOGICAL FRAMEWORK FOR KNOWLEDGE-BASED SYSTEMS VERIFICATION
ZLATAREVA, N
PREECE, A
INTERNATIONAL JOURNAL OF EXPERT SYSTEMS, 1994, 7 (03): : 239 - 260
[25] Eighth Workshop on the Validation and Verification of Knowledge-Based Systems
Gamble, R
AI MAGAZINE, 1996, 17 (02) : 105 - 107
[26] KNOWLEDGE-BASED SYSTEMS VERIFICATION - A MACHINE LEARNING-BASED APPROACH
LOUNIS, H
EXPERT SYSTEMS WITH APPLICATIONS, 1995, 8 (03) : 381 - 389
[27] A FORMAL MODEL OF KNOWLEDGE-BASED SYSTEMS
KALAS, I
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 281 : 170 - 181
[28] Collaborative Development of Knowledge-Based Support Systems: A Case Study
Lindgren, Helena
Winnberg, Patrik J.
Yan, Chunli
QUALITY OF LIFE THROUGH QUALITY OF INFORMATION, 2012, 180 : 1111 - 1113
[29] Knowledge-based disturbance propagation in manufacturing systems: A case study
Bayar, Nawel
Hajri-Gabouj, Sonia
Darmoul, Saber
2018 INTERNATIONAL CONFERENCE ON ADVANCED SYSTEMS AND ELECTRICAL TECHNOLOGIES (IC_ASET), 2017, : 467 - 472
[30] A constructive graphical model approach for knowledge-based systems: A vehicle monitoring case study
Xiang, Y
Lesser, V
COMPUTATIONAL INTELLIGENCE, 2003, 19 (03) : 284 - 309

← 1 2 3 4 5 →