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 条

[1] A VERIFICATION APPROACH FOR KNOWLEDGE-BASED SYSTEMS
RADWAN, AE
GOUL, M
OLEARY, TJ
MOFFITT, KE
TRANSPORTATION RESEARCH PART A-POLICY AND PRACTICE, 1989, 23 (04) : 287 - 300
[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] Evaluation of verification tools for knowledge-based systems
Preece, AD
Talbot, S
Vignollet, L
INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 1997, 47 (05) : 629 - 658
[4] KNOWLEDGE-BASED SYSTEMS - VERIFICATION, VALIDATION, AND TESTING
CHILDRESS, R
IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1992, 7 (01): : 73 - 75
[5] Verification of multiple agent knowledge-based systems
O'Leary, DE
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2001, 16 (03) : 361 - 376
[6] AN APPROACH TO THE DYNAMIC VERIFICATION OF KNOWLEDGE-BASED SYSTEMS
MATSUMOTO, K
TAKANO, T
INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, 1992, 14 (05) : 351 - 357
[7] Verification of multiple agent knowledge-based systems
O'Leary, DE
NINTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 1998, : 36 - 40
[8] VALIDATION AND VERIFICATION OF KNOWLEDGE-BASED SYSTEMS - A SURVEY
GUPTA, UG
APPLIED INTELLIGENCE, 1993, 3 (04) : 343 - 363
[9] A FORMAL MODEL FOR KNOWLEDGE-BASED SYSTEMS VERIFICATION
LAITA, LM
COUTO, J
DELEDESMA, L
MARGARIT, AF
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1994, 9 (09) : 769 - 786
[10] Verification of uncertain knowledge-based systems: An empirical verification approach
OLeary, DE
MANAGEMENT SCIENCE, 1996, 42 (12) : 1663 - 1675

← 1 2 3 4 5 →