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

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Delladio, Telma, Simari, Guillermo Ricardo
Formato:	Objeto de conferencia
Lenguaje:	Inglés
Publicado:	2006
Materias:	Ciencias Informáticas Nonmonotonic reasoning and belief revision Knowledge Representation Formalisms and Methods Logic Programming
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/22669
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

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

On the connection between default logic and DELP

Ejemplares similares