Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis.
Pietro TorassoGianluca TortaPublished in: Reasoning, Action and Interaction in AI Theories and Systems (2006)
Keyphrases
- complexity analysis
- model based diagnosis
- model counting
- knowledge compilation
- decomposable negation normal form
- model checking
- model based reasoning
- theoretical analysis
- consistency based diagnosis
- dynamic systems
- fault localization
- lower bound
- discrete event systems
- diagnostic reasoning
- digital circuits
- polynomial size
- satisfiability testing
- ordered binary decision diagrams
- boolean functions
- diagnostic systems
- physical systems
- qualitative models
- first order logic
- failure diagnosis
- repair actions
- prime implicates
- fault models
- computational complexity
- inductive logic programming
- diagnostic process
- inference rules
- complex systems
- artificial intelligence