DiKe - A Model-Based Diagnosis Kernel and Its Application

Authors:
Gerhard Fleischanderl;Thomas Havelka;Herwig Schreiner;Markus Stumptner;Franz Wotawa
Affiliations:
-;-;-;-;-
Venue:
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Year:
2001

Citing 21
Cited 1

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
Locating bugs in Java programs - first results of the Java diagnosis experiments project

IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
Diagnosing tree-structured systems

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
"Physical negation": integrating fault models into the general diagnostic engine

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Debugging functional programs

IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
COMODEL: a language for the representation of technical knowledge

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Diagnosing tree-decomposable circuits

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

Model-based cognitive diagnosis of students' test performance in an e-learning environment

ICWL'10 Proceedings of the 2010 international conference on New horizons in web-based learning

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 use of DiKe in various domains.