Exploring the Duality in Conflict-Directed Model-Based Diagnosis.
Roni Tzvi SternMeir KalechAlexander FeldmanGregory M. ProvanPublished in: AAAI (2012)
Keyphrases
- constraint satisfaction
- model based diagnosis
- conflict directed
- forward checking
- constraint programming
- constraint satisfaction problems
- variable ordering
- diagnostic reasoning
- model based reasoning
- dynamic systems
- consistency based diagnosis
- constraint propagation
- discrete event systems
- physical systems
- fault localization
- propositional satisfiability
- linear programming
- conflict resolution
- repair actions
- special case
- tree search
- qualitative and quantitative
- forward search
- diagnostic process
- model checking