Defeasible logic versus Logic Programming without Negation as Failure

G. Antoniou, M. J. Maher, D. Billington

Research output: Contribution to journalArticlepeer-review

59 Citations (Scopus)

Abstract

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. In this paper we compare the expressive power of two approaches in this family of logics. Defeasible Logic, and sceptical Logic Programming without Negation as Failure (LPwNF). Our results show that the former has a strictly stronger expressive power. The difference is caused by the latter logic's failure to capture the idea of teams of rules supporting a specific conclusion.

Original languageEnglish
Pages (from-to)47-57
Number of pages11
JournalJournal of Logic Programming
Volume42
Issue number1
DOIs
Publication statusPublished - 1 Jan 2000
Externally publishedYes

Fingerprint

Dive into the research topics of 'Defeasible logic versus Logic Programming without Negation as Failure'. Together they form a unique fingerprint.

Cite this