Backing and undercutting in defeasible logic programming

Autores
Cohen, Andrea; García, Alejandro Javier; Simari, Guillermo Ricardo
Año de publicación
2011
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
Two important notions within the field of classical argumentation are undercutting defeaters and backings. The former represent an attack to an inference step, and the latter intend to provide defense against this type of attack. Defeasible Logic Programming (DeLP) is a concrete argumentation system that allows to identify arguments whose conclusions or intermediate conclusions are in contradiction, capturing the notion of rebutting defeater. Nevertheless, in DeLP is not possible to represent neither undercutting defeaters nor backings. The aim of this work is to extend the formalism of DeLP to allow attack and support for defeasible rules. Thus, it will be possible to build arguments for representing undercutting defeaters and backings. © 2011 Springer-Verlag Berlin Heidelberg.
Fil: Cohen, Andrea. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina
Fil: García, Alejandro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina
Fil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina
Materia
Argumentation
Defeasible Reasoning
Logic Programming
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/66865

id CONICETDig_54500e3eb289434f464e12909f9c882e
oai_identifier_str oai:ri.conicet.gov.ar:11336/66865
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Backing and undercutting in defeasible logic programmingCohen, AndreaGarcía, Alejandro JavierSimari, Guillermo RicardoArgumentationDefeasible ReasoningLogic Programminghttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1Two important notions within the field of classical argumentation are undercutting defeaters and backings. The former represent an attack to an inference step, and the latter intend to provide defense against this type of attack. Defeasible Logic Programming (DeLP) is a concrete argumentation system that allows to identify arguments whose conclusions or intermediate conclusions are in contradiction, capturing the notion of rebutting defeater. Nevertheless, in DeLP is not possible to represent neither undercutting defeaters nor backings. The aim of this work is to extend the formalism of DeLP to allow attack and support for defeasible rules. Thus, it will be possible to build arguments for representing undercutting defeaters and backings. © 2011 Springer-Verlag Berlin Heidelberg.Fil: Cohen, Andrea. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: García, Alejandro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaSpringer2011-07info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/66865Cohen, Andrea; García, Alejandro Javier; Simari, Guillermo Ricardo; Backing and undercutting in defeasible logic programming; Springer; Lecture Notes in Computer Science; 6717 LNAI; 7-2011; 50-610302-9743CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-22152-1_5info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/chapter/10.1007%2F978-3-642-22152-1_5info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-03T10:03:39Zoai:ri.conicet.gov.ar:11336/66865instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-03 10:03:39.987CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Backing and undercutting in defeasible logic programming
title Backing and undercutting in defeasible logic programming
spellingShingle Backing and undercutting in defeasible logic programming
Cohen, Andrea
Argumentation
Defeasible Reasoning
Logic Programming
title_short Backing and undercutting in defeasible logic programming
title_full Backing and undercutting in defeasible logic programming
title_fullStr Backing and undercutting in defeasible logic programming
title_full_unstemmed Backing and undercutting in defeasible logic programming
title_sort Backing and undercutting in defeasible logic programming
dc.creator.none.fl_str_mv Cohen, Andrea
García, Alejandro Javier
Simari, Guillermo Ricardo
author Cohen, Andrea
author_facet Cohen, Andrea
García, Alejandro Javier
Simari, Guillermo Ricardo
author_role author
author2 García, Alejandro Javier
Simari, Guillermo Ricardo
author2_role author
author
dc.subject.none.fl_str_mv Argumentation
Defeasible Reasoning
Logic Programming
topic Argumentation
Defeasible Reasoning
Logic Programming
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv Two important notions within the field of classical argumentation are undercutting defeaters and backings. The former represent an attack to an inference step, and the latter intend to provide defense against this type of attack. Defeasible Logic Programming (DeLP) is a concrete argumentation system that allows to identify arguments whose conclusions or intermediate conclusions are in contradiction, capturing the notion of rebutting defeater. Nevertheless, in DeLP is not possible to represent neither undercutting defeaters nor backings. The aim of this work is to extend the formalism of DeLP to allow attack and support for defeasible rules. Thus, it will be possible to build arguments for representing undercutting defeaters and backings. © 2011 Springer-Verlag Berlin Heidelberg.
Fil: Cohen, Andrea. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina
Fil: García, Alejandro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina
Fil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina
description Two important notions within the field of classical argumentation are undercutting defeaters and backings. The former represent an attack to an inference step, and the latter intend to provide defense against this type of attack. Defeasible Logic Programming (DeLP) is a concrete argumentation system that allows to identify arguments whose conclusions or intermediate conclusions are in contradiction, capturing the notion of rebutting defeater. Nevertheless, in DeLP is not possible to represent neither undercutting defeaters nor backings. The aim of this work is to extend the formalism of DeLP to allow attack and support for defeasible rules. Thus, it will be possible to build arguments for representing undercutting defeaters and backings. © 2011 Springer-Verlag Berlin Heidelberg.
publishDate 2011
dc.date.none.fl_str_mv 2011-07
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/66865
Cohen, Andrea; García, Alejandro Javier; Simari, Guillermo Ricardo; Backing and undercutting in defeasible logic programming; Springer; Lecture Notes in Computer Science; 6717 LNAI; 7-2011; 50-61
0302-9743
CONICET Digital
CONICET
url http://hdl.handle.net/11336/66865
identifier_str_mv Cohen, Andrea; García, Alejandro Javier; Simari, Guillermo Ricardo; Backing and undercutting in defeasible logic programming; Springer; Lecture Notes in Computer Science; 6717 LNAI; 7-2011; 50-61
0302-9743
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-22152-1_5
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/chapter/10.1007%2F978-3-642-22152-1_5
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1842269812775976960
score 13.13397