Encoding Argument Graphs in Logic

Argument graphs are a common way to model argumentative reasoning. For reasoning or computational purposes, such graphs may have to be encoded in a given logic. This paper aims at providing a systematic approach for this encoding. This approach relies upon a general, principle-based characterization of argumentation semantics.

[1]  Ur Informationssysteme,et al.  Answer-Set Programming Encodings for Argumentation Frameworks , 2008 .

[2]  Jeff Z. Pan,et al.  An Argument-Based Approach to Using Multiple Ontologies , 2009, SUM.

[3]  Stefan Woltran,et al.  Implementing Abstract Argumentation - A Survey , 2013 .

[4]  Martin Caminada,et al.  A QBF-based formalization of abstract argumentation semantics , 2013, J. Appl. Log..

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

[6]  Pietro Baroni,et al.  Semantics of Abstract Argument Systems , 2009, Argumentation in Artificial Intelligence.

[7]  Leila Amgoud,et al.  Argumentation frameworks as constraint satisfaction problems , 2011, Annals of Mathematics and Artificial Intelligence.

[8]  Michael Wooldridge,et al.  Complexity of Abstract Argumentation , 2009, Argumentation in Artificial Intelligence.

[9]  Pietro Baroni,et al.  On principle-based evaluation of extension-based argumentation semantics , 2007, Artif. Intell..

[10]  Sjur Dyrkolbotn.  The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic , 2013, WoLLIC.

[11]  Pietro Baroni,et al.  SCC-recursiveness: a general schema for argumentation semantics , 2005, Artif. Intell..

[12]  Philippe Besnard,et al.  Checking the acceptability of a set of arguments , 2004, NMR.

[13]  Sjur K. Dyrkolbotn,et al.  Finding kernels or solving SAT , 2012, J. Discrete Algorithms.

[14]  Henry Prakken,et al.  Introduction to structured argumentation , 2014, Argument Comput..

[15]  Alan Bundy,et al.  Towards Ontology Evolution in Physics , 2008, WoLLIC.

[16]  Katie Atkinson,et al.  Algorithms for decision problems in argument systems under preferred semantics , 2014, Artif. Intell..

[17]  Andreas Herzig,et al.  A Dynamic Logic Framework for Abstract Argumentation , 2014, KR.