The Status of Arguments in Abstract Argumentation Frameworks: A Tableaux Method
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-philosoph...
| Authors: | , |
|---|---|
| Format: | article |
| Status: | Published version |
| Publication Date: | 2023 |
| Country: | Argentina |
| Institution: | Consejo Nacional de Investigaciones Científicas y Técnicas |
| Repository: | CONICET Digital (CONICET) |
| Language: | English |
| OAI Identifier: | oai:ri.conicet.gov.ar:11336/234030 |
| Online Access: | http://hdl.handle.net/11336/234030 |
| Access Level: | Open access |
| Keyword: | Argumentation Frameworks Tableaux Extension Semantics https://purl.org/becyt/ford/6.3 https://purl.org/becyt/ford/6 |
| Summary: | 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. |
|---|