Integrating Statistics, Numerical Analysis and Dependency-Recording in Model-Based Diagnosis.
Stefano CermignaniGiorgio TornielliPublished in: AI*IA (1991)
Keyphrases
- numerical analysis
- model based diagnosis
- diagnostic reasoning
- model based reasoning
- discrete event systems
- image enhancement
- dynamic systems
- fault localization
- consistency based diagnosis
- digital circuits
- repair actions
- constraint programming
- model checking
- physical systems
- dynamical systems
- computational complexity
- diagnostic systems
- diagnostic process
- failure diagnosis
- fault models
- qualitative models
- constraint satisfaction
- heuristic search
- medical images
- multi agent
- machine learning