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 条
  • [41] 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
  • [42] Knowledge verification of active rule-based systems
    Chavarria-Baez, Lorena
    Li, Xiaoou
    INTELLIGENT CONTROL AND AUTOMATION, 2006, 344 : 676 - 687
  • [43] Verification of multiple agent knowledge-based systems
    O'Leary, DE
    NINTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 1998, : 36 - 40
  • [44] ISSUES IN THE VERIFICATION OF KNOWLEDGE IN RULE-BASED SYSTEMS
    NAZARETH, DL
    INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1989, 30 (03): : 255 - 271
  • [45] 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
  • [46] KNOWLEDGE BASED SYSTEMS - A MODELING PERSPECTIVE
    ELZORKANY, HI
    PROCEEDINGS OF THE 1989 SUMMER COMPUTER SIMULATION CONFERENCE, 1989, : 575 - 580
  • [47] Verification and Validation Issues in Systems of Systems
    Honour, Eric
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (133): : 2 - 7
  • [48] STATE-OF-THE-PRACTICE IN KNOWLEDGE-BASED SYSTEM VERIFICATION AND VALIDATION
    HAMILTON, D
    KELLEY, K
    CULBERT, C
    EXPERT SYSTEMS WITH APPLICATIONS, 1991, 3 (04) : 403 - 410
  • [49] Knowledge-based system verification, validation, and testing: The evolution of a discipline
    Nazareth, Derek L.
    Kennedy, Miles H.
    International Journal of Expert Systems, 1993, 6 (02): : 143 - 162
  • [50] EUROVAV-91 - EUROPEAN WORKSHOP ON VERIFICATION AND VALIDATION OF KNOWLEDGE BASED SYSTEMS (V-AND-V KBS)
    HUTTON, DM
    KYBERNETES, 1992, 21 (02) : 67 - 67
12345