A formal analysis of the AIF in terms of the ASPIC framework

In order to support the interchange of ideas and data between different projects and applications in the area of computational argumentation, a common ontology for computational argument, the Argument Interchange Format (AIF), has been devised. One of the criticisms levelled at the AIF has been that it does not take into account formal argumentation systems and their associated argumentationtheoretic semantics, which are part of the main focus of the field of computational argumentation. This paper aims to meet those criticisms by analysing the core AIF ontology in terms of the recently developed ASPIC argumentation framework. Keywords. ontology, argument interchange, formal argumentation framework

• Type: Journal
• Year: 2010
• Where: COMMA
• Authors: Floris Bex, Henry Prakken, Chris Reed
• Keywords: Applied Computing, Argumentation, COMMA 2010, Computational Argumentation, Formal Argumentation