On a Logical Basis of Normal Logic Program

In this paper we develop a logical framework for normal logic programs, called default consequence relations. We give a representation of major semantics for logic programs in this formalism and study the question what logics are adequate for the latter. It is shown that, in general, default consequence relations based on three-valued inference are appropriate for these semantics, though different semantics admit different kinds of inference.

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

[2]  Victor W. Marek,et al.  Stable Semantics for Logic Programs and Default Theories , 1989, NACLP.

[3]  Sukhamay Kundu,et al.  The Strong Semantics for Logic Programs , 1991, ISMIS.

[4]  Victor W. Marek,et al.  The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs , 1992, Theor. Comput. Sci..

[5]  Melvin Fitting,et al.  The Family of Stable Models , 1993, J. Log. Program..

[6]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[7]  Alexander Bochman.  On the Relation Between Default and Modal Consequence Relations , 1994, KR.

[8]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[9]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[10]  Jürgen Dix,et al.  A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties , 1995, Fundam. Informaticae.

[11]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[12]  Alexander Bochman.  Default Consequence Relations as a Logical Framework for Logic Programs , 1995, LPNMR.

[13]  Helmut Thiele,et al.  On Generation of Cumulative Inference Operators by Default Deduction Rules , 1990, Nonmonotonic and Inductive Logic.

[14]  Carlo Zaniolo,et al.  Logic Programming Semantics Made Easy , 1992, ICALP.

[15]  Teodor C. Przymusinski.  The Well-Founded Semantics Coincides with the Three-Valued Stable Semantics , 1990, Fundam. Inform..

[16]  Teodor C. Przymusinski.  Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs , 1991, Artif. Intell..

[17]  Jürgen Dix,et al.  Characterizations of the Stable Semantics by Partial Evaluation , 1994, LPNMR.

[18]  H. Rasiowa.  An Algebraic Approach To Non Classical Logics , 1974 .

[19]  Alexander Bochman.  On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents , 1995, IJCAI.