Stage-oe-small.jpg

Techreport653: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
K (Added from ontology)
K (Added from ontology)
Zeile 1: Zeile 1:
 +
{{Publikation Erster Autor
 +
|ErsterAutorNachname=Poeck
 +
|ErsterAutorVorname=K.
 +
}}
 
{{Publikation Author
 
{{Publikation Author
 
|Rank=2
 
|Rank=2
Zeile 4: Zeile 8:
 
}}
 
}}
 
{{Publikation Author
 
{{Publikation Author
|Rank=1
+
|Rank=3
|Author=K. Poeck
+
|Author=Dieter Landes
 
}}
 
}}
 
{{Publikation Author
 
{{Publikation Author
 
|Rank=4
 
|Rank=4
 
|Author=Jürgen Angele
 
|Author=Jürgen Angele
}}
 
{{Publikation Author
 
|Rank=3
 
|Author=Dieter Landes
 
 
}}
 
}}
 
{{Techreport
 
{{Techreport

Version vom 8. September 2009, 10:04 Uhr


Combining KARL and Configurable Role Limiting Methods for Configuring Elevator Systems




Published: 1994 Februar
Nummer: 292
Institution: University of Karlsruhe, Institute AIFB
Erscheinungsort / Ort: 76128 Karlsruhe, Germany
Archivierungsnummer:653

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.



Forschungsgebiet