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
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/66865
Ver los metadatos del registro completo
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 |