Strategies in model-based diagnosis
The ability to select suitable diagnostic assumptions and models extends the power of model-based diagnosis for complex systems and can explicitly be modeled by diagnostic strategies. We discuss a framework that allows one to express these strategies as formulas of a meta-language and present a method for designing strategy knowledge bases as well as an efficient straightforward operational semantics for exploiting them.
strategy model-based diagnosis