DiKe - A Model-Based Diagnosis Kernel and Its Application

This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, and a graphical user interface to provide an integrated toolset for the development of model-based diagnosis applications. The framework has been used for representing a number of application domains. We present the AD2L language, the main user language for the system geared towards use by non-specialists, and discuss use of DiKe in various domains.

• Type: Conference
• Year: 2001
• Where: KI
• Authors: Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa
• Keywords: Artificial Intelligence, DiKe Model-based Diagnosis, KI 2001, Model-based Diagnosis, Model-based Diagnosis Applications