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

Abstract

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.