Moving Between Argumentation Frameworks

Abstract argument frameworks have been used for various applications within multi-agent systems, including reasoning and negotiation. Different argument frameworks make use of different inter-argument relations and semantics to identify some subset of arguments as coherent, yet there is no easy way to map between these frameworks; most commonly, this is done manually according to human intuition. In response, in this paper, we show how a set of arguments described using Dung's or Nielsen's argument frameworks can be mapped from and to an argument framework that includes both attack and support relations. This mapping preserves the framework's semantics in the sense that an argument deemed coherent in one framework is coherent in the other under a related semantics. Interestingly, this translation is not unique, with one set of arguments in the support based framework mapping to multiple argument sets within the attack only framework. Additionally, we show how EAF can be mapped into a subset of the argument interchange format (AIF). By using this mapping, any other argument framework using this subset of AIF can be translated into a DAF while preserving its semantics.

[1]  Claudette Cayrol,et al.  On bipolarity in argumentation frameworks , 2008, NMR.

[2]  Reedchris,et al.  Towards an argument interchange format , 2006 .

[3]  Sanjay Modgil,et al.  An Abstract Theory of Argumentation That Accommodates Defeasible Reasoning About Preferences , 2007, ECSQARU.

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

[5]  Nir Oren,et al.  Semantics for Evidence-Based Argumentation , 2008, COMMA.

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

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

[8]  Simon Parsons,et al.  A Generalization of Dung's Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments , 2006, ArgMAS.

[9]  C. Cayrol,et al.  On the Acceptability of Arguments in Bipolar Argumentation Frameworks , 2005, ECSQARU.

[10]  Claudette Cayrol,et al.  Integrating Preference Orderings into Argument-Based Reasoning , 1997, ECSQARU-FAPR.

[11]  Trevor J. M. Bench-Capon Value-based argumentation frameworks , 2002, NMR.

[12]  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..

[13]  Claudette Cayrol,et al.  Bipolar abstract argumentation systems , 2009, Argumentation in Artificial Intelligence.

[14]  Guillermo Ricardo Simari,et al.  Progressive Defeat Paths in Abstract Argumentation Frameworks , 2006, Canadian Conference on AI.