Inproceedings652: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Wikipedia python library) |
||
| (4 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
| − | {{Publikation | + | {{Publikation Erster Autor |
| − | | | + | |ErsterAutorNachname=Poeck |
| − | | | + | |ErsterAutorVorname=K. |
}} | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=2 | |Rank=2 | ||
|Author=Dieter Fensel | |Author=Dieter Fensel | ||
| + | }} | ||
| + | {{Publikation Author | ||
| + | |Rank=4 | ||
| + | |Author=Jürgen Angele | ||
}} | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=3 | |Rank=3 | ||
|Author=Dieter Landes | |Author=Dieter Landes | ||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{Inproceedings | {{Inproceedings | ||
| Zeile 24: | Zeile 24: | ||
|Abstract=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. | |Abstract=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. | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
| − | |||
|Projekt= | |Projekt= | ||
| − | |Forschungsgruppe= | + | |Forschungsgruppe=Wissensmanagement |
}} | }} | ||
Aktuelle Version vom 16. Oktober 2009, 17:31 Uhr
Combining KARL and Configurable Role Limiting Methods for Configuring Elevator Systems
Combining KARL and Configurable Role Limiting Methods for Configuring Elevator Systems
Published: 1994
Buchtitel: Proceedings of the 8th Knowledge Acquisition for Knowledge-Based Systems Workshop KAW'94 (Banff, Canada, January 30 - February 4)
Referierte Veröffentlichung
BibTeX
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.