SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability

In abstract argumentation theory, many argumentation semantics have been proposed for evaluating argumentation frameworks. This paper is based on the following research question: Which semantics corresponds well to what humans consider a rational judgment on the acceptability of arguments? There are two systematic ways to approach this research question: A normative perspective is provided by the principle-based approach, in which semantics are evaluated based on their satisfaction of various normatively desirable principles. A descriptive perspective is provided by the empirical approach, in which cognitive studies are conducted to determine which semantics best predicts human judgments about arguments. In this paper, we combine both approaches to motivate a new argumentation semantics called SCF2. For this purpose, we introduce and motivate two new principles and show that no semantics from the literature satisfies both of them. We define SCF2 and prove that it satisfies both new principles. Furthermore, we discuss findings of a recent empirical cognitive study that provide additional support to SCF2.

[1]  Claudette Cayrol,et al.  Revision of an Argumentation System , 2008, KR.

[2]  Chiaki Sakama,et al.  Persistence and Monotony Properties of Argumentation Semantics , 2015, TAFA.

[3]  Dominique Longin,et al.  SESAME - A System for Specifying Semantics in Abstract Argumentation , 2016, SAFA@COMMA.

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

[5]  Marcos Cramer,et al.  Technical report of "Empirical Study on Human Evaluation of Complex Argumentation Frameworks" , 2019, ArXiv.

[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]  Pietro Baroni,et al.  SCC-recursiveness: a general schema for argumentation semantics , 2005, Artif. Intell..

[9]  Leila Amgoud,et al.  Ranking-Based Semantics for Argumentation Frameworks , 2013, SUM.

[10]  Ringo Baumann,et al.  Normal and strong expansion equivalence for argumentation frameworks , 2012, Artif. Intell..

[11]  Leon van der Torre,et al.  The Principle-Based Approach to Abstract Argumentation Semantics , 2017 .

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

[13]  Pietro Baroni,et al.  Abstract Argumentation Frameworks and Their Semantics , 2018 .

[14]  Iyad Rahwan,et al.  Behavioral Experiments for Assessing the Abstract Argumentation Semantics of Reinstatement , 2010, Cogn. Sci..

[15]  Wolfgang Dvorák,et al.  Stage semantics and the SCC-recursive schema for argumentation semantics , 2016, J. Log. Comput..

[16]  Guido Boella,et al.  Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension , 2009, ECSQARU.

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

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

[19]  Marcos Cramer,et al.  Directionality of Attacks in Natural Language Argumentation , 2018, Bridging@IJCAI/ECAI.

[20]  Stefan Woltran,et al.  Characterizing Strong Equivalence for Argumentation Frameworks , 2010, KR.

[21]  Marcos Cramer,et al.  Empirical Cognitive Study on Abstract Argumentation Semantics , 2018, COMMA.