Focussing Abductive Diagnosis

Article type: Research Article

Authors: Console, Luca | Portinale, Luigi | Theseider Dupré, Daniele

Affiliations: Dip. di Matematica e Informatica, Università di Udine, Via Zanon 6, I-33100 Udine, Italy, tel: +39 432 272305, fax: +39 432 510755, e-mail: lconsole@di.unito.it | Dip. di Informatica, Università di Torino, Corso Svizzera 185, I-10149 Torino, Italy, tel: +39 11 7712002, fax: +39 11 751603, e-mail: {portinal, dtd}@di.unito.it

Abstract: The aim of this paper is to present a novel approach to the problem of focusing abductive (model-based) diagnosis. The approach we propose is based on the use of compiled knowledge and, specifically, on the possibility of associating with each entity in a model a necessary condition for the presence of the entity itself. Such conditions embed the problem solving strategy and their evaluation on the data characterizing the problem to be solved allows us to prune the search space, yet preserving the completeness of the abductive process (in other words, only useless search is avoided). The use of compiled knowledge thus allows us to mitigate the problems arising from the computational complexity of the model based approach. The final part of the paper is devoted to a comparison of our approach with other ones and to a brief discussion on the role of knowledge compilation in model-based diagnosis.

DOI: 10.3233/AIC-1991-42-3006

Journal: AI Communications, vol. 4, no. 2-3, pp. 88-97, 1991