The Status of Arguments in Abstract Argumentation Frameworks: A Tableaux Method

Autores
Bodanza, Gustavo Adrian; Hernández Manfredini, Enrique
Año de publicación
2023
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
Dung’s argumentation frameworks are formalisms widely used to model interac-tion among arguments. Although their study has been profusely developed in thefield of Artificial Intelligence, it is not common to see its treatment among thoseless connected to computer science within the logical-philosophical community.In this paper we propose to bring to that audience a proof-theory for argumentjustification based on tableaux, very similar to those the Logic students arefamiliar with. The tableaux enable to calculate whether an argument or sub-set of arguments are accepted or rejected in accordance to Dung’s preferredand grounded extension-based semantics. Soundness and completeness resultsregarding those semantics are provided.
Fil: Bodanza, Gustavo Adrian. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Investigaciones Económicas y Sociales del Sur. Universidad Nacional del Sur. Departamento de Economía. Instituto de Investigaciones Económicas y Sociales del Sur; Argentina
Fil: Hernández Manfredini, Enrique. Universidade de Aveiro; Portugal
Materia
Argumentation Frameworks
Tableaux
Extension Semantics
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by/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/234030
Acceder
id CONICETDig_6ef789ac90b022a04fadb3eb208143c8
oai_identifier_str oai:ri.conicet.gov.ar:11336/234030
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling The Status of Arguments in Abstract Argumentation Frameworks: A Tableaux MethodBodanza, Gustavo AdrianHernández Manfredini, EnriqueArgumentation FrameworksTableauxExtension Semanticshttps://purl.org/becyt/ford/6.3https://purl.org/becyt/ford/6Dung’s argumentation frameworks are formalisms widely used to model interac-tion among arguments. Although their study has been profusely developed in thefield of Artificial Intelligence, it is not common to see its treatment among thoseless connected to computer science within the logical-philosophical community.In this paper we propose to bring to that audience a proof-theory for argumentjustification based on tableaux, very similar to those the Logic students arefamiliar with. The tableaux enable to calculate whether an argument or sub-set of arguments are accepted or rejected in accordance to Dung’s preferredand grounded extension-based semantics. Soundness and completeness resultsregarding those semantics are provided.Fil: Bodanza, Gustavo Adrian. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Investigaciones Económicas y Sociales del Sur. Universidad Nacional del Sur. Departamento de Economía. Instituto de Investigaciones Económicas y Sociales del Sur; ArgentinaFil: Hernández Manfredini, Enrique. Universidade de Aveiro; PortugalUniversidade Estadual de Campinas2023-06info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/zipapplication/pdfhttp://hdl.handle.net/11336/234030Bodanza, Gustavo Adrian; Hernández Manfredini, Enrique; The Status of Arguments in Abstract Argumentation Frameworks: A Tableaux Method; Universidade Estadual de Campinas; Manuscrito; 46; 2; 6-2023; 66-1080100-60452317-630XCONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452023000200066&tlng=eninfo:eu-repo/semantics/altIdentifier/doi/10.1590/0100-6045.2023.v46n2.geinfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-10-15T14:46:53Zoai:ri.conicet.gov.ar:11336/234030instacron: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-10-15 14:46:54.179CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv The Status of Arguments in Abstract Argumentation Frameworks: A Tableaux Method
title The Status of Arguments in Abstract Argumentation Frameworks: A Tableaux Method
spellingShingle The Status of Arguments in Abstract Argumentation Frameworks: A Tableaux Method
Bodanza, Gustavo Adrian
Argumentation Frameworks
Tableaux
Extension Semantics
title_short The Status of Arguments in Abstract Argumentation Frameworks: A Tableaux Method
title_full The Status of Arguments in Abstract Argumentation Frameworks: A Tableaux Method
title_fullStr The Status of Arguments in Abstract Argumentation Frameworks: A Tableaux Method
title_full_unstemmed The Status of Arguments in Abstract Argumentation Frameworks: A Tableaux Method
title_sort The Status of Arguments in Abstract Argumentation Frameworks: A Tableaux Method
dc.creator.none.fl_str_mv Bodanza, Gustavo Adrian
Hernández Manfredini, Enrique
author Bodanza, Gustavo Adrian
author_facet Bodanza, Gustavo Adrian
Hernández Manfredini, Enrique
author_role author
author2 Hernández Manfredini, Enrique
author2_role author
dc.subject.none.fl_str_mv Argumentation Frameworks
Tableaux
Extension Semantics
topic Argumentation Frameworks
Tableaux
Extension Semantics
purl_subject.fl_str_mv https://purl.org/becyt/ford/6.3
https://purl.org/becyt/ford/6
dc.description.none.fl_txt_mv Dung’s argumentation frameworks are formalisms widely used to model interac-tion among arguments. Although their study has been profusely developed in thefield of Artificial Intelligence, it is not common to see its treatment among thoseless connected to computer science within the logical-philosophical community.In this paper we propose to bring to that audience a proof-theory for argumentjustification based on tableaux, very similar to those the Logic students arefamiliar with. The tableaux enable to calculate whether an argument or sub-set of arguments are accepted or rejected in accordance to Dung’s preferredand grounded extension-based semantics. Soundness and completeness resultsregarding those semantics are provided.
Fil: Bodanza, Gustavo Adrian. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Investigaciones Económicas y Sociales del Sur. Universidad Nacional del Sur. Departamento de Economía. Instituto de Investigaciones Económicas y Sociales del Sur; Argentina
Fil: Hernández Manfredini, Enrique. Universidade de Aveiro; Portugal
description Dung’s argumentation frameworks are formalisms widely used to model interac-tion among arguments. Although their study has been profusely developed in thefield of Artificial Intelligence, it is not common to see its treatment among thoseless connected to computer science within the logical-philosophical community.In this paper we propose to bring to that audience a proof-theory for argumentjustification based on tableaux, very similar to those the Logic students arefamiliar with. The tableaux enable to calculate whether an argument or sub-set of arguments are accepted or rejected in accordance to Dung’s preferredand grounded extension-based semantics. Soundness and completeness resultsregarding those semantics are provided.
publishDate 2023
dc.date.none.fl_str_mv 2023-06
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/234030
Bodanza, Gustavo Adrian; Hernández Manfredini, Enrique; The Status of Arguments in Abstract Argumentation Frameworks: A Tableaux Method; Universidade Estadual de Campinas; Manuscrito; 46; 2; 6-2023; 66-108
0100-6045
2317-630X
CONICET Digital
CONICET
url http://hdl.handle.net/11336/234030
identifier_str_mv Bodanza, Gustavo Adrian; Hernández Manfredini, Enrique; The Status of Arguments in Abstract Argumentation Frameworks: A Tableaux Method; Universidade Estadual de Campinas; Manuscrito; 46; 2; 6-2023; 66-108
0100-6045
2317-630X
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452023000200066&tlng=en
info:eu-repo/semantics/altIdentifier/doi/10.1590/0100-6045.2023.v46n2.ge
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/zip
application/pdf
dc.publisher.none.fl_str_mv Universidade Estadual de Campinas
publisher.none.fl_str_mv Universidade Estadual de Campinas
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_ 1846082983597965312
score 13.22299

Publicaciones similares