Algorithmic Debugging and Hypothetical Reasoning

This paper presents a generalization of Shapiro style algorithmic debugging for generalized Horn clause intuitionistic logic. This logic offers hypothetical reasoning and negation is defined not by failure but by inconsistency. We extend Shapiro's notion of intended interpretation, symptoms and errors and give formal results paralleling those known for definite clauses. We also show how a corresponding diagnosis module for RISC- a logic programming system for generalized Horn clause intuitionistic logic-can be defined by meta interpretation. In contrast to Shapiro's PROLOG modules ours work independently of the specific computation rule that in RISC may be specified by the user.

[1]  J F Blackburn.  International Logic Programming Conference (2nd) Held at Uppsala, Sweden on 2-6 July 1984, , 1984 .

[2]  Clemens Beckstein.  Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz , 1988, Informatik-Fachberichte.

[3]  Ehud Shapiro,et al.  Abstract Algorithmic Debugging , 1988, ICLP/SLP.

[4]  L. Thorne McCarty,et al.  Clausal Intuitionistic Logic I - Fixed-Point Semantics , 1988, J. Log. Program..

[5]  Yves Deville,et al.  Logic programming - systematic program development , 1990, International series in logic programming.

[6]  Mireille Ducassé,et al.  A Pragmatic Survey of Automated Debugging , 1993, AADEBUG.

[7]  L. Thorne McCarty,et al.  Clausal Intuitionistic Logic II - Tableau Proof Procedures , 1988, J. Log. Program..

[8]  Ehud Shapiro,et al.  Algorithmic Program Debugging , 1983 .

[9]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[10]  Gérard Ferrand.  Error Diagnosis in Logic Programming, an Adaption of E. Y. Shapiro's Method , 1987, J. Log. Program..

[11]  Clemens Beckstein,et al.  Evolutionary Logic Programming with RISC , 1992, LPE.

[12]  D. M. Gabbay.  Elements of algorithmic proof , 1993, LICS 1993.

[13]  J. Dekleer.  An assumption-based TMS , 1986 .

[14]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[15]  Luís Moniz Pereira.  Rational Debugging in Logic Programming , 1986, ICLP.

[16]  Bharat Jayaraman,et al.  From Context-Free to Definite-Clause Grammars: A Type-Theoretic Approach , 1997, J. Log. Program..

[17]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[18]  Bart Demoen,et al.  Program Source as Model for Debugging Prolog , 1990, LPE.

[19]  John W. Lloyd,et al.  Analysis of Meta-Programs , 1989, META.

[20]  Lee Naish,et al.  The NU-Prolog Debugging Environment , 1989, ICLP.

[21]  Clemens Beckstein,et al.  What's in a Trace: The Box Model Revisited , 1993, AADEBUG.

[22]  D. Gabbay,et al.  Negation as inconsistency .I , 1986 .