Formal methods in knowledge engineering

被引：5

作者：

VanHarmelen, F ^{[1
]}

Fensel, D ^{[1
]}

机构：

[1] UNIV AMSTERDAM, SWI, 1018 MT AMSTERDAM, NETHERLANDS

来源：

KNOWLEDGE ENGINEERING REVIEW | 1995年 / 10卷 / 04期

关键词：

D O I：

10.1017/S0269888900007554

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper presents a general discussion of the role of formal methods in knowledge engineering. We give an historical account of the development of the field of knowledge engineering towards the use of formal methods. Subsequently, we discuss the pros and cons of formal methods. We do this by summarising the proclaimed advantages, and by arguing against some of the commonly heard objections against formal methods. We briefly summarise the current state of the art and discuss the most important directions that future research in this field should take. This paper presents a general setting for the other contributions in this issue of the journal, which each deal with a specific issue in more detail.

引用

页码：345 / 360

页数：16