Using Model-Based Diagnosis to Build Hypotheses about Spatial Environments: A Response to a Technical Challenge.
Oliver ObstPublished in: RoboCup (2003)
Keyphrases
- model based diagnosis
- technical challenges
- diagnostic reasoning
- model based reasoning
- consistency based diagnosis
- fault localization
- digital circuits
- discrete event systems
- dynamic systems
- physical systems
- spatial information
- constraint programming
- diagnostic systems
- repair actions
- technical issues
- hardware designs
- reinforcement learning
- qualitative models
- failure diagnosis
- model checking
- complex systems