Home |  ENGLISH |  Kontakt |  Impressum |  Datenschutz |  Anmelden |  KIT

Inproceedings652

Aus Aifbportal

Wechseln zu: Navigation, Suche


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.



Forschungsgruppe

Wissensmanagement


Forschungsgebiet