Conflict-Based Diagnosis: Adding Uncertainty to Model-based Diagnosis.
Ildikó FleschPeter J. F. LucasTheo P. van der WeidePublished in: IJCAI (2007)
Keyphrases
- model based diagnosis
- model based reasoning
- consistency based diagnosis
- discrete event systems
- diagnostic reasoning
- fault localization
- dynamic systems
- digital circuits
- constraint programming
- failure diagnosis
- model checking
- conflict resolution
- diagnostic systems
- fault models
- physical systems
- decision support system
- temporal constraints
- fault model
- diagnostic process