A Comparative Study of Some Central Notions of ASPIC+ and DeLP. Issue 3 (10th May 2020)
- Record Type:
- Journal Article
- Title:
- A Comparative Study of Some Central Notions of ASPIC+ and DeLP. Issue 3 (10th May 2020)
- Main Title:
- A Comparative Study of Some Central Notions of ASPIC+ and DeLP
- Authors:
- GARCÍA, ALEJANDRO J.
PRAKKEN, HENRY
SIMARI, GUILLERMO R. - Abstract:
- Abstract: 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 's DeLP notion of warrant and ASPIC + 's notion of justification are equivalent. This result is proven for three alternative definitions of attack.
- Is Part Of:
- Theory and practice of logic programming. Volume 20:Issue 3(2020)
- Journal:
- Theory and practice of logic programming
- Issue:
- Volume 20:Issue 3(2020)
- Issue Display:
- Volume 20, Issue 3 (2020)
- Year:
- 2020
- Volume:
- 20
- Issue:
- 3
- Issue Sort Value:
- 2020-0020-0003-0000
- Page Start:
- 358
- Page End:
- 390
- Publication Date:
- 2020-05-10
- Subjects:
- rule-based argumentation, -- defeasible logic programming, -- ASPIC+
Logic programming -- Periodicals
Artificial intelligence -- Computer programs -- Periodicals
Constraint programming (Computer science) -- Periodicals
005.115 - Journal URLs:
- https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming ↗
- DOI:
- 10.1017/S1471068419000437 ↗
- Languages:
- English
- ISSNs:
- 1471-0684
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD Digital store
- Ingest File:
- 16319.xml