A new diagnosis approach by deduction and abduction

Abstract

Much research has been devoted to diagnosis, where two main approaches have been pointed out: the empirical-based diagnostic approach and the model-based diagnostic one. Three two approaches can be characterised by the kind of knowledge that has to be specified and the diagnosis method that has to be used. However, it seems particularly difficult in real-world applications to obtain a complete description of the faulty (dually, correct) behaviour of a system. Our contribution is a diagnostic procedure based on both deduction and abduction, which is sufficiently flexible to deal with several presentations of the knowledge. Both deductive and abductive steps rely on the same first-order theorem proving strategy.