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
中图分类号：
学科分类号：
摘要：
16
引用
收藏
页码：163 / 168
相关论文
共 50 条
  • [1] Fuzzy knowledge-based and model-based systems
    Majumdar, Kausik Kumar
    Majumder, Dwijesh Dutta
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2007, 18 (04) : 391 - 403
  • [2] 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
  • [3] Model-based testing and validation on knowledge-based systems
    Liu, Gang
    Liu, Qun
    Xie, Peng
    PROCEEDINGS OF 2007 IEEE INTERNATIONAL CONFERENCE ON GREY SYSTEMS AND INTELLIGENT SERVICES, VOLS 1 AND 2, 2007, : 1242 - 1245
  • [4] 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
  • [5] INTERACTIVE VERIFICATION OF KNOWLEDGE-BASED SYSTEMS
    JAFAR, M
    BAHILL, AT
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1993, 8 (01): : 25 - 32
  • [6] 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
  • [7] 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
  • [8] MODEL-BASED KNOWLEDGE-BASED OPTICAL PROCESSORS
    CASASENT, D
    LIEBOWITZ, SA
    APPLIED OPTICS, 1987, 26 (10): : 1935 - 1942
  • [9] 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
  • [10] KNOWLEDGE-BASED SYSTEMS - VERIFICATION, VALIDATION, AND TESTING
    CHILDRESS, R
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1992, 7 (01): : 73 - 75
12345