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

Volver a la Vista simple
dc.conicet.fuenteindividual
dc.conicet.organizacionConsejo 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
dc.conicet.organizacionUniversidade de Aveiro
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionPortugal
dc.conicet.produccionid11332464
dc.contributor.authorBodanza, Gustavo Adrian
dc.contributor.authorHernández Manfredini, Enrique
dc.date.accessioned2024-04-25T11:40:21Z
dc.date.available2024-04-25T11:40:21Z
dc.date.issued2023-06
dc.date.updated2024-04-17T12:29:02Z
dc.description.abstractDung’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.es
dc.description.filFil: 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
dc.description.filFil: Hernández Manfredini, Enrique. Universidade de Aveiro; Portugal
dc.formatapplication/pdfes
dc.identifier.citationBodanza, 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-108es
dc.identifier.eissn2317-630Xes
dc.identifier.institucionalCONICET
dc.identifier.issn0100-6045es
dc.identifier.repoCONICET Digital
dc.identifier.urihttp://hdl.handle.net/11336/234030
dc.journal.ciudadCampinases
dc.journal.number2es
dc.journal.pagination66-108es
dc.journal.paisBrasiles
dc.journal.titleManuscritoes
dc.journal.volume46es
dc.language.isoenges
dc.publisherUniversidade Estadual de Campinases
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/url/http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452023000200066&tlng=en
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1590/0100-6045.2023.v46n2.ge
dc.rightsinfo:eu-repo/semantics/openAccess*
dc.rights.urihttps://creativecommons.org/licenses/by/2.5/ar/*
dc.subjectArgumentation Frameworkses
dc.subjectTableauxes
dc.subjectExtension Semanticses
dc.subject.classificationOtras Filosofía, Étnica y Religiónes
dc.subject.classificationFilosofía, Ética y Religiónes
dc.subject.classificationHUMANIDADESes
dc.titleThe Status of Arguments in Abstract Argumentation Frameworks: A Tableaux Methodes
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:ar-repo/semantics/artículo
dc.typeinfo:eu-repo/semantics/publishedVersion

Archivos

Bloque original

Miniatura
Nombre:
CONICET_Digital_Nro.55d88d70-d5a3-47dd-95c7-e153acecd0c6_B.pdf
Tamaño:
1.1 MB
Formato:
Adobe Portable Document Format
Descripción:
Descargar

Colecciones

Articulos(IIESS)
Volver a la Vista simple