论文信息 - Interchanging arguments between Carneades and AIF

Interchanging arguments between Carneades and AIF

We have implemented a translator that translates Carneades Argument Graphs as specified in the LKIF files of the Carneades editor to a database specification of the Argument Interchange Format and vice versa. In this paper the algorithms for this translation are presented.

Floris Bex | Chris Reed | Thomas F. Gordon | John Lawrence

[1] Floris Bex,et al. AIFdb: Infrastructure for the Argument Web , 2012, COMMA.

[2] Floris Bex,et al. Implementing ArguBlogging , 2012, COMMA.

[3] Chris Reed,et al. Araucaria: Software for Argument Analysis, Diagramming and Representation , 2004, Int. J. Artif. Intell. Tools.

[4] Tim van Gelder,et al. The rationale for Rationale , 2007 .

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

[6] Henry Prakken,et al. On logical specifications of the Argument Interchange Format , 2013, J. Log. Comput..

[7] Henry Prakken,et al. Towards a Formal Account of Reasoning about Evidence: Argumentation Schemes and Generalisations , 2003, Artificial Intelligence and Law.

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

[9] Floris Bex,et al. Schemes of inference, conflict, and preference in a computational model of argument , 2011 .

[10] Henry Prakken,et al. Relating Carneades with abstract argumentation via the ASPIC+ framework for structured argumentation , 2012, Argument Comput..

[11] Henry Prakken,et al. The Carneades model of argument and burden of proof , 2007, Artif. Intell..

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

[13] Douglas Walton,et al. Proof Burdens and Standards , 2009, Argumentation in Artificial Intelligence.