Sciweavers

Share
KI
2001
Springer

DiKe - A Model-Based Diagnosis Kernel and Its Application

10 years 5 months ago
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.
Gerhard Fleischanderl, Thomas Havelka, Herwig Schr
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where KI
Authors Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa
Comments (0)
books