A first approach to abductive defeasible logic programming: formalization and properties

This article presents the confluence of two general ideas: Defeasible Logic Programming (DeLP, an argumentation based formalism for representing knowledge and reasoning) and Abduction in logic. In first place, we introduce a framework that formally states the problem of doing abduction (obtaining ab...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Gómez Lucero, Mauro Javier, García, Alejandro Javier, Chesñevar, Carlos Iván, Simari, Guillermo Ricardo
Formato:	Objeto de conferencia
Lenguaje:	Inglés
Publicado:	2007
Materias:	Ciencias Informáticas Informática defeasible reasoning knowledge representation and reasoning abduction Knowledge Representation Formalisms and Methods
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/23578
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-23578
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 Informática defeasible reasoning knowledge representation and reasoning abduction Knowledge Representation Formalisms and Methods
spellingShingle	Ciencias Informáticas Informática defeasible reasoning knowledge representation and reasoning abduction Knowledge Representation Formalisms and Methods Gómez Lucero, Mauro Javier García, Alejandro Javier Chesñevar, Carlos Iván Simari, Guillermo Ricardo A first approach to abductive defeasible logic programming: formalization and properties
topic_facet	Ciencias Informáticas Informática defeasible reasoning knowledge representation and reasoning abduction Knowledge Representation Formalisms and Methods
description	This article presents the confluence of two general ideas: Defeasible Logic Programming (DeLP, an argumentation based formalism for representing knowledge and reasoning) and Abduction in logic. In first place, we introduce a framework that formally states the problem of doing abduction (obtaining abductive explanations) in the particular case that the abductive theory is a DeLP Program. In the reminder of this work we face that problem, providing a formal characterization of the notion of abductive explanation, in such a way that we could then easily calculate the explanations from this formal characterization. An important advantage of this approach is that by proving the correctness of the characterization, we ensure the correctness of the method for obtaining explanations.
format	Objeto de conferencia Objeto de conferencia
author	Gómez Lucero, Mauro Javier García, Alejandro Javier Chesñevar, Carlos Iván Simari, Guillermo Ricardo
author_facet	Gómez Lucero, Mauro Javier García, Alejandro Javier Chesñevar, Carlos Iván Simari, Guillermo Ricardo
author_sort	Gómez Lucero, Mauro Javier
title	A first approach to abductive defeasible logic programming: formalization and properties
title_short	A first approach to abductive defeasible logic programming: formalization and properties
title_full	A first approach to abductive defeasible logic programming: formalization and properties
title_fullStr	A first approach to abductive defeasible logic programming: formalization and properties
title_full_unstemmed	A first approach to abductive defeasible logic programming: formalization and properties
title_sort	first approach to abductive defeasible logic programming: formalization and properties
publishDate	2007
url	http://sedici.unlp.edu.ar/handle/10915/23578
work_keys_str_mv	AT gomezluceromaurojavier afirstapproachtoabductivedefeasiblelogicprogrammingformalizationandproperties AT garciaalejandrojavier afirstapproachtoabductivedefeasiblelogicprogrammingformalizationandproperties AT chesnevarcarlosivan afirstapproachtoabductivedefeasiblelogicprogrammingformalizationandproperties AT simariguillermoricardo afirstapproachtoabductivedefeasiblelogicprogrammingformalizationandproperties AT gomezluceromaurojavier firstapproachtoabductivedefeasiblelogicprogrammingformalizationandproperties AT garciaalejandrojavier firstapproachtoabductivedefeasiblelogicprogrammingformalizationandproperties AT chesnevarcarlosivan firstapproachtoabductivedefeasiblelogicprogrammingformalizationandproperties AT simariguillermoricardo firstapproachtoabductivedefeasiblelogicprogrammingformalizationandproperties
bdutipo_str	Repositorios
_version_	1764820465923129345

A first approach to abductive defeasible logic programming: formalization and properties

Ejemplares similares