Stratified and Three-valued Logic Programming Semantics

The familiar fixed point semantics for Horn clause programs gives both smallest and biggest fixed points fundamental roles. We show how to extend this idea to the family of stratified logic programs, producing a semantics we call weak stratified, that is compatible with but not the same as the conventional stratified semantics. And we show weak stratified semantics coincides with one based on three valued logic, a semantics that is generally applicable, and that does not require stratification assumptions.

[1]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[2]  Alan Mycroft,et al.  Logic Programs and Many-Valued Logic , 1984, STACS.

[3]  Michael J. Maher,et al.  Optimal Fixedpoints of Logic Programs , 1985, Theor. Comput. Sci..

[4]  David Harel,et al.  Horn Clauses Queries and Generalizations , 1985, J. Log. Program..

[5]  Melvin Fitting,et al.  Computability theory, semantics, and logic programming , 1987 .

[6]  Kenneth Kunen,et al.  Negation in Logic Programming , 1987, J. Log. Program..

[7]  Michael J. Maher,et al.  Logic Programming Language Scheme , 1986, Logic Programming: Functions, Relations, and Equations.

[8]  Melvin Fitting,et al.  A Kripke-Kleene Semantics for Logic Programs , 1985, J. Log. Program..

[9]  Krzysztof R. Apt,et al.  Contributions to the Theory of Logic Programming , 1982, JACM.

[10]  Teodor C. Przymusinski.  On the Declarative Semantics of Deductive Databases and Logic Programs , 1988, Foundations of Deductive Databases and Logic Programming..

[11]  Kenneth Kunen,et al.  Signed Data Dependencies in Logic Programs , 1989, J. Log. Program..

[12]  Allen Van Gelder,et al.  Negation as Failure using Tight Derivations for General Logic Programs , 1988, J. Log. Program..

[13]  Melvin Fitting.  Partial Models and Logic Programming , 1986, Theor. Comput. Sci..

[14]  Adrian Walker,et al.  Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..

[15]  Robert A. Kowalski,et al.  The Semantics of Predicate Logic as a Programming Language , 1976, JACM.