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 条
  • [21] THE FORMALIZATION OF KNOWLEDGE-BASED SYSTEMS VALIDATION AND VERIFICATION - PROMISES AND PITFALLS
    HOLLNAGEL, E
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 14 : 220 - 230
  • [22] Verification of knowledge-based systems using predicate/transition nets
    Shen, Victor R. L.
    Juang, Tony Tong-Ying
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 38 (01): : 78 - 87
  • [23] DESIGN OF KNOWLEDGE-BASED SYSTEMS WITH A KNOWLEDGE-BASED ASSISTANT
    SCHOEN, E
    SMITH, RG
    BUCHANAN, BG
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (12) : 1771 - 1791
  • [24] INTERACTIVE KNOWLEDGE-BASED ASSISTANCE FOR INDEXING
    HUMPHREY, SM
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1988, 195 : 40 - CINF
  • [25] Compositional verification of knowledge-based systems: A case study for diagnostic reasoning
    Cornelissen, F
    Jonker, CM
    Treur, J
    KNOWLEDGE ACQUISITION, MODELING AND MANAGEMENT, 1997, 1319 : 65 - 80
  • [26] 7TH WORKSHOP ON THE VALIDATION AND VERIFICATION OF KNOWLEDGE-BASED SYSTEMS
    PLANT, R
    AI MAGAZINE, 1995, 16 (03) : 69 - 70
  • [27] ViVa: a systematic approach to verification, improvement and validation of knowledge-based systems
    Hollnagel, Erik, 1600, Publ by Elsevier Science Publishers B.V., Amsterdam, Netherlands (09):
  • [28] Evaluation of interactive knowledge-based systems: Overview and design for empirical testing
    Lancaster, FW
    Ulvila, JW
    Humphrey, SM
    Smith, LC
    Allen, B
    Herner, S
    JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE, 1996, 47 (01): : 57 - 69
  • [29] Interactive, knowledge-based CAD/CAM systems for steel constructions.
    Pegels, Georg
    Stahlbau, 1988, 57 (11) : 321 - 324
  • [30] A fuzzy Petri net tool for modeling and verification of knowledge-based systems
    Koriem, SM
    COMPUTER JOURNAL, 2000, 43 (03): : 206 - 223
12345