Evaluating a formal KBS specification language

被引：3
|
作者：
vanHarmelen, F [1 ]
Aben, M [1 ]
Ruiz, F [1 ]
vandePlassche, J [1 ]
机构：
[1] UNIV NIJMEGEN,NIJMEGEN,NETHERLANDS
来源：
IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS | 1996年 / 11卷 / 01期
关键词：
D O I：
10.1109/64.482959
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Formal specification languages can improve the development of knowledge-based systems (KBS), but several problems limit their usefulness. (ML)2, a formal language based on the knowledge models used in the CommonKADS KBS development method, avoids many of these problems. (ML)2 specifically aims at formalizing the CommonKADS expertise model. To analyze (ML)2 usability, a set of evaluation criteria was designed. A small case study was then performed, constructing and expertise model in (ML)2, to test and refine this criteria.
引用
收藏
页码：56 / 62
页数：7
相关论文
共 50 条
  • [1] English as a formal specification language
    Schwitter, R
    [J]. 13TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2002, : 228 - 232
  • [2] LANGUAGE FOR FORMAL PROBLEM SPECIFICATION
    GREIF, I
    [J]. COMMUNICATIONS OF THE ACM, 1977, 20 (12) : 931 - 935
  • [3] Alneelain: A Formal Specification Language
    Ali, Nahid A.
    Mirghani, Amal A.
    Ibrahim, Abdelrasoul Y.
    [J]. 2017 INTERNATIONAL CONFERENCE ON COMMUNICATION, CONTROL, COMPUTING AND ELECTRONICS ENGINEERING (ICCCCEE), 2017,
  • [4] ConSpec - A formal language for policy specification
    Aktug, Irem
    Naliuka, Katsiaryna
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2008, 74 (1-2) : 2 - 12
  • [5] A formal specification language for agent conversations
    Soriano, J
    Alonso, F
    López, G
    [J]. MULTI-AGENT SYSTEMS AND APPLICATIONS III, PROCEEDINGS, 2003, 2691 : 214 - 225
  • [6] Formal Specification of a Particular Banking Domain with RAISE Specification Language
    Nami, Mohammad Reza
    Malekpour, Abbas
    [J]. 2008 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, 2008, : 7 - +
  • [7] A Language for Biochemical Systems: Design and Formal Specification
    Pedersen, Michael
    Plotkin, Gordon D.
    [J]. TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY XII, 2010, 5945 : 77 - 145
  • [8] ConSpec- A Formal Language for Policy Specification
    Aktug, Irem
    Naliuka, Katsiaryna
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 197 (01) : 45 - 58
  • [9] On the Formal Semantics of MiniMaple and its Specification Language
    Khan, Muhammad Taimoor
    [J]. 10TH INTERNATIONAL CONFERENCE ON FRONTIERS OF INFORMATION TECHNOLOGY (FIT 2012), 2012, : 169 - 174
  • [10] On a GUI based editor for a formal specification language
    Ishikawa, I
    [J]. NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2004, 111 : 241 - 248
12345