Parsimonious Diagnosis in SNePS

  • Pedro A. de Matos
  • João P. Martins
Posters Theory of Computation
Part of the Lecture Notes in Computer Science book series (LNCS, volume 990)


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.


Automatic diagnosis and common sense reasoning 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Martins, J. P., Shapiro, S. C., “A Model for Belief Revision”, Artificial Intelligence 35, pp. 25–79, 1988.CrossRefGoogle Scholar
  2. 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
  3. 3.
    de Kleer, J., Williams, B. C., “Diagnosing Multiple Faults”, Artificial Intelligence 32, pp. 97–130, 1987.CrossRefGoogle Scholar
  4. 4.
    de Kleer, J., Macworth, A. K., Reiter, R., “Characterizing Diagnoses”, Proc. AAAI-90, pp. 324–330,1990.Google Scholar
  5. 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
  6. 6.
    Reiter, R., “Theory of Diagnosis from the First Principles”, Artificial Intelligence 32, pp. 57–95, 1987.CrossRefGoogle Scholar
  7. 7.
    Struss, P., Dressler, O., “Physical Negation — Integrating Fault Models into the General Diagnostic Engine”, Proc. IJCAI-89, pp. 1318–1323, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Pedro A. de Matos
    • 1
  • João P. Martins
    • 1
  1. 1.Secção de Sistemas/DEM, Instituto Superior TécnicoTechnical University of LisbonLisboa CodexPortugal

Personalised recommendations