Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Relating Defeasible Logic to Extended Logic Programs

George AntoniouContact Information

(3)  Department of Computer Science, University of Bremen, Germany
Abstract
Defeasible reasoning is a simple but e.cient approach to nonmonotonic reasoning that has recently attracted considerable interest and that has found various applications. Defeasible logic and its variants are an important family of defeasible reasoning methods. So far no relationship has been established between defeasible logic and mainstream nonmonotonic reasoning approaches.
In this paper we establish close links to known semantics of extended logic programs. In particular, we give a translation of a defeasible theory D into a program P(D). We show that under a condition of decisiveness, the defeasible consequences of D correspond exactly to the sceptical conclusions of P(D) under the answer set semantics. Without decisiveness, the result holds only in one direction (all defeasible consequences of D are included in all answer sets of P(D)). If we wish a complete embedding for the general case, we need to use the Kunen semantics of P(D), instead.

Keywords  logic programming - knowledge representation - nonmonotonic reasoning


Contact Information George Antoniou
Email: ga@tzi.de
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.107 • Server: mpweb05
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)