Diagnosis and debugging as contradiction removal in logic programs

  • Luís Moniz Pereira
  • Carlos Viegas Damásio
  • José Júlio Alferes
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 727)


We apply to normal logic programs with integrity rules a contradiction removal approach, and use it to uniformly treat diagnosis and debugging, and as a matter of fact envisage programs as artifacts and fault-finding as debugging. Our originality resides in applying to such programs the principle that if an assumption leads to contradiction then it should be revised: assumptions are not A literals with no rules for A; contradiction is violation of an integrity rule; and revision consists in assuming A instead. Since revised assumptions may introduce fresh contradictions the revision process must be iterated. To do so we've devised an algorithm which is sound and complete.

Our use of normal logic programs extends that of Horn programs made by Konolige, and so adds expressiveness to the causal part of his framework. Non-abnormalities are assumed rather than abduced, and are revised only if they result in contradiction; simple logic programming techniques achieve it.


Diagnosis Debugging Non-monotonic Reasoning Logic Programming 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    L. Console and P. Torasso. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7:133–141, 1991.Google Scholar
  2. 2.
    J. de Kleer and B.C. Williams. Diagnosis with behavioral modes. In Proc. IJCAI'89, pages 1329–1330, 1989.Google Scholar
  3. 3.
    M. R. Garey and D. S. Johnson. Computers and Intractability. Freeman and Co., 1979.Google Scholar
  4. 4.
    R. Greiner, B. A. Smith, and R. W. Wilkerson. A correction to the algorithm in reiter's theory of diagnosis. Artificial Intelligence, 41:79–88, 1989.Google Scholar
  5. 5.
    A. Guessoum and J. W. Lloyd. Updating knowledge bases. New Generation Computing, 8(1):71–89, 1990.Google Scholar
  6. 6.
    A. Guessoum and J. W. Lloyd. Updating knowledge bases II. New Generation Computing, 10(1):73–100, 1991.Google Scholar
  7. 7.
    A. C. Kakas and P. Mancarella. Generalised stable models: A semantics for abduction. In Proc. ECAI'90, pages 401–405, 1990.Google Scholar
  8. 8.
    K. Konolige. Using default and causal reasoning in diagnosis. In C. Rich B. Nebel and W. Swartout, editors, Proc. KR'92, pages 509–520. Morgan Kaufmann, 1992.Google Scholar
  9. 9.
    J. W. Lloyd. Declarative error diagnosis. New Generation Computing, 5(2):133–154, 1987.Google Scholar
  10. 10.
    L. M. Pereira, J. J. Alferes, and J.N. Aparício. Contradiction removal within well founded semantics. In W. Marek A. Nerode and V.S. Subrahmanian, editors, Proc. Logic Programming and NonMonotonic Reasoning'91, pages 105–119. MIT press, 1991.Google Scholar
  11. 11.
    L. M. Pereira, J. J. Alferes, and J.N. Aparício. Contradiction removal semantics with explicit negation. In Proc. Applied Logic Conf., Amsterdam, 1992. ILLC.Google Scholar
  12. 12.
    L. M. Pereira, J. J. Alferes, and J.N. Aparício. Logic programming for nonmonotonic reasoning. In Proc. Applied Logic Conf., Amsterdam, 1992. ILLC.Google Scholar
  13. 13.
    L. M. Pereira, J. J. Alferes, and C. Damásio. The sidetracking principle applied to well founded semantics. In Proc. Simpósio Brasileiro de Inteligência Artificial SBIA '92, pages 229–242, 1992.Google Scholar
  14. 14.
    L. M. Pereira, J.N. Aparício, and J. J. Alferes. Derivation procedures for extended stable models. In Proc. IJCAI-91. Morgan Kaufmann, 1991.Google Scholar
  15. 15.
    L. M. Pereira, C. Damásio, and J. J. Alferes. Diagnosis and debugging as contradiction removal. In L. M. Pereira and A. Nerode, editors, 2nd Int. Ws. on Logic Programming and NonMonotonic Reasoning, pages 316–330. MIT Press, 1993.Google Scholar
  16. 16.
    C. Preist and K. Eshghi. Consistency-based and abductive diagnoses as generalised stable models. In Proc. Fifth Generation Computer Systems'92. ICOT, 1992.Google Scholar
  17. 17.
    R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57–96, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Luís Moniz Pereira
    • 1
  • Carlos Viegas Damásio
    • 1
  • José Júlio Alferes
    • 1
  1. 1.CRIA, Uninova and DCSU. Nova de LisboaMonte da CaparicaPortugal

Personalised recommendations