Reducing Model-Based Diagnosis to Knowledge Base Debugging.
Patrick RodlerKonstantin SchekotihinPublished in: DX (2017)
Keyphrases
- model based diagnosis
- knowledge base
- fault localization
- discrete event systems
- diagnostic reasoning
- model based reasoning
- dynamic systems
- consistency based diagnosis
- knowledge acquisition
- qualitative models
- hardware designs
- diagnostic systems
- failure diagnosis
- expert systems
- knowledge representation
- physical systems
- model checking
- digital circuits
- rule base
- background knowledge
- description logics
- knowledge structures
- knowledge based systems
- fuzzy logic