Defeasible logic versus Logic Programming without Negation as Failure

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 tw...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:The journal of logic programming Ročník 42; číslo 1; s. 47 - 57
Hlavní autori: Antoniou, G., Maher, M.J., Billington, D.
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Elsevier Inc 2000
Predmet:
Defeasible logic
Logic programming
Defeasible logic
Logic programming
ISSN:0743-1066, 1873-5789
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
Bibliografia:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0743-1066
1873-5789
DOI:10.1016/S0743-1066(99)00060-6