Characterizing temporal abductive diagnosis

  title={Characterizing temporal abductive diagnosis},
  author={Paolo Terenziani and Daniele Theseider Dupr},
Several approaches have been proposed to deal with time in diagnosis. The goal of this paper is to propose a logical characterization of diagnosis with temporal knowledge, and, specifically, diagnosis with temporal constraints on the evolution of the system to be diagnosed. The characterization is independent of the speci c temporal constraint language being used and is an extension of an abductive characterization of atemporal diagnosis. In a companion paper [4] we discuss a computational… CONTINUE READING