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 条
  • [1] FORMAL SPECIFICATION LANGUAGES
    PARKER, J
    TITTERINGTON, G
    [J]. ELECTRONICS AND POWER, 1986, 32 (06): : 441 - 443
  • [2] Experiences in designing and using formal specification languages for embedded control software
    Leveson, NG
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2000, 1790 : 3 - 3
  • [3] Languages for the specification of software
    Cooke, D
    Gates, A
    Demirors, E
    Demirors, O
    Tanik, MM
    Kramer, B
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1996, 32 (03) : 269 - 308
  • [4] Formal specification of visual languages
    Gee, DM
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1998, 40 (07) : 359 - 367
  • [5] Formal and visual specification languages
    Hammad, A
    Tatibouët, B
    [J]. ISE'2001: PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON INFORMATION SYSTEMS AND ENGINEERING, 2001, : 173 - 179
  • [6] Software engineering education:: Roles of formal specification and design calculi
    Bjorner, D
    Cuéllar, JR
    [J]. ANNALS OF SOFTWARE ENGINEERING, 1998, 6 : 365 - 409
  • [7] Automated Software Specification and Design Using the SOFL Formal Engineering Method
    Liu, Shaoying
    Xue, Xiang
    [J]. 2009 WRI WORLD CONGRESS ON SOFTWARE ENGINEERING, VOL 4, PROCEEDINGS, 2009, : 283 - +
  • [8] Assessing the expressivity of formal specification languages
    Lopez, Natalia
    Nunez, Manuel
    Rodriguez, Ismael
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2006, 4019 : 220 - 234
  • [9] Formal engineering for industrial software development - An introduction to the SOFL specification language and method
    Liu, SY
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 7 - 8
  • [10] Panel on languages for formal specification of security protocols
    Meadows, C
    [J]. 10TH COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 1997, : 96 - 96
12345