INTERACTIVE VERIFICATION OF KNOWLEDGE-BASED SYSTEMS

被引：3

作者：

JAFAR, M ^{[1
]}

BAHILL, AT ^{[1
]}

机构：

[1] UNIV ARIZONA,DEPT SYST & IND ENGN,TUCSON,AZ 85721

来源：

IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS | 1993年 / 8卷 / 01期

关键词：

D O I：

10.1109/64.193052

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

[No abstract available]

引用

页码：25 / 32

页数：8

共 50 条

[11] Verification and validation of knowledge-based systems with formal specifications
Meseguer, P
Preece, AD
KNOWLEDGE ENGINEERING REVIEW, 1995, 10 (04): : 331 - 343
[12] EUROPEAN VERIFICATION AND VALIDATION OF KNOWLEDGE-BASED SYSTEMS - PREFACE
CARDENOSA, J
EXPERT SYSTEMS WITH APPLICATIONS, 1995, 8 (03) : 321 - 322
[13] 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
[14] 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
[15] AN EFFECTIVE LOGICAL FRAMEWORK FOR KNOWLEDGE-BASED SYSTEMS VERIFICATION
ZLATAREVA, N
PREECE, A
INTERNATIONAL JOURNAL OF EXPERT SYSTEMS, 1994, 7 (03): : 239 - 260
[16] Development of Interactive Arabic Proverbs Knowledge-based Systems
Alfawareh, Hejab M.
Jusoh, Shaidah
INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2018, 18 (03): : 1 - 6
[17] Eighth Workshop on the Validation and Verification of Knowledge-Based Systems
Gamble, R
AI MAGAZINE, 1996, 17 (02) : 105 - 107
[18] KNOWLEDGE-BASED SYSTEMS VERIFICATION - A MACHINE LEARNING-BASED APPROACH
LOUNIS, H
EXPERT SYSTEMS WITH APPLICATIONS, 1995, 8 (03) : 381 - 389
[19] Model-based verification of knowledge-based systems: A case study
Marcos, M.
del Pobil, A.P.
Moisan, S.
IEE Proceedings: Software, 2000, 147 (05): : 163 - 168
[20] Introduction: Eighth Workshop on the Validation and Verification of Knowledge-Based Systems
Gamble, R
DECISION SUPPORT SYSTEMS, 1997, 21 (04) : 229 - 230

← 1 2 3 4 5 →