Embedding defeasible logic into logic programming

Loading...
Thumbnail Image
File version
Author(s)
Antoniou, Grigoris
Billington, David
Governatori, Guido
Maher, Michael J
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
2006
Size

266672 bytes

File type(s)

application/pdf

Location
License
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.

Journal Title

Theory and Practice of Logic Programming

Conference Title
Book Title
Edition
Volume

6

Issue

6

Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement

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

Item Access Status
Note
Access the data
Related item(s)
Subject

Theory of computation

Persistent link to this record
Citation
Collections