Strategies in Model-based Diagnosis

  • Authors:
  • Peter Fröhlich;Wolfgang Nejdl;Michael Schroeder

  • Affiliations:
  • Institut für Rechnergestützte Wissensverarbeitung, Lange Laube 3, D-30159Hannover;Institut für Rechnergestützte Wissensverarbeitung, Lange Laube 3, D-30159 Hannover;Institut für Rechnergestützte Wissensverarbeitung, Lange Laube 3, D-30159 Hannover

  • Venue:
  • Journal of Automated Reasoning
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract

The ability to select suitable diagnostic assumptions and models extendsthe power of model-based diagnosis for complex systems and can explicitly bemodeled by diagnostic strategies. We discuss a framework that allows one toexpress these strategies as formulas of a meta-language and present a methodfor designing strategy knowledge bases as well as an efficientstraightforward operational semantics for exploiting them.