Minimal Model Semantics for Diagnosis

W. Nejdl and P. Fröhlich

Abstract

In this paper we discuss the main techniques of the modelbased reasoning system DRUM-2, a system using minimal model semantics for computing diagnoses. We describe different techniques (including techniques used in previous systems, their drawbacks and the necessary improvements in DRUM-2) and show some preliminary runtime results using the combinatorial circuits from the ISCAS-85 benchmarks.

Keywords: Diagnosis, Benchmarks

The full report is available as a postscript file .