Default Consequence Relations as a Logical Framework for Logic Programs

We consider the use of default consequence relations suggested in [1,2] as a ‘logical basis’ for normal logic programs. We give a representation of major semantics for logic programs in this framework and study the question what kind of default reasoning is appropriate for them. It is shown, in particular, that default consequence relations based on three-valued inference are adequate for these semantics.

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

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

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

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

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

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

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

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

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

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

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

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

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

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