A spectrum of de nitions for temporal model-based diagnosis

@inproceedings{Dupr1998ASO,
  title={A spectrum of de nitions for temporal model-based diagnosis},
  author={D. Theseider Dupr},
  year={1998}
}
  • D. Theseider Dupr
  • Published 1998
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 characterization of abductive temporal diagnosis presented in (Brusoni et al. 1996). We distinguish between di erent temporal phenomena that can be taken into account in diagnosis and we introduce a modeling language which can capture all such phenomena… CONTINUE READING