Formal specification languages in knowledge and software engineering

被引：11
|
作者：
Fensel, D
机构：
[1] Department SWI, University of Amsterdam, 1018 WB Amsterdam
来源：
KNOWLEDGE ENGINEERING REVIEW | 1995年 / 10卷 / 04期
关键词：
D O I：
10.1017/S0269888900007566
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
During the last few years, a number of formal specification languages for knowledge-based systems (KBS) have been developed. Characteristics of such systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Languages for KBS have to cover both these aspects. They have to provide a means to specify a complex and large amount of knowledge and they have to provide a means to specify the dynamic reasoning behaviour of a KBS. Nevertheless, KBS are just a specific type of software system. Therefore, it seems quite natural to compare formal languages for specifying KBS with formal languages which were developed by the software community for specifying software systems. That is the subject of this paper.
引用
收藏
页码：361 / 404
页数：44
相关论文
共 50 条
  • [31] Formal Specification of Software Architecture Security Tactics
    Wyeth, Andrew
    Zhang, Cui
    [J]. 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010), 2010, : 172 - 175
  • [32] Formal Specification of Topological Evolution for Pipeline Software
    Zhou, H.
    Wang, X. M.
    Cai, Z. M.
    [J]. INTERNATIONAL CONFERENCE ON ADVANCED MANAGEMENT SCIENCE AND INFORMATION ENGINEERING (AMSIE 2015), 2015, : 595 - 601
  • [33] Integrating formal specification and software verification and validation
    Duke, R
    Miller, T
    Strooper, P
    [J]. TEACHING FORMAL METHODS, PROCEEDINGS, 2004, 3294 : 124 - 139
  • [34] Formal specification of evolving distributed software architectures
    Justo, GRR
    de Paula, VC
    Cunha, PRF
    [J]. NINTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 1998, : 548 - 553
  • [35] Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost
    Sijtema, M.
    Belinfante, A.
    Stoelinga, M. I. A.
    Marinelli, L.
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2014, 80 : 188 - 209
  • [36] Software engineering and formal methods
    Bernhard Aichernig
    Bernhard Beckert
    [J]. Software & Systems Modeling, 2008, 7 : 255 - 256
  • [37] Formal Methods and Software Engineering
    Serna Montoya, Edgar
    [J]. REVISTA VIRTUAL UNIVERSIDAD CATOLICA DEL NORTE, 2010, 30 : 158 - 184
  • [38] Software engineering and formal methods
    Hinchey, Mike
    Jackson, Michael
    Cousot, Patrick
    Cook, Byron
    Bowen, Jonathan P.
    Margaria, Tiziana
    [J]. COMMUNICATIONS OF THE ACM, 2008, 51 (09) : 54 - 59
  • [39] Software engineering and formal methods
    Aichernig, Bernhard
    Beckert, Bernhard
    [J]. SOFTWARE AND SYSTEMS MODELING, 2008, 7 (03): : 255 - 256
  • [40] FORMAL METHODS IN SOFTWARE ENGINEERING
    LEVESON, NG
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 929 - 931
12345