Qualitative Temporal Behavior Description and Temporal Diagnosis Using Interval Algebra

Wolfgang Nejdl and Johann Gamper

Abstract

As noticed in some recent work, describing and diagnosing temporal behavior and faults is an important, but complex task. In this paper we discuss a new approach based on a subset of Allen's interval algebra, which extends previous work by allowing both the representation of qualitative temporal behavior (including symptoms over time) and the diagnosis of these systems.

Keywords: Model-Based Diagnosis, Temporal Reasoning, Dynamic Systems

The full paper is available as a postscript file .