Show simple item record

dc.contributor.authorAntoniou, Grigoris
dc.contributor.authorBillington, David
dc.contributor.authorGovernatori, Guido
dc.contributor.authorMaher, Michael J
dc.date.accessioned2017-05-03T11:27:46Z
dc.date.available2017-05-03T11:27:46Z
dc.date.issued2006
dc.date.modified2008-07-20T22:59:03Z
dc.identifier.issn1471-0684
dc.identifier.doi10.1017/S1471068406002778
dc.identifier.urihttp://hdl.handle.net/10072/14392
dc.description.abstractDefeasible reasoning is a simple but efficient 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 logic programs. In particular, we give a translation of a defeasible theory $D$ into a meta-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 stable model semantics. Without decisiveness, the result holds only in one direction (all defeasible consequences of $D$ are included in all stable models of $P(D)$). If we wish a complete embedding for the general case, we need to use the Kunen semantics of $P(D)$, instead.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent266672 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoeng
dc.publisherCambridge University Press
dc.publisher.placeUK
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofpagefrom703
dc.relation.ispartofpageto735
dc.relation.ispartofissue6
dc.relation.ispartofjournalTheory and Practice of Logic Programming
dc.relation.ispartofvolume6
dc.rights.retentionY
dc.subject.fieldofresearchTheory of computation
dc.subject.fieldofresearchcode4613
dc.titleEmbedding defeasible logic into logic programming
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
gro.rights.copyright© 2006 Cambridge University Press. The attached file is reproduced here in accordance with the copyright policy of the publisher. Please refer to the journal's website for access to the definitive, published version.
gro.date.issued2006
gro.hasfulltextFull Text
gro.griffith.authorBillington, David


Files in this item

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record