DiKe - A model based diagnosis kernel and its application
Date
2001
Authors
Fleischanderl, G.
Havelka, T.
Schreiner, H.
Stumptner, M.
Wotawa, F.
Editors
Baader, F.
Brewka, G.
Eiter, T.
Brewka, G.
Eiter, T.
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Conference paper
Citation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001 / Baader, F., Brewka, G., Eiter, T. (ed./s), vol.2174, pp.440-454
Statement of Responsibility
Conference Name
24th German / 9th Austrian Conference on Artificial Intelligence (KI 2001) (19 Sep 2001 : Vienna, Austria)
Abstract
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.