Supporting Model-based Diagnosis with Explanation-based Learning and Analogical Inferences.
Dieter SpechtSabine WeißPublished in: IEA/AIE (1992)
Keyphrases
- model based diagnosis
- explanation based learning
- domain theory
- inductive learning
- model based reasoning
- dynamic systems
- discrete event systems
- domain knowledge
- diagnostic reasoning
- machine learning
- fault localization
- physical systems
- search control rules
- qualitative reasoning
- background knowledge
- inference rules
- macro operators
- constraint programming
- model checking
- learned rules
- fault models
- dependency directed backtracking
- search control knowledge
- training examples
- active learning
- search algorithm