DiKe: a model-based diagnosis kernel and its application

Authors:
Gerhard Fleischanderl;Thomas Havelka;Herwig Schreiner;Markus Stumptner;Franz Wotawa
Affiliations:
Program and System Engineering, Siemens Austria, Erdbergerlände 26, A-1030 Vienna, Austria;Institut für Informationssysteme, Database and Artificial Intelligence Group, Technische Universität Wien, Favoritenstraße 9-11, A-1040 Wien, Austria;Program and System Engineering, Siemens Austria, Erdbergerlände 26, A-1030 Vienna, Austria;Advanced Computing Research Center, University of South Australia, 5095 Mawson Lakes (Adelaide) SA, Australia;Institute for Software Technology, Technische Universität Graz, Inffeldgasse 16b/II, A-8010 Graz, Austria
Venue:
AI Communications - Special issue on KI-2001
Year:
2002

Citing 18
Cited 0

Qualitative process theory

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
A theory of diagnosis from first principles

Artificial Intelligence
Diagnosing multiple faults

Artificial Intelligence
A correction to the algorithm in Reiter's theory of diagnosis

Artificial Intelligence
Physical impossibility instead of fault models

Readings in model-based diagnosis
KQML as an agent communication language

Software agents
Model-based diagnosis of hardware designs

Artificial Intelligence
Diagnosing tree-structured systems

Artificial Intelligence
Debugging Functional Programs

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
JADE - AI Support for Debugging Java Programs

ICTAI '00 Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence
Model-based reasoning

AI Communications
Generating on-board diagnostics of dynamic automotive systems based on qualitative models[1].

AI Communications
Supervision applied to nuclear fuel reprocessing

AI Communications
A prototype for model-based on board diagnosis of automotive systems

AI Communications
Industrial applications of model-based reasoning

AI Communications
Integrating model-based diagnosis techniques into current work processes --- three case studies from the INDIA project

AI Communications
A reactive planner for a model-based executive

IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Diagnosing tree-decomposable circuits

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2

Quantified Score

Hi-index	0.00

Visualization

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.