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 extended logic programs. In particular, we give a translation of a defeasible theory D into a program P(D).We showtha t 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.
Original language | English |
---|---|
Title of host publication | Logic Programming |
Subtitle of host publication | 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings |
Editors | Peter J. Stuckey |
Publisher | Springer Verlag |
Pages | 393-404 |
Number of pages | 12 |
Edition | 1st |
ISBN (Electronic) | 9783540456193 |
ISBN (Print) | 3540439307, 9783540439301 |
DOIs | |
Publication status | Published - 17 Jul 2002 |
Externally published | Yes |
Event | 18th International Conference on Logic Programming - Copenhagen, Denmark Duration: 29 Jul 2002 → 1 Aug 2002 Conference number: 18 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 2401 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 18th International Conference on Logic Programming |
---|---|
Abbreviated title | ICLP 2002 |
Country/Territory | Denmark |
City | Copenhagen |
Period | 29/07/02 → 1/08/02 |