Formal methods in knowledge engineering
1995 ◽
Vol 10
(4)
◽
pp. 345-360
◽
Keyword(s):
AbstractThis 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.
2016 ◽
Vol 3
(1)
◽
Keyword(s):
Keyword(s):
2013 ◽
Vol 24
(8)
◽
pp. 1465-1480
◽
Keyword(s):
2021 ◽
pp. 095440702110045
Keyword(s):
Keyword(s):
2016 ◽
Vol 8
(1)
◽
pp. 55-75
◽
2011 ◽
Vol 21
(3)
◽
pp. 88-95
◽
Keyword(s):