Multi-valued GRAPPA

Abstract dialectical frameworks (ADFs) are generalizations of Dung’s argumentation frameworks which allow arbitrary relationships among arguments to be expressed. In particular, arguments can not only attack each other, they also may provide support for other arguments and interact in various complex ways. The ADF approach has recently been extended in two different ways. On the one hand, GRAPPA is a framework that applies the key notions underlying ADFs – in particular their operator-based semantics – directly to arbitrary labelled graphs. This allows users to represent argumentation scenarios in their favourite graphical representations without giving up the firm ground of well-defined semantics. On the other hand, ADFs have been further generalized to the multi-valued case to enable fine-grained acceptance values. In this paper we unify these approaches and develop a multi-valued version of GRAPPA combining the advantages of both extensions.

[1]  Trevor J. M. Bench-Capon,et al.  A methodology for designing systems to reason with legal cases using Abstract Dialectical Frameworks , 2016, Artificial Intelligence and Law.

[2]  Pietro Baroni,et al.  An introduction to argumentation semantics , 2011, The Knowledge Engineering Review.

[3]  Hannes Strass,et al.  Abstract Dialectical Frameworks Revisited , 2013, IJCAI.

[4]  Trevor J. M. Bench-Capon,et al.  Noise Induced Hearing Loss: An Application of the Angelic Methodology , 2017, JURIX.

[5]  Stefan Woltran,et al.  Abstract Dialectical Frameworks , 2010, KR.

[6]  Hannes Strass,et al.  Weighted Abstract Dialectical Frameworks , 2018, AAAI.

[7]  Trevor J. M. Bench-Capon,et al.  Abstract Dialectical Frameworks for Legal Reasoning , 2014, JURIX.

[8]  Trevor J. M. Bench-Capon,et al.  Relating the ANGELIC Methodology and ASPIC+ , 2018, COMMA.

[9]  Jörg Pührer.  ArgueApply: Abstract Argumentation at Your Fingertips , 2018, KI - Künstliche Intelligenz.

[10]  Bart Bogaerts.  Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory , 2019, AAAI.

[11]  Victor W. Marek,et al.  Ultimate approximation and its application in nonmonotonic knowledge representation systems , 2004, Inf. Comput..

[12]  Serena Villata,et al.  Abstract Dialectical Frameworks for Text Exploration , 2016, ICAART.

[13]  Victor W. Marek,et al.  Uniform semantic treatment of default and autoepistemic logics , 2000, Artif. Intell..

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

[15]  Victor W. Marek,et al.  Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning , 2000 .

[16]  Hannes Strass.  Approximating operators and semantics for abstract dialectical frameworks , 2013, Artif. Intell..

[17]  Hannes Strass,et al.  Weighted Abstract Dialectical Frameworks: Extended and Revised Report , 2018, ArXiv.

[18]  Stefan Woltran,et al.  GRAPPA: A Semantical Framework for Graph-Based Argument Processing , 2014, ECAI.

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