On Labelling Statements in Multi-Labelling Argumentation

In computational models of argumentation, argument justification has attracted more attention than statement justification, and significant sensitivity losses are identifiable when dealing with the justification of statements by otherwise appealing formalisms. This paper reappraises statement justification as a formalism-independent component in argument-based reasoning. We introduce a novel general model of argument-based reasoning based on multiple stages of labellings, the last one being devoted to statement justification, identify two alternative paths from argument acceptance to statement justification, and compare their expressiveness. We then show that this model encompasses several prominent literature proposals as special cases, thereby enabling a systematic comparison of existing approaches to statement justification, evidencing their merits and limits. Finally we illustrate our model by specifying a generic ignorance-aware statement justification and showing how it can be seamlessly integrated into different formalisms.

[1]  Michael J. Maher,et al.  Argumentation Semantics for Defeasible Logic , 2004, J. Log. Comput..

[2]  Pietro Baroni,et al.  Dealing with Generic Contrariness in Structured Argumentation , 2015, IJCAI.

[3]  Henry Prakken,et al.  A general account of argumentation with preferences , 2013, Artif. Intell..

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

[5]  Pietro Baroni,et al.  On the Justification of Statements in Argumentation-based Reasoning , 2016, KR.

[6]  Guillermo Ricardo Simari,et al.  Defeasible logic programming: DeLP-servers, contextual queries, and explanations for answers , 2014, Argument Comput..

[7]  Philippe Besnard,et al.  Logical limits of abstract argumentation frameworks , 2013, J. Appl. Non Class. Logics.

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

[9]  Bernhard Nebel,et al.  On the computational complexity of assumption-based argumentation for default reasoning , 2002, Artif. Intell..

[10]  Francesca Toni,et al.  A tutorial on assumption-based argumentation , 2014, Argument Comput..

[11]  Henry Prakken,et al.  The ASPIC+ framework for structured argumentation: a tutorial , 2014, Argument Comput..

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

[13]  Henry Prakken,et al.  An abstract framework for argumentation with structured arguments , 2010, Argument Comput..