Strategies in Model-based Diagnosis

    loading  Checking for direct PDF access through Ovid


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.

Related Topics

    loading  Loading Related Articles