On the connection between default logic and DELP
In this paper, we establish a relation between an argumentation based system: Defeasible Logic Programming (DELP), and a nonmonotonic system: Reiter’s Default Logic. This relation is achieved by introducing a variant of DELP and a transformation that maps default theories to defeasible logic program...
Guardado en:
Autores principales: | , |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Inglés |
Publicado: |
2006
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/22669 |
Aporte de: |
id |
I19-R120-10915-22669 |
---|---|
record_format |
dspace |
institution |
Universidad Nacional de La Plata |
institution_str |
I-19 |
repository_str |
R-120 |
collection |
SEDICI (UNLP) |
language |
Inglés |
topic |
Ciencias Informáticas Nonmonotonic reasoning and belief revision Knowledge Representation Formalisms and Methods Logic Programming |
spellingShingle |
Ciencias Informáticas Nonmonotonic reasoning and belief revision Knowledge Representation Formalisms and Methods Logic Programming Delladio, Telma Simari, Guillermo Ricardo On the connection between default logic and DELP |
topic_facet |
Ciencias Informáticas Nonmonotonic reasoning and belief revision Knowledge Representation Formalisms and Methods Logic Programming |
description |
In this paper, we establish a relation between an argumentation based system: Defeasible Logic Programming (DELP), and a nonmonotonic system: Reiter’s Default Logic. This relation is achieved by introducing a variant of DELP and a transformation that maps default theories to defeasible logic programs. The transformation allows to associate the answers of a DELP Interpreter with the consequences, credulous and skeptical, of the default theory. Thus, this work establishes a link between a well understood nonmonotonic system and a argumentation based system. This link could be studied separately and could be exploited for the development of the latter system. |
format |
Objeto de conferencia Objeto de conferencia |
author |
Delladio, Telma Simari, Guillermo Ricardo |
author_facet |
Delladio, Telma Simari, Guillermo Ricardo |
author_sort |
Delladio, Telma |
title |
On the connection between default logic and DELP |
title_short |
On the connection between default logic and DELP |
title_full |
On the connection between default logic and DELP |
title_fullStr |
On the connection between default logic and DELP |
title_full_unstemmed |
On the connection between default logic and DELP |
title_sort |
on the connection between default logic and delp |
publishDate |
2006 |
url |
http://sedici.unlp.edu.ar/handle/10915/22669 |
work_keys_str_mv |
AT delladiotelma ontheconnectionbetweendefaultlogicanddelp AT simariguillermoricardo ontheconnectionbetweendefaultlogicanddelp |
bdutipo_str |
Repositorios |
_version_ |
1764820467459293185 |