A Comparison of Sceptical NAF-Free Logic Programming Approaches

Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, default reasoning is modelled by rules and a priority relation among them. Historically the first logic in this class was Defeasible Logic. In this paper we will study its relationship to other approaches which also rely on the idea of using logic rules and priorities. In particular we will study sceptical LPwNF, courteous logic programs, and priority logic.

[1]  Jia-Huai You,et al.  Logic programming without default negation revisited , 1997, 1997 IEEE International Conference on Intelligent Processing Systems (Cat. No.97TH8335).

[2]  Michael J. Maher,et al.  A Study of Provability in Defeasible Logic , 1998, Australian Joint Conference on Artificial Intelligence.

[3]  Paolo Mancarella,et al.  The Acceptability Semantics for Logic Programs , 1994, ICLP.

[4]  David Billington,et al.  Defeasible Logic is Stable , 1993, J. Log. Comput..

[5]  David S. Touretzky,et al.  The Mathematics of Inheritance Systems , 1984 .

[6]  David S. Touretzky,et al.  A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks , 1987, Artif. Intell..

[7]  Benjamin N. Grosof.  Prioritized Conflict Handling for Logic Programs , 1997, ILPS.

[8]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

[9]  Li-Yan Yuan,et al.  Nonmonotonic Reasoning by Monotonic Inference with Priority Constraints , 1996, NMELP.

[10]  Michael J. Maher,et al.  Normal Forms for Defeasible Logic , 1998, IJCSLP.

[11]  David Billington,et al.  A modular translation from defeasible nets to defeasible logics , 1990, J. Exp. Theor. Artif. Intell..

[12]  Gerd Wagner.  Ex contradictione nihil sequitur , 1991, IJCAI.

[13]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

[14]  Antonis C. Kakas,et al.  Logic Programming without Negation as Failure , 1995, ILPS.

[15]  John F. Horty,et al.  Some direct theories of nonmonotonic inheritance , 1994 .

[16]  Grigoris Antoniou,et al.  Nonmonotonic reasoning , 1997 .

[17]  David S. Touretzky,et al.  A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems , 1987, IJCAI.

[18]  Donald Nute,et al.  Prolog Programming in Depth , 1988 .

[19]  Benjamin N. Grosof.  Prioritized conflict handing for logic programs , 1997, International Conference on Logic Programming.

[20]  John L. Pollock,et al.  Defeasible Reasoning , 2020, Synthese Library.