Axiomatic Foundations of Acceptability Semantics

An argument is a reason or justification of a claim. It has an intrinsic strength and may be attacked by other arguments. Hence, the evaluation of its overall strength becomes mandatory, especially for judging the reliability of its claim. Such an evaluation is done by acceptability semantics. The aim of this paper is to set up the foundations of acceptability semantics. Foundations are important not only for a better understanding of the evaluation process in general, but also for clarifying the basic assumptions underlying semantics, for comparing different (families of) semantics and identifying families of semantics that have not been explored yet. The paper defines the building blocks of a semantics. It introduces key concepts and principles on which an evaluation is based. Each concept (principle) is described by an axiom. We investigate properties of semantics that satisfy the axioms, show the foundations of the two crucial notions of reinstatement and defence, and analyse some existing semantics against the axioms.

[1]  Elizabeth Sklar,et al.  Argumentation-based reasoning in agents with varying degrees of trust , 2011, AAMAS.

[2]  Anthony Hunter,et al.  A logic-based theory of deductive arguments , 2001, Artif. Intell..

[3]  Claudette Cayrol,et al.  A Reasoning Model Based on the Production of Acceptable Arguments , 2002, Annals of Mathematics and Artificial Intelligence.

[4]  Serena Villata,et al.  Changing One's Mind: Erase or Rewind? , 2011, IJCAI.

[5]  Matthias Thimm,et al.  A Probabilistic Semantics for abstract Argumentation , 2012, ECAI.

[6]  Srdjan Vesic,et al.  Ranking Arguments With Compensation-Based Semantics , 2016, KR.

[7]  Sanjay Modgil,et al.  On the Graded Acceptability of Arguments , 2015, IJCAI.

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

[9]  Michael Wooldridge,et al.  Weighted argument systems: Basic definitions, algorithms, and complexity results , 2011, Artif. Intell..

[10]  Paolo Mancarella,et al.  Computing ideal sceptical argumentation , 2007, Artif. Intell..

[11]  Paul-Amaury Matt,et al.  A Game-Theoretic Measure of Argument Strength for Abstract Argumentation , 2008, JELIA.

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

[13]  Claudette Cayrol,et al.  Graduality in Argumentation , 2011, J. Artif. Intell. Res..

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

[15]  Nicolas Maudet,et al.  Coalitional games for abstract argumentation , 2014, COMMA.

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

[17]  Jian Luo,et al.  Argument Ranking with Categoriser Function , 2014, KSEM.

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

[19]  João Leite,et al.  Social Abstract Argumentation , 2011, IJCAI.

[20]  Trevor J. M. Bench-Capon.  Persuasion in Practical Argument Using Value-based Argumentation Frameworks , 2003, J. Log. Comput..

[21]  Martin Caminada,et al.  On the Issue of Reinstatement in Argumentation , 2006, JELIA.