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

Autores
Gómez Lucero, Mauro Javier; García, Alejandro Javier; Chesñevar, Carlos Iván; Simari, Guillermo Ricardo
Año de publicación
2007
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Informática
defeasible reasoning
knowledge representation and reasoning
abduction
Knowledge Representation Formalisms and Methods
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/23578

id SEDICI_b3941641598cc9c24a174376c2328c2f
oai_identifier_str oai:sedici.unlp.edu.ar:10915/23578
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling A first approach to abductive defeasible logic programming: formalization and propertiesGómez Lucero, Mauro JavierGarcía, Alejandro JavierChesñevar, Carlos IvánSimari, Guillermo RicardoCiencias InformáticasInformáticadefeasible reasoningknowledge representation and reasoningabductionKnowledge Representation Formalisms and MethodsThis 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.Red de Universidades con Carreras en Informática (RedUNCI)2007-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf1573-1585http://sedici.unlp.edu.ar/handle/10915/23578enginfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:28:18Zoai:sedici.unlp.edu.ar:10915/23578Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:28:19.538SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv A first approach to abductive defeasible logic programming: formalization and properties
title A first approach to abductive defeasible logic programming: formalization and properties
spellingShingle A first approach to abductive defeasible logic programming: formalization and properties
Gómez Lucero, Mauro Javier
Ciencias Informáticas
Informática
defeasible reasoning
knowledge representation and reasoning
abduction
Knowledge Representation Formalisms and Methods
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 A first approach to abductive defeasible logic programming: formalization and properties
dc.creator.none.fl_str_mv Gómez Lucero, Mauro Javier
García, Alejandro Javier
Chesñevar, Carlos Iván
Simari, Guillermo Ricardo
author Gómez Lucero, Mauro Javier
author_facet Gómez Lucero, Mauro Javier
García, Alejandro Javier
Chesñevar, Carlos Iván
Simari, Guillermo Ricardo
author_role author
author2 García, Alejandro Javier
Chesñevar, Carlos Iván
Simari, Guillermo Ricardo
author2_role author
author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
Informática
defeasible reasoning
knowledge representation and reasoning
abduction
Knowledge Representation Formalisms and Methods
topic Ciencias Informáticas
Informática
defeasible reasoning
knowledge representation and reasoning
abduction
Knowledge Representation Formalisms and Methods
dc.description.none.fl_txt_mv 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.
Red de Universidades con Carreras en Informática (RedUNCI)
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.
publishDate 2007
dc.date.none.fl_str_mv 2007-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/23578
url http://sedici.unlp.edu.ar/handle/10915/23578
dc.language.none.fl_str_mv eng
language eng
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
1573-1585
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260121970802688
score 13.13397