Article633: Unterschied zwischen den Versionen
K (Wikipedia python library) |
Ne2260 (Diskussion | Beiträge) K (Textersetzung - „Forschungsgruppe=Wissensmanagement“ durch „Forschungsgruppe=Web Science und Wissensmanagement“) |
||
Zeile 20: | Zeile 20: | ||
|Download=1995_633_van Harmelen_Formal_Methods__1.ps.gz | |Download=1995_633_van Harmelen_Formal_Methods__1.ps.gz | ||
|Projekt= | |Projekt= | ||
− | |Forschungsgruppe=Wissensmanagement | + | |Forschungsgruppe=Web Science und Wissensmanagement |
}} | }} |
Aktuelle Version vom 11. November 2015, 08:00 Uhr
Formal Methods in Knowledge Engineering
Formal Methods in Knowledge Engineering
Veröffentlicht: 1995
Journal: The Knowledge Engineering Review
Nummer: 4
Volume: 10
Referierte Veröffentlichung
Kurzfassung
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 pro's 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.
Download: Media:1995_633_van Harmelen_Formal_Methods__1.ps.gz
Web Science und Wissensmanagement