Techreport653: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Wikipedia python library) |
||
(3 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
Zeile 1: | Zeile 1: | ||
+ | {{Publikation Erster Autor | ||
+ | |ErsterAutorNachname=Poeck | ||
+ | |ErsterAutorVorname=K. | ||
+ | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=2 | |Rank=2 | ||
|Author=Dieter Fensel | |Author=Dieter Fensel | ||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Publikation Author | {{Publikation Author | ||
Zeile 22: | Zeile 22: | ||
|Institution=University of Karlsruhe, Institute AIFB | |Institution=University of Karlsruhe, Institute AIFB | ||
|Number=292 | |Number=292 | ||
− | | | + | |Archivierungsnummer=653 |
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
Zeile 28: | Zeile 28: | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
|Projekt= | |Projekt= | ||
− | |Forschungsgruppe= | + | |Forschungsgruppe=Wissensmanagement |
}} | }} |
Aktuelle Version vom 16. Oktober 2009, 17:23 Uhr
Published: 1994
Februar
Nummer: 292
Institution: University of Karlsruhe, Institute AIFB
Erscheinungsort / Ort: 76128 Karlsruhe, Germany
Archivierungsnummer: 653
Kurzfassung
In this paper, we describe a solution to the Sisyphus elevator configuration problem by combining the formal and operational specification language KARL and the configurable role-limiting shell approach. The knowledge is described in a graphical and semiformal manner which is influenced by the KADS models of expertise. A formal description is gained by supplementing the semiformal description with formal specifications which add a new level of precision and uniqueness. A role limiting shell for propose-and-revise systems was designed and implemented as realization of the final system. This shell has been derived by adapting another shell which is based on a similar problem-solving method, namely the propose-and-exchange method.