Design and Implementation of Diagnostic Strategy using Modal Logic

Peter FrÖhlich, Wolfgang Nejdl, and Michael 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. Recently, Nejdl, Fröhlich and Schroeder have developed a framework, which allows to express these strategies as formulas of a meta--language. This paper presents a method for designing strategy knowledge bases as well as an efficient straightforward operational semantics for exploiting them.

Keywords: Diagnosis The full report is available as a postscript file .