Download:
|
by Frieder Stolzenburg, Guillermo Ricardo Simari
http://www.uni-koblenz.de/~dix/Papers/01_ANCL.ps.gz
Add To MetaCart
Abstract:
ABSTRACT. This paper relates the Defeasible Logic Programming (DeLP) framework and its semantics SEMDeLP to classical logic programming frameworks. In DeLP we distinguish between two dierent sorts of rules: strict and defeasible rules. Negative literals (A) in these rules are considered to represent classical negation. In contrast to this, in normal logic programming (NLP), there is only one kind of rules, but the meaning of negative literals (not A) is dierent: they represent a kind of negation as failure, and thereby introduce defeasibility. Various semantics have been dened for NLP, notably the well-founded semantics WFS and the stable semantics Stable. In this paper we consider the transformation properties for NLP introduced by Brass and Dix and suitably adjusted for the DeLP framework. We show which transformation properties are satised, thereby identifying aspects in which NLP and DeLP dier. We contend that the transformation rules presented in this paper can help to gain a better understanding of the relationship of DeLP semantics with respect to more traditional logic programming approaches. As a byproduct, we get that DeLP is a proper extension of NLP.
Citations
|
1654
|
Foundations of Logic Programming
– Lloyd
- 1984
|
|
298
|
Logic programs with classical negation
– Gelfond, Lifschitz
- 1990
|
|
131
|
R.P.: A mathematical treatment of defeasible reasoning and its implementation
– Simari, Loui
- 1992
|
|
89
|
Logics for defeasible argumentation
– Prakken, Vreeswijk
- 2002
|
|
87
|
A logic programming system for nonmonotonic reasoning
– Alferes, Damasio, et al.
- 1995
|
|
76
|
Logical models of argument
– Chesñevar, Maguitman, et al.
|
|
73
|
Relating defeasible and normal logic programming through transformation properties
– Chesñevar, Dix, et al.
|
|
56
|
An argumentation semantics for logic programming with explicit negation
– Dung
- 1993
|
|
49
|
Characterizations of the Disjunctive Stable Semantics by Partial Evaluation
– Brass, Dix
- 1997
|
|
46
|
Computing argumentation in logic programming
– Kakas, Toni
- 1999
|
|
34
|
Characterizations of the Disjunctive Well-founded Semantics: Confluent Calculi and Iterated GCWA
– Brass, Dix
- 1998
|
|
24
|
Transformation-based bottom-up computation of the well-founded model
– Brass, Dix, et al.
- 2001
|
|
22
|
Prolegomena to Logic Programming for Non-Monotonic Reasoning. Nonmonotonic Extensions of Logic Programming
– Dix, Pereira, et al.
- 1997
|
|
22
|
Argument-based logic programming with defeasible priorities
– Prakken, Sartor
- 1997
|
|
21
|
The role of dialectics in defeasible argumentation
– Simari, Chesñevar, et al.
- 1994
|
|
14
|
On the Acceptability of Arguments and its Fundamental Role in Nomonotonic Reasoning and Logic Programming
– Dung
- 1993
|
|
14
|
An argumentative framework for reasoning with inconsistent and incomplete information
– García, Simari, et al.
- 1998
|
|
12
|
The role of dialectics in defeasible argumentation. In Anales de la XIV Conferencia Internacional de la Sociedad Chilena para Ciencias de la Computacion. Universidad de
– SIMARI, CHESÑEVAR, et al.
- 1994
|
|
10
|
Knowledge representation with extended logic programs
– Brewka, Dix
- 1998
|
|
7
|
Nonmonotonic Reasoning: Towards Ecient Calculi and Implementations
– Dix, Furbach, et al.
- 2001
|
|
6
|
Automating defeasible reasoning with logic programming (DeReLoP
– Dix, Stolzenburg, et al.
- 1999
|
|
3
|
Modeling defeasibility into an extended logic programming setting using an abstract argumentation framework
– Chesnevar, Simari
- 1999
|
|
1
|
A General Theory of Con Rewriting Systems for Logic Programming and its Applications. Annals of Pure and Applied Logic, to appear
– Dix, Osorio, et al.
- 2001
|
|
1
|
Defeasible logic programming: De and implementation. Master's thesis, Dep. de Ciencias de la Computaci on, Universidad Nacional del Sur, Baha Blanca
– Garca
- 1997
|
|
1
|
Defeasible Logic Programs under Brass-Dix' transformations
– Chesnevar, Dix, et al.
- 2000
|
|
1
|
Defeasible Logic Programming: De and Implementation (MSc Thesis). Departamento de Cs. de la Computacion, Universidad Nacional del Sur, Baha Blanca
– Garcia
- 1997
|
