Article562: Unterschied zwischen den Versionen
K (Added from ontology) |
Ne2260 (Diskussion | Beiträge) K (Textersetzung - „Forschungsgruppe=Wissensmanagement“ durch „Forschungsgruppe=Web Science und Wissensmanagement“) |
||
(6 dazwischenliegende Versionen von einem anderen Benutzer werden nicht angezeigt) | |||
Zeile 1: | Zeile 1: | ||
+ | {{Publikation Erster Autor | ||
+ | |ErsterAutorNachname=Fensel | ||
+ | |ErsterAutorVorname=Dieter | ||
+ | }} | ||
+ | {{Publikation Author | ||
+ | |Rank=4 | ||
+ | |Author=Annette ten Teije | ||
+ | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=3 | |Rank=3 | ||
Zeile 6: | Zeile 14: | ||
|Rank=2 | |Rank=2 | ||
|Author=Frank van Harmelen | |Author=Frank van Harmelen | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Article | {{Article | ||
Zeile 26: | Zeile 26: | ||
|Abstract=The paper provides an approach for developing reliable knowledge-based systems. Its main contributions are: Specification is done at an architectural level that abstracts from a specific implementation formalism. The model of expertise of CommonKADS distinguish different types of knowledge and describes their interaction. Our architecture refines this model and adds an additional level of formalization. The Karlsruhe Interactive Verifier KIV is used for specifying and verifying such architectures. We have chosen KIV for four reasons: (1) it provides the formal means required for specifying the dynamics of knowledge-based systems (i.e., dynamic logic), (2) it provides compositional specifications, (3) it provides an interactive theorem prover, and (4) last but not least it comes with a sophisticated tool environment developed in several realistic application projects. | |Abstract=The paper provides an approach for developing reliable knowledge-based systems. Its main contributions are: Specification is done at an architectural level that abstracts from a specific implementation formalism. The model of expertise of CommonKADS distinguish different types of knowledge and describes their interaction. Our architecture refines this model and adds an additional level of formalization. The Karlsruhe Interactive Verifier KIV is used for specifying and verifying such architectures. We have chosen KIV for four reasons: (1) it provides the formal means required for specifying the dynamics of knowledge-based systems (i.e., dynamic logic), (2) it provides compositional specifications, (3) it provides an interactive theorem prover, and (4) last but not least it comes with a sophisticated tool environment developed in several realistic application projects. | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
− | | | + | |Download=1998_562_Fensel_Formal_support__1.ps |
− | |||
− | |||
|Projekt= | |Projekt= | ||
− | |Forschungsgruppe= | + | |Forschungsgruppe=Web Science und Wissensmanagement |
}} | }} |
Aktuelle Version vom 11. November 2015, 07:59 Uhr
Formal support for Development of Knowledge-Based Systems
Formal support for Development of Knowledge-Based Systems
Veröffentlicht: 1998
Journal: Information Technology Management: An International Journal, special issue on Lessons Learned About Safety-Critical Software
Nummer: 4
Volume: 2
Referierte Veröffentlichung
Kurzfassung
The paper provides an approach for developing reliable knowledge-based systems. Its main contributions are: Specification is done at an architectural level that abstracts from a specific implementation formalism. The model of expertise of CommonKADS distinguish different types of knowledge and describes their interaction. Our architecture refines this model and adds an additional level of formalization. The Karlsruhe Interactive Verifier KIV is used for specifying and verifying such architectures. We have chosen KIV for four reasons: (1) it provides the formal means required for specifying the dynamics of knowledge-based systems (i.e., dynamic logic), (2) it provides compositional specifications, (3) it provides an interactive theorem prover, and (4) last but not least it comes with a sophisticated tool environment developed in several realistic application projects.
Download: Media:1998_562_Fensel_Formal_support__1.ps
Web Science und Wissensmanagement