A spectrum of de nitions for temporal model-based diagnosis.(7)

In this paper we present an extension of the spectrum of logical de nitions of model-based diagnosis introduced in (Console &Torasso 1991b). The extended spectrum considers the case of temporal model-based diagnosis and generalizes the logical characteriza

Consistency-basedLogical notion

of explanationAbduction

Temporal

ConsistencyTemporalEntailment

Notion of Temporal Explanation