Strategies in Model-based Diagnosis
P. Fröhlich, W. Nejdl, and M. Schroeder
Abstract
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, which allows 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.
Keywords: Strategies, Model-based Diagnosis
The full report is available as a
postscript file .