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.

• Type: Conference
• Year: 1999
• Where: LPNMR
• Authors: Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori
• Keywords: Automated Reasoning, Default Reasoning, Logic, Logic Programming-based Default, LPNMR 1999