Abstract
Whether logic programming is declarative depends on the technical condition of soundness and completeness: answers produced by resolution should be exactly the logical consequences of an easily understandable completion of the program. For SLDNF-resolution (on which Prolog is based), and for programs with negation, this goal has not yet been achieved, even at the propositional level.
In this paper we prove soundness and completeness of SLDNF-resolution for the full class of propositional programs with negation (including normal programs). This is done in several ways: in classical, intuitionistic, intermediate, and modal logics. In each version we use an intuitively natural program completion, which is different from Clark's completion. The results of the paper can be of interest for rule-based expert systems which represent knowledge in propositional logic.
Preview
Unable to display preview. Download preview PDF.
References
K. R. Apt, Introduction to Logic Programming, in J. Van Leeuven, editor, Handbook of Theoretical Computer Science, North Holland, 1989.
K. R. Apt, H. A. Blair and A. Walker, Towards a Theory of Declarative knowledge, in [17], pp. 89–148.
K. R. Apt and M. H. van Emden, Contributions to the Theory of Logic Programming, J. ACM 29, 3, July 1982, pp. 841–862.
L. Cavedon and J. W. Lloyd, A Completeness Theorem for SLDNF Resolution, Journal of Logic Programming, 1989, vol. 7, No 3, pp. 177–192.
K. L. Clark, Negation as Failure, in Logic and Databases, H. Gallaire and J. Minker (eds.), Plenum Press, New York, 1978, 193–322.
K. L. Clark, Predicate Logic as a Computational Formalism, Research Report DOC 79/59, Dept. of Computing, Imperial College, 1979.
M. Fitting and M. Ben Jacob, Stratified and Three-valued Logic Programming Semantics, in [13], pp. 1054–1069.
D. Gabbay, Modal Provability Foundations for Negation as Failure I, 4th draft, Feb 1989, unpublished.
J. Jaffar, J.-L. Lassez and J. W. Lloyd, Completeness of the negation as failure rule, IJCAI-83, Karlsruhe, 1983, pp. 500–506.
R. A. Kowalski, Predicate Logic as a Programming Language, Information Processing '74, Stockholm, North Holland, 1974, pp. 569–574.
R. A. Kowalski, Algorithm=Logic + Control, Communications of the ACM 22, 7, July 1979, pp. 424–436.
R. A. Kowalski, The Relation Between Logic Progamming and Logic Specification, in C. A. R. Hoare and J. C. Shepherdson (eds.) Mathematical Logic and Programming Languages, Prentice Hall, Englewood Cliffs, N.J. 1985, pp. 11–27.
R. A. Kowalski and K. A. Bowen (eds.), Logic Programming, Proceedings of the Fifth International Conference and Symposium, MIT Press, 1988.
K. Kunen, Signed Data Dependencies in Logic Programs, Journal of Logic Programming, 1989, vol. 7, No 3, pp.231–247.
V. Lifschitz, On the Declarative Semantics of Logic Programs with Negation, in [17], pp. 177–192.
J. W. Lloyd, Foundations of Logic Programming, Second extended edition, Springer Verlag, 1987.
J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, 1988.
J. A. Plaza, Fully Declarative Programming with Logic — Mathematical Foundations Ph.D. Dissertation, City University of New York, July 1991.
H. Przymusińska and T. Przymusiński, Weakly Perfect Model Semantics for Logic Programs, in [13], pp. 1106–1123.
T. C. Przymusiński, On the Declarative Semantics of Deductive Databases and Logic Programs, in [17], pp. 193–216.
J. C. Shepherdson, Negation in Logic Programming, in [17], pp. 19–88.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Plaza, J.A. (1991). Completeness for propositional logic programs with negation. In: Ras, Z.W., Zemankova, M. (eds) Methodologies for Intelligent Systems. ISMIS 1991. Lecture Notes in Computer Science, vol 542. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54563-8_123
Download citation
DOI: https://doi.org/10.1007/3-540-54563-8_123
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54563-7
Online ISBN: 978-3-540-38466-3
eBook Packages: Springer Book Archive