An illustration of verification and validation in the modeling phase of knowledge based systems

被引：0
|
作者：
Vanthienen, J [1 ]
Aerts, A [1 ]
Mues, C [1 ]
机构：
[1] CATHOLIC UNIV LEUVEN,DEPT APPL ECON SCI,B-3000 LOUVAIN,BELGIUM
来源：
CRITICAL TECHNOLOGY: PROCEEDINGS OF THE THIRD WORLD CONGRESS ON EXPERT SYSTEMS, VOLS I AND II | 1996年
关键词：
verification & validation; decision tables; KBS building tools;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：1024 / 1031
页数：8
相关论文
共 50 条
  • [21] Validation and verification of knowledge-based systems for power system control centres
    Santos, J
    Ramos, C
    Vale, Z
    Marques, A
    VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 221 - 235
  • [22] Validation and verification of knowledge-based systems:: report on EUROVAV99
    Coenen, F
    Bench-Capon, T
    Boswell, R
    Dibie-Barthélemy, J
    Eaglestone, B
    Gerrits, R
    Grégoire, E
    Ligeza, A
    Laita, L
    Owoc, M
    Sellini, F
    Spreeuwenberg, S
    Vanthienen, J
    Vermesan, A
    Wiratunga, N
    KNOWLEDGE ENGINEERING REVIEW, 2000, 15 (02): : 187 - 196
  • [23] 7TH WORKSHOP ON THE VALIDATION AND VERIFICATION OF KNOWLEDGE-BASED SYSTEMS
    PLANT, R
    AI MAGAZINE, 1995, 16 (03) : 69 - 70
  • [24] A fuzzy Petri net tool for modeling and verification of knowledge-based systems
    Koriem, SM
    COMPUTER JOURNAL, 2000, 43 (03): : 206 - 223
  • [25] A survey of tools for the validation and verification of knowledge-based systems: 1985-1995
    Murrell, S
    Plant, RT
    DECISION SUPPORT SYSTEMS, 1997, 21 (04) : 307 - 323
  • [26] Special issue on verification and validation issues in databases, knowledge-based systems, and ontologies
    O'Leary, D
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2001, 16 (03) : 263 - 264
  • [27] Verification and validation of a multistrategy knowledge-based system
    Ribeiro, FL
    VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 207 - 220
  • [28] VERIFICATION AND VALIDATION OF CASE-BASED SYSTEMS
    OLEARY, DE
    EXPERT SYSTEMS WITH APPLICATIONS, 1993, 6 (01) : 57 - 66
  • [29] INTERACTIVE VERIFICATION OF KNOWLEDGE-BASED SYSTEMS
    JAFAR, M
    BAHILL, AT
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1993, 8 (01): : 25 - 32
  • [30] 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
12345