Parsimonious Diagnosis in SNePS
Kernel Diagnosis has been developed to overcome some problems found in Diagnosis from First Principles. Although the results obtained when using the Kernel Diagnosis method are not incorrect, this method is not parsimonious in the sense that every diagnosis must be computed in order to find the Kernel Diagnoses. The method we have developed re-introduces the parsimony criteria in the computation of the Kernel Diagnosis. According to our method the computation of every possible diagnosis is no longer needed and, therefore, the computation of the diagnoses may become greatly simplified. After presenting our method, we briefly introduce the SNePS Semantic Network and we present an implementation of the method based in SNePS.
KeywordsAutomatic diagnosis and common sense reasoning
Unable to display preview. Download preview PDF.
- 2.Martins, J. P., “Belief Revision”, Encyclopedia of Artificial Intelligence, vol. 1, S. C. Shapiro (ed.), John Willey & Sons, pp. 58–62, 1987.Google Scholar
- 4.de Kleer, J., Macworth, A. K., Reiter, R., “Characterizing Diagnoses”, Proc. AAAI-90, pp. 324–330,1990.Google Scholar
- 5.Matos, P. A., Diagnóstico Parcimonioso: Um Método de Detecção de Falhas. Master's Thesis. Lisbon, Portugal: Instituto Superior Técnico, Technical University of Lisbon, 1992.Google Scholar
- 7.Struss, P., Dressler, O., “Physical Negation — Integrating Fault Models into the General Diagnostic Engine”, Proc. IJCAI-89, pp. 1318–1323, 1989.Google Scholar