Defeasible logic versus Logic Programming without Negation as Failure

✍ Scribed by G. Antoniou; M.J. Maher; D. Billington

• Publisher: Elsevier Science
• Year: 2000
• Tongue: English
• Weight: 132 KB
• Volume: 42
• Category: Article
• ISSN: 0743-1066
• DOI: 10.1016/s0743-1066(99)00060-6

✦ Synopsis

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 dierence is caused by the latter logic's failure to capture the idea of teams of rules supporting a speci®c conclusion.