Combining KARL and CRLM for designing vertical transportation systems

✍ Scribed by Karsten Poeck; Dieter Fensel; Dieter Landes; Jürgen Angele

• Book ID: 102967799
• Publisher: Elsevier Science
• Year: 1996
• Tongue: English
• Weight: 685 KB
• Volume: 44
• Category: Article
• ISSN: 1071-5819
• DOI: 10.1006/ijhc.1996.0021

✦ Synopsis

This paper describes a solution to the Sisyphus-II elevator-design problem by combining the formal specification language KARL and the configurable rolelimiting shell approach . A knowledge-based system configuring elevator systems is specified and implemented . First , the knowledge is described in a graphical and semi -formal manner influenced by the KADS models of expertise . A formal description is then gained by supplementing the semi-formal description with formal specifications which add a new level of precision and uniqueness . Finally , a generic shell for propose-and-revise systems is designed and implemented as the realization of the final system . This shell was derived by adapting the shellbox COKE , also used for the previous Sisyphus of fice-assignment problem . As a result of this integration , we get a description of the knowledge-based system at dif ferent levels corresponding to the dif ferent activities of its development process .