Extending Temporal Causal Graph For Diagnosis Problems

PosterInternational audienceAbductive diagnosis (Brusoni et al. 1998) consists in finding explanations for given observations by using rules of inference based on the causal dependences of the system. Time is important for abductive diagnosis (Hamscher and Davis 1984), (Hamscher, Console, and Kleer 1992). There are few works in litterature handling temporal diagnosis (Kautz 1999). They differ in the expressiveness of the temporal knowledge. We propose a new approach for Temporal Diagnosis Problems. This approach is an extension of Bouzid and Ligeza's method for temporal diagnosis problems. In this latter work, the authors define a Temporal Causal Graph (TCG) where time delays are expressed as temporal instants. We extend the TCG by including two quantitative relations in order to handle temporal intervals. We call ExTCG this new model. Solving a temporal diagnosis problem represented by the ExTCG consists of finding all possible explanations. It is performed using a backtrack search algorithm