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 argumentation-theoretic 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.

[1]  Chris Reed,et al.  Argumentation Schemes , 2008 .

[2]  Henry Prakken,et al.  An abstract framework for argumentation with structured arguments , 2010, Argument Comput..

[3]  Iyad Rahwan,et al.  The Argument Interchange Format , 2009, Argumentation in Artificial Intelligence.

[4]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[5]  Guillermo Ricardo Simari,et al.  Towards an argument interchange format , 2006, The Knowledge Engineering Review.

[6]  John L. Pollock,et al.  Justification and Defeat , 1994, Artif. Intell..

[7]  Sanjay Modgil,et al.  Reasoning about preferences in argumentation frameworks , 2009, Artif. Intell..

[8]  Douglas Walton,et al.  Logical dialogue-games and fallacies , 1984 .

[9]  Henry Prakken,et al.  Reasoning about Preferences in Structured Extended Argumentation Frameworks , 2010, COMMA.

[10]  Gerard Vreeswijk,et al.  Abstract Argumentation Systems , 1997, Artif. Intell..

[11]  Iyad Rahwan,et al.  Representing and classifying arguments on the Semantic Web , 2011, The Knowledge Engineering Review.

[12]  Henry Prakken,et al.  Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.

[13]  Iyad Rahwan,et al.  Laying the foundations for a World Wide Argument Web , 2007, Artif. Intell..

[14]  Phan Minh Dung,et al.  An Abstract, Argumentation-Theoretic Approach to Default Reasoning , 1997, Artif. Intell..

[15]  Chris Reed,et al.  AIF+: Dialogue in the Argument Interchange Format , 2008, COMMA.

[16]  Martin Caminada,et al.  On the evaluation of argumentation formalisms , 2007, Artif. Intell..