Using Belief Measurement to Guide Model-based Diagnosis.
X. HongWilliam G. ScanlonPublished in: Artificial Intelligence and Soft Computing (2000)
Keyphrases
- model based diagnosis
- diagnostic reasoning
- model based reasoning
- discrete event systems
- dynamic systems
- fault localization
- consistency based diagnosis
- constraint programming
- digital circuits
- belief revision
- diagnostic systems
- physical systems
- fault models
- failure diagnosis
- hardware designs
- case based reasoning
- qualitative models
- model checking