Harnessing the Power of Temporal Abstractions in Modelbased
Diagnosis of Dynamic Systems
Wolfgang Nejdl and Johann Gamper
Abstract
In this paper we extend our previous work in the area of temporal
diagnostic reasoning. Based on a logical framework extended by
qualitative temporal constraints we show how to describe behavioral
models (both consistency- and abductive-based), discuss how to use
abstract observations and show how abstract temporal diagnoses are
computed. This yields an expressive framework which makes computation
and representation independent of the number of observations and
timepoints in a temporal setting. An example of hepatitis diagnosis is
used throughout the paper.
Keywords: Model-Based Diagnosis, Temporal Reasoning,
Qualitative Temporal Abstraction, Dynamic Systems
The full paper is available as a postscript
file .