A Comparative Study of Some Central Notions of ASPIC+ and DeLP

by   Alejandro J. García, et al.

This paper formally compares some central notions from two well-known formalisms for rule-based argumentation, DeLP and ASPIC+. The comparisons especially focus on intuitive adequacy and inter-translatability, consistency, and closure properties. As for differences in the definitions of arguments and attack, it turns out that DeLP's definitions are intuitively appealing but that they may not fully comply with Caminada and Amgoud's rationality postulates of strict closure and indirect consistency. For some special cases, the DeLP definitions are shown to fare better than ASPIC+. Next, it is argued that there are reasons to consider a variant of DeLP with grounded semantics, since in some examples its current notion of warrant arguably has counterintuitive consequences and may lead to sets of warranted arguments that are not admissible. Finally, under some minimality and consistency assumptions on ASPIC+ arguments, a one-to-many correspondence between ASPIC+ arguments and DeLP arguments is identified in such a way that if the DeLP warranting procedure is changed to grounded semantics, then DeLP notion of warrant and ASPIC+'s notion of justification are equivalent. This result is proven for three alternative definitions of attack. This paper is under consideration in Theory and Practice of Logic Programming (TPLP).


page 1

page 2

page 3

page 4


Technical Report of "Deductive Joint Support for Rational Unrestricted Rebuttal"

In ASPIC-style structured argumentation an argument can rebut another ar...

Technical report of "Empirical Study on Human Evaluation of Complex Argumentation Frameworks"

In abstract argumentation, multiple argumentation semantics have been pr...

A Comparative Study of Ranking-based Semantics for Abstract Argumentation

Argumentation is a process of evaluating and comparing a set of argument...

Defense semantics of argumentation: encoding reasons for accepting arguments

In this paper we show how the defense relation among abstract arguments ...

Argument-based Belief in Topological Structures

This paper combines two studies: a topological semantics for epistemic n...

On Nested Justification Systems (full version)

Justification theory is a general framework for the definition of semant...

On the Notion of a Generalized Mapping on Multiset Spaces

This work presents a generalized notion of multiset mapping thus resolvi...

Please sign up or login with your details

Forgot password? Click here to reset