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 条
  • [31] Validation, verification and integrity in knowledge and data base systems: Future directions
    Coenen, F
    Eaglestone, B
    Ridley, M
    VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 297 - 311
  • [32] Verification and Validation Framework for Autonomous Rendezvous Systems in Terminal Phase
    Wang, Wenfei
    Menon, Prathyush
    Bates, Declan
    Ciabuschi, Simone
    Gomes Paulino, Nuno M.
    Di Sotto, Emanuele
    Bidaux, Ambroise
    Kron, Aymeric
    Salehi, Sohrab
    Bennani, Samir
    JOURNAL OF SPACECRAFT AND ROCKETS, 2015, 52 (02) : 625 - 628
  • [33] Verification of uncertain knowledge-based systems: An empirical verification approach
    OLeary, DE
    MANAGEMENT SCIENCE, 1996, 42 (12) : 1663 - 1675
  • [34] Modeling and verification of hybrid systems based on equations
    Ogata, K
    Yamagishi, D
    Seino, T
    Futatsugi, K
    DESIGN METHODS AND APPLICATIONS FOR DISTRIBUTED EMBEDDED SYSTEMS, 2004, 150 : 43 - 52
  • [35] Material modeling with verification and validation
    Tadano, Yuichi, 2018, Society of Materials Science Japan (67)
  • [36] Verification and validation of detonation modeling
    Xiao Liang
    Rui-li Wang
    Defence Technology, 2019, (03) : 398 - 408
  • [37] Verification and validation of detonation modeling
    Liang, Xiao
    Wang, Rui-li
    DEFENCE TECHNOLOGY, 2019, 15 (03) : 398 - 408
  • [38] Verification of multiple agent knowledge-based systems
    O'Leary, DE
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2001, 16 (03) : 361 - 376
  • [39] KNOWLEDGE VERIFICATION IN RULE-BASED INTELLIGENT SYSTEMS
    ZYKOVA, SA
    KOLCHIN, AF
    JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 1994, 32 (06) : 87 - 105
  • [40] 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
12345