On ASPIC+ and Defeasible Logic

Ho Pun Lam; Guido Governatori; Régis Riveret

doi:10.3233/978-1-61499-686-6-359

On ASPIC⁺ and Defeasible Logic

Ho Pun Lam^*, Guido Governatori, Régis Riveret

^*Corresponding author for this work

CSIRO

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

10 Citations (Scopus)

Abstract

Dung-like argumentation framework ASPIC⁺ and Defeasible Logic (DL) are both well-studied rule-based formalisms for defeasible reasoning. We compare the two frameworks and establish a linkage between an instantiation of ASPIC⁺ and a DL variant, which leads to a better understanding and cross-fertilization – in particular our work sheds light on features such as ambiguity propagating/blocking, team defeat and strict rules for argumentation, while emphasizing the argumentation-theoretic features of DL.

Original language	English
Title of host publication	Frontiers in Artificial Intelligence and Applications
Editors	Pietro Baroni, Thomas F. Gordon, Tatjana Scheffler, Manfred Stede
Publisher	IOS Press BV
Pages	359-370
Number of pages	12
ISBN (Electronic)	9781614996859
DOIs	https://doi.org/10.3233/978-1-61499-686-6-359
Publication status	Published - 2016
Externally published	Yes
Event	6th International Conference on Computational Models of Argument, COMMA 2016 - Potsdam, Germany Duration: 12 Sept 2016 → 16 Sept 2016

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Volume	287
ISSN (Print)	0922-6389
ISSN (Electronic)	1879-8314

Conference

Conference	6th International Conference on Computational Models of Argument, COMMA 2016
Country/Territory	Germany
City	Potsdam
Period	12/09/16 → 16/09/16

Keywords

argumentation
ASPIC
Defeasible Logic

Access to Document

10.3233/978-1-61499-686-6-359

Cite this

@inproceedings{92b7245afeed415ea0f054280c33f21c,

title = "On ASPIC+ and Defeasible Logic",

abstract = "Dung-like argumentation framework ASPIC+ and Defeasible Logic (DL) are both well-studied rule-based formalisms for defeasible reasoning. We compare the two frameworks and establish a linkage between an instantiation of ASPIC+ and a DL variant, which leads to a better understanding and cross-fertilization – in particular our work sheds light on features such as ambiguity propagating/blocking, team defeat and strict rules for argumentation, while emphasizing the argumentation-theoretic features of DL.",

keywords = "argumentation, ASPIC, Defeasible Logic",

author = "Lam, {Ho Pun} and Guido Governatori and R{\'e}gis Riveret",

note = "Publisher Copyright: {\textcopyright} 2016 The authors and IOS Press.; 6th International Conference on Computational Models of Argument, COMMA 2016 ; Conference date: 12-09-2016 Through 16-09-2016",

year = "2016",

doi = "10.3233/978-1-61499-686-6-359",

language = "English",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press BV",

pages = "359--370",

editor = "Pietro Baroni and Gordon, {Thomas F.} and Tatjana Scheffler and Manfred Stede",

booktitle = "Frontiers in Artificial Intelligence and Applications",

}

Lam, HP, Governatori, G & Riveret, R 2016, On ASPIC⁺ and Defeasible Logic. in P Baroni, TF Gordon, T Scheffler & M Stede (eds), Frontiers in Artificial Intelligence and Applications. Frontiers in Artificial Intelligence and Applications, vol. 287, IOS Press BV, pp. 359-370, 6th International Conference on Computational Models of Argument, COMMA 2016, Potsdam, Germany, 12/09/16. https://doi.org/10.3233/978-1-61499-686-6-359

On ASPIC⁺ and Defeasible Logic. / Lam, Ho Pun; Governatori, Guido; Riveret, Régis.
Frontiers in Artificial Intelligence and Applications. ed. / Pietro Baroni; Thomas F. Gordon; Tatjana Scheffler; Manfred Stede. IOS Press BV, 2016. p. 359-370 (Frontiers in Artificial Intelligence and Applications; Vol. 287).

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

TY - GEN

T1 - On ASPIC+ and Defeasible Logic

AU - Lam, Ho Pun

AU - Governatori, Guido

AU - Riveret, Régis

PY - 2016

Y1 - 2016

N2 - Dung-like argumentation framework ASPIC+ and Defeasible Logic (DL) are both well-studied rule-based formalisms for defeasible reasoning. We compare the two frameworks and establish a linkage between an instantiation of ASPIC+ and a DL variant, which leads to a better understanding and cross-fertilization – in particular our work sheds light on features such as ambiguity propagating/blocking, team defeat and strict rules for argumentation, while emphasizing the argumentation-theoretic features of DL.

AB - Dung-like argumentation framework ASPIC+ and Defeasible Logic (DL) are both well-studied rule-based formalisms for defeasible reasoning. We compare the two frameworks and establish a linkage between an instantiation of ASPIC+ and a DL variant, which leads to a better understanding and cross-fertilization – in particular our work sheds light on features such as ambiguity propagating/blocking, team defeat and strict rules for argumentation, while emphasizing the argumentation-theoretic features of DL.

KW - argumentation

KW - ASPIC

KW - Defeasible Logic

UR - http://www.scopus.com/inward/record.url?scp=85086927494&partnerID=8YFLogxK

U2 - 10.3233/978-1-61499-686-6-359

DO - 10.3233/978-1-61499-686-6-359

M3 - Conference Proceeding

AN - SCOPUS:85086927494

T3 - Frontiers in Artificial Intelligence and Applications

SP - 359

EP - 370

BT - Frontiers in Artificial Intelligence and Applications

A2 - Baroni, Pietro

A2 - Gordon, Thomas F.

A2 - Scheffler, Tatjana

A2 - Stede, Manfred

PB - IOS Press BV

T2 - 6th International Conference on Computational Models of Argument, COMMA 2016

Y2 - 12 September 2016 through 16 September 2016

ER -