Embedding defeasible logic into logic programming

File Size Format
40524_1.pdf 260Kb Adobe PDF View
Title Embedding defeasible logic into logic programming
Author Antoniou, Grigoris; Billington, David; Governatori, Guido; Maher, Michael J.
Journal Name Theory and Practice of Logic Programming
Year Published 2006
Place of publication UK
Publisher Cambridge University Press
Abstract Defeasible 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.
Peer Reviewed Yes
Published Yes
Publisher URI http://journals.cambridge.org/action/displayJournal?jid=TLP
Alternative URI http://dx.doi.org/10.1017/S1471068406002778
Copyright Statement 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.
Volume 6
Issue Number 6
Page from 703
Page to 735
ISSN 1471-0684
Date Accessioned 2007-03-07
Language en_AU
Faculty Faculty of Science, Environment, Engineering and Technology
Subject Mathematical Logic and Formal Languages
URI http://hdl.handle.net/10072/14392
Publication Type Journal Articles (Refereed Article)
Publication Type Code c1

Show simple item record

Griffith University copyright notice