On the Functional Completeness of Argumentation Semantics

Abstract argumentation frameworks (AFs) are one of the central formalisms in AI; equipped with a wide range of semantics, they have proven useful in several application domains. We contribute to the systematic analysis of semantics for AFs by connecting two recent lines of research - the work on input/output frameworks and the study of the expressiveness of semantics. We do so by considering the following question: given a function describing an input/output behaviour by mapping extensions (resp. labellings) to sets of extensions (resp. labellings), is there an AF with designated input and output arguments realizing this function under a given semantics? For the major semantics we give exact characterizations of the functions which are realizable in this manner.

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

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

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

[4]  Hannes Strass,et al.  Compact Argumentation Frameworks , 2014, ECAI.

[5]  Hannes Strass.  Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks , 2015, J. Artif. Intell. Res..

[6]  Trevor J. M. Bench-Capon,et al.  Argumentation in artificial intelligence , 2007, Artif. Intell..

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

[8]  Paul E. Dunne,et al.  Semi-stable semantics , 2006, J. Log. Comput..

[9]  Martin Diller,et al.  An Extension-Based Approach to Belief Revision in Abstract Argumentation , 2015, IJCAI.

[10]  Bart Verheij,et al.  Two Approaches to Dialectical Argumentation: Admissible Sets and Argumentation Stages , 1999 .

[11]  Sjur Dyrkolbotn.  How to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFs , 2014, KR.

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

[13]  Jörg Pührer.  Realizability of Three-Valued Semantics for Abstract Dialectical Frameworks , 2015, IJCAI.

[14]  Pietro Baroni,et al.  On the resolution-based family of abstract argumentation semantics and its grounded instance , 2011, Artif. Intell..

[15]  Stefan Woltran,et al.  The cf2 argumentation semantics revisited , 2013, J. Log. Comput..

[16]  Dov M. Gabbay,et al.  A Logical Account of Formal Argumentation , 2009, Stud Logica.

[17]  Serena Villata,et al.  On the Input/Output behavior of argumentation frameworks , 2014, Artif. Intell..

[18]  Trevor J. M. Bench-Capon,et al.  Metalevel argumentation , 2011, J. Log. Comput..

[19]  Thomas Linsbichler,et al.  Characteristics of multiple viewpoints in abstract argumentation , 2014, Artif. Intell..

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