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 条
  • [41] A Knowledge-based Framework for Building Energy Model Performance Verification
    Chen, Yan
    Lerond, Jeremy
    Lei, Xuechen
    Rosenberg, Michael
    Vrabie, Draguna
    PROCEEDINGS OF BUILDING SIMULATION 2021: 17TH CONFERENCE OF IBPSA, 2022, 17 : 1943 - 1950
  • [42] A Conceptual Model of Adaptive Knowledge-Based Systems
    Deng, Pi-Sheng
    Chaudhury, Abhijit
    INFORMATION SYSTEMS RESEARCH, 1992, 3 (02) : 127 - 149
  • [43] Generic model of knowledge-based systems tools
    1600,
  • [44] KNOWLEDGE-BASED SYSTEMS
    BUCHANAN, BG
    BOBROW, D
    DAVIS, R
    MCDERMOTT, J
    SHORTLIFFE, EH
    ANNUAL REVIEW OF COMPUTER SCIENCE, 1989, 4 : 395 - 416
  • [45] Case-based reasoning for medical knowledge-based systems
    Schmidt, R
    Gierl, L
    MEDICAL INFOBAHN FOR EUROPE, PROCEEDINGS, 2000, 77 : 720 - 725
  • [46] KNOWLEDGE-BASED SYSTEMS
    DAVIS, R
    SCIENCE, 1986, 231 (4741) : 957 - 963
  • [47] KNOWLEDGE-BASED SYSTEMS
    TALBOT, A
    RADIATION PROTECTION DOSIMETRY, 1995, 57 (1-4) : 501 - 501
  • [48] CONCEPTUAL MODEL-BASED REASONING FOR KNOWLEDGE-BASED SOFTWARE PROJECT-MANAGEMENT
    BIMSON, KD
    BURRIS, LB
    PROCEEDINGS OF THE TWENTY-FIRST, ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOLS 1-4: ARCHITECTURE TRACK, SOFTWARE TRACK, DECISION SUPPORT AND KNOWLEDGE BASED SYSTEMS TRACK, APPLICATIONS TRACK, 1988, : 255 - 265
  • [49] MODEL-BASED SYSTEMS ANALYSIS - METHODOLOGY AND CASE STUDY
    ROCKART, JF
    SLOAN MANAGEMENT REVIEW, 1970, 11 (02): : 1 - 14
  • [50] 7TH WORKSHOP ON THE VALIDATION AND VERIFICATION OF KNOWLEDGE-BASED SYSTEMS
    PLANT, R
    AI MAGAZINE, 1995, 16 (03) : 69 - 70
12345