Affiliations: Program and System Engineering, Siemens Austria, Erdbergerlände 26, A‐1030 Vienna, Austria E‐mail: {Gerhard.Fleischanderl, Herwig.Schreiner}@siemens.at | Institut für Informationssysteme, Database and Artificial Intelligence Group, Technische Universität Wien, Favoritenstraße 9–11, A‐1040 Wien, Austria E‐mail: havelka@dbai.tuwien.ac.at | Advanced Computing Research Center, University of South Australia, 5095 Mawson Lakes (Adelaide) SA, Australia E‐mail: mst@cs.unisa.edu.au | Institute for Software Technology, Technische Universität Graz, Inffeldgasse 16b/II, A‐8010 Graz, Austria E‐mail: wotawa@ist.tu‐graz.ac.at
Note: [] Corresponding author.
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 the use of DiKe in various domains.
