From structured to abstract argumentation : Assumption-based acceptance via AF reasoning

Tuomo Lehtonen; Johannes P. Wallner; Matti Järvisalo

doi:10.1007/978-3-319-61581-3_6

From structured to abstract argumentation : Assumption-based acceptance via AF reasoning

Tuomo Lehtonen
, Johannes P. Wallner^*
, Matti Järvisalo

^*Corresponding author for this work

Not published at Aalto University

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

16 Citations (Scopus)

Abstract

We study the applicability of abstract argumentation (AF) reasoners in efficiently answering acceptability queries over assumption-based argumentation (ABA) frameworks, one of the prevalent forms of structured argumentation. We provide a refined algorithm for translating ABA frameworks to AFs allowing the use of AF reasoning to answer ABA acceptability queries, covering credulous and skeptical acceptance problems over ABAs in a seamless way under several argumentation semantics. We empirically show that the approach is complementary with a state-of-the-art ABA reasoning system.

Original language	English
Title of host publication	Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 14th European Conference, ECSQARU 2017, Proceedings
Editors	Alessandro Antonucci, Laurence Cholvy, Odile Papini
Publisher	Springer
Pages	57-68
Number of pages	12
ISBN (Electronic)	978-3-319-61581-3
ISBN (Print)	978-3-319-61580-6
DOIs	https://doi.org/10.1007/978-3-319-61581-3_6
Publication status	Published - 2017
MoE publication type	A4 Conference publication
Event	European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty - Lugano, Switzerland Duration: 10 Jul 2017 → 14 Jul 2017 Conference number: 14

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer
Volume	10369 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Abbreviated title	ECSQARU
Country/Territory	Switzerland
City	Lugano
Period	10/07/2017 → 14/07/2017

Funding

Work funded by Academy of Finland, grants 251170 COIN, 276412, and 284591; Research Funds of the University of Helsinki; and the Austrian Science Fund (FWF): I2854 and P30168.

Access to Document

10.1007/978-3-319-61581-3_6

Cite this

Lehtonen, T., Wallner, J. P., & Järvisalo, M. (2017). From structured to abstract argumentation : Assumption-based acceptance via AF reasoning. In A. Antonucci, L. Cholvy, & O. Papini (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 14th European Conference, ECSQARU 2017, Proceedings (pp. 57-68). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10369 LNAI). Springer. https://doi.org/10.1007/978-3-319-61581-3_6

Lehtonen, Tuomo ; Wallner, Johannes P. ; Järvisalo, Matti. / From structured to abstract argumentation : Assumption-based acceptance via AF reasoning. Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 14th European Conference, ECSQARU 2017, Proceedings. editor / Alessandro Antonucci ; Laurence Cholvy ; Odile Papini. Springer, 2017. pp. 57-68 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{0e90902aa1594cdcb5217bc91ea9afcd,

title = "From structured to abstract argumentation : Assumption-based acceptance via AF reasoning",

abstract = "We study the applicability of abstract argumentation (AF) reasoners in efficiently answering acceptability queries over assumption-based argumentation (ABA) frameworks, one of the prevalent forms of structured argumentation. We provide a refined algorithm for translating ABA frameworks to AFs allowing the use of AF reasoning to answer ABA acceptability queries, covering credulous and skeptical acceptance problems over ABAs in a seamless way under several argumentation semantics. We empirically show that the approach is complementary with a state-of-the-art ABA reasoning system.",

author = "Tuomo Lehtonen and Wallner, \{Johannes P.\} and Matti J{\"a}rvisalo",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2017.; European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU ; Conference date: 10-07-2017 Through 14-07-2017",

year = "2017",

doi = "10.1007/978-3-319-61581-3\_6",

language = "English",

isbn = "978-3-319-61580-6",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "57--68",

editor = "Alessandro Antonucci and Laurence Cholvy and Odile Papini",

booktitle = "Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 14th European Conference, ECSQARU 2017, Proceedings",

address = "Germany",

}

Lehtonen, T, Wallner, JP & Järvisalo, M 2017, From structured to abstract argumentation : Assumption-based acceptance via AF reasoning. in A Antonucci, L Cholvy & O Papini (eds), Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 14th European Conference, ECSQARU 2017, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10369 LNAI, Springer, pp. 57-68, European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Lugano, Switzerland, 10/07/2017. https://doi.org/10.1007/978-3-319-61581-3_6

From structured to abstract argumentation : Assumption-based acceptance via AF reasoning. / Lehtonen, Tuomo; Wallner, Johannes P.; Järvisalo, Matti.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 14th European Conference, ECSQARU 2017, Proceedings. ed. / Alessandro Antonucci; Laurence Cholvy; Odile Papini. Springer, 2017. p. 57-68 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10369 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

TY - GEN

T1 - From structured to abstract argumentation : Assumption-based acceptance via AF reasoning

AU - Lehtonen, Tuomo

AU - Wallner, Johannes P.

AU - Järvisalo, Matti

N1 - Conference code: 14

PY - 2017

Y1 - 2017

N2 - We study the applicability of abstract argumentation (AF) reasoners in efficiently answering acceptability queries over assumption-based argumentation (ABA) frameworks, one of the prevalent forms of structured argumentation. We provide a refined algorithm for translating ABA frameworks to AFs allowing the use of AF reasoning to answer ABA acceptability queries, covering credulous and skeptical acceptance problems over ABAs in a seamless way under several argumentation semantics. We empirically show that the approach is complementary with a state-of-the-art ABA reasoning system.

AB - We study the applicability of abstract argumentation (AF) reasoners in efficiently answering acceptability queries over assumption-based argumentation (ABA) frameworks, one of the prevalent forms of structured argumentation. We provide a refined algorithm for translating ABA frameworks to AFs allowing the use of AF reasoning to answer ABA acceptability queries, covering credulous and skeptical acceptance problems over ABAs in a seamless way under several argumentation semantics. We empirically show that the approach is complementary with a state-of-the-art ABA reasoning system.

UR - https://www.scopus.com/pages/publications/85025144152

U2 - 10.1007/978-3-319-61581-3_6

DO - 10.1007/978-3-319-61581-3_6

M3 - Conference article in proceedings

AN - SCOPUS:85025144152

SN - 978-3-319-61580-6

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 57

EP - 68

BT - Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 14th European Conference, ECSQARU 2017, Proceedings

A2 - Antonucci, Alessandro

A2 - Cholvy, Laurence

A2 - Papini, Odile

PB - Springer

T2 - European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Y2 - 10 July 2017 through 14 July 2017

ER -

Lehtonen T, Wallner JP, Järvisalo M. From structured to abstract argumentation : Assumption-based acceptance via AF reasoning. In Antonucci A, Cholvy L, Papini O, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 14th European Conference, ECSQARU 2017, Proceedings. Springer. 2017. p. 57-68. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-61581-3_6

From structured to abstract argumentation : Assumption-based acceptance via AF reasoning

Abstract

Publication series

Conference

Funding

Access to Document

Other files and links

Fingerprint

Cite this