A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf
.
DiKe - A Model-Based Diagnosis Kernel and Its Application
[chapter]
2001
Lecture Notes in Computer Science
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.
doi:10.1007/3-540-45422-5_31
fatcat:3nlrzxiysbaa5nv3f5fri53kge