Abstract
The aim of this paper is to explain, in a tutorial style, the notions of symptom and error, and the relation between symptom and error, in declarative diagnosis of logic programs. The emphasis is on the declarative nature of these notions (they do not depend on a particular computational behaviour). Our framework is not a logical formalism but an inductive formalism.
This work was supported also in part by CNRS.
Preview
Unable to display preview. Download preview PDF.
References
P. Aczel. An Introduction to Inductive Definitions. Handbook of Mathematical Logic, J. Barwise (Ed) C.7, 739–782, Noth Holland, 1977.
K.R. Apt. Logic programming. Handbook of Theoretical Computer Science, J. Van Leeuween (Manag. Ed) Vol 2, Chapt 10, 493–574, Elsevier 1990.
M. Bergere, G. Ferrand. Inductive semantics and declarative approach of error diagnosis. ICLP'91 Preconference Workshop on Logic Programming Semantics and non Classical Logics, Paris 1991.
M. Bergere, G. Ferrand. (to appear)
M. Bergere. Approche declarative du diagnostic d'erreurs pour la Programmation en logique avec negation. Thesis, Orleans 1991.
P. Deransart, G. Ferrand. Advanced tutorial on proof methods and declarative diagnosis in Logic Programming. ICLP'89.
P. Deransart, J. Maluszynski. A Grammatical View of Logic Programming. MIT Press (to appear).
W. Drabent, S. Nadjm-Tehrani, J. Maluszynski. Algorithmic Debugging with Assertions. META'88 365–378, 1988.
G. Ferrand. Error diagnosis in Logic programming: an adaptation of E.Y. Shapiro's method. Journal of Logic programming, 4:177–198, 1987.
G. Ferrand, P. Deransart. Proof method of partial correctness and weak completeness for normal logic programs. Proc. Joint International Conference and Symposium on Logic Programming, MIT Press, 1992.
M. Fitting. A Kripke-Kleene semantics for logic programs. Journal of Logic programming, 2:295–312, 1985.
P. Fritzson, T. Gyimothy, M. Kamkar, N. Shahmehri. Generalized Algorithmic Debugging and Testing. Proc. ACM SIGPLAN'91 Conference on Programming Language Design and Implementation, Toronto, 1991, SIGPLAN Notices Vol 26, Nb 6, June 1991.
K. Kunen. Negation in Logic Programming. Journal of Logic programming, 4:289–308, 1987.
Y. Lichtenstein, E. Shapiro. Abstract Algorithmic Debugging. Proc. Joint International Conference and Symposium on Logic Programming, 512–530, MIT Press, 1988.
J. W. Lloyd. Foundations of Logic Programming. 2nd ed, Springer Verlag, 1987.
J. W. Lloyd. Declarative Error Diagnosis. New Generation Computing, 5:133–154, 1987.
L. Naish. Types and intended meaning. in Types in Logic programming 189–216, F. Pfenning (Ed), MIT Press 1992.
H. Nilsson, P. Fritzson. Algorithmic Debugging of Lazy functional languages. PLILP'92, LNCS 631, 1992.
L.M. Pereira. Rational Debugging in Logic Programming. 3th ICLP 203–210, LNCS 225.
E.Y. Shapiro. Algorithmic Program Debugging. ACM Distinguished Dissertation Series. MIT Press 1982.
J.C. Shepherdson. Negation in Logic Programming. Foundations of Deductive Databases and Logic Programming, J. Minker (Ed), Morgan Kaufmann Publishers, 1988, 19–88.
O. Shmueli, S. Tsur. Logical Diagnosis of LDL Programs. New generation Computing, 9 (1991) 277–303.
V. Thibau, J.P. Delahaye. Programming in three-valued logic. Theoretical Computer Science, vol 78: 189–216, 1991.
M. Van Emden, R. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM, 23(4): 733–742, 1976.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ferrand, G. (1993). The notions of symptom and error in declarative diagnosis of logic programs. In: Fritzson, P.A. (eds) Automated and Algorithmic Debugging. AADEBUG 1993. Lecture Notes in Computer Science, vol 749. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019399
Download citation
DOI: https://doi.org/10.1007/BFb0019399
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57417-0
Online ISBN: 978-3-540-48141-6
eBook Packages: Springer Book Archive