Diagnosis and debugging as contradiction removal in logic programs
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.
KeywordsDiagnosis Debugging Non-monotonic Reasoning Logic Programming
Unable to display preview. Download preview PDF.
- 1.L. Console and P. Torasso. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7:133–141, 1991.Google Scholar
- 2.J. de Kleer and B.C. Williams. Diagnosis with behavioral modes. In Proc. IJCAI'89, pages 1329–1330, 1989.Google Scholar
- 3.M. R. Garey and D. S. Johnson. Computers and Intractability. Freeman and Co., 1979.Google Scholar
- 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.A. Guessoum and J. W. Lloyd. Updating knowledge bases. New Generation Computing, 8(1):71–89, 1990.Google Scholar
- 6.A. Guessoum and J. W. Lloyd. Updating knowledge bases II. New Generation Computing, 10(1):73–100, 1991.Google Scholar
- 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.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.J. W. Lloyd. Declarative error diagnosis. New Generation Computing, 5(2):133–154, 1987.Google Scholar
- 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.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.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.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.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.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.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.R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57–96, 1987.Google Scholar