DiKe - A Model-Based Diagnosis Kernel and Its Application.
Gerhard FleischanderlThomas HavelkaHerwig SchreinerMarkus StumptnerFranz WotawaPublished in: KI/ÖGAI (2001)
Keyphrases
- model based diagnosis
- model based reasoning
- dynamic systems
- fault localization
- discrete event systems
- diagnostic reasoning
- kernel function
- physical systems
- consistency based diagnosis
- constraint programming
- diagnostic systems
- digital circuits
- diagnostic process
- decision support system
- graphical models
- petri net
- constraint satisfaction problems
- logic programs
- failure diagnosis