Design and implementation of diagnostic strategies using modal logic

verfasst von

Peter Fröhlich, Wolfgang Nejdl, 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, FrShlich 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.

Organisationseinheit(en)

Fachgebiet Wissensbasierte Systeme

Typ

Aufsatz in Konferenzband

Seiten

104-118

Anzahl der Seiten

15

Publikationsdatum

1996

Publikationsstatus

Veröffentlicht

Peer-reviewed

Ja

ASJC Scopus Sachgebiete

Theoretische Informatik, Allgemeine Computerwissenschaft