On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning

Federico Cerutti, Mauro Vallati, Massimiliano Giacomin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

In this paper we investigate the impact of automated configuration techniques on the ArgSemSAT solver—runner-up of the ICCMA 2015—for solving the enumeration of preferred extensions. Moreover, we introduce a fully automated method for varying how argumentation frameworks are represented in the input file, and evaluate how the joint configuration of frameworks and ArgSemSAT parameters can have a remarkable impact on performance. Our findings suggest that automated configuration techniques lead to improved performances in argumentation solvers, an important message for participants to the forthcoming competition.
LanguageEnglish
Title of host publicationComputational Models of Argument
Subtitle of host publicationProceedings of COMMA 2016
Place of PublicationNetherlands
PublisherIOS Press
Pages199-206
Number of pages8
Volume287
ISBN (Electronic)9781614996866
ISBN (Print)9781614996859
DOIs
Publication statusPublished - Sep 2016
Event6th International Conference on Computational Models of Argument - University of Potsdam, Potsdam, Germany
Duration: 13 Sep 201616 Sep 2016
Conference number: 6
http://www.ling.uni-potsdam.de/comma2016/ (Link to Conference Website)

Publication series

NameFrontiers in Artificial Intelligence and Applications
PublisherIOS Press
Volume287
ISSN (Print)0922-6389
ISSN (Electronic)1879-8314

Conference

Conference6th International Conference on Computational Models of Argument
Abbreviated titleCOMMA 2016
CountryGermany
CityPotsdam
Period13/09/1616/09/16
Internet address

Cite this

Cerutti, F., Vallati, M., & Giacomin, M. (2016). On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning. In Computational Models of Argument: Proceedings of COMMA 2016 (Vol. 287, pp. 199-206). (Frontiers in Artificial Intelligence and Applications; Vol. 287). Netherlands: IOS Press. https://doi.org/10.3233/978-1-61499-686-6-199
Cerutti, Federico ; Vallati, Mauro ; Giacomin, Massimiliano. / On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning. Computational Models of Argument: Proceedings of COMMA 2016. Vol. 287 Netherlands : IOS Press, 2016. pp. 199-206 (Frontiers in Artificial Intelligence and Applications).
@inproceedings{d2488d92d8ff470ebb3f22aff9599aad,
title = "On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning",
abstract = "In this paper we investigate the impact of automated configuration techniques on the ArgSemSAT solver—runner-up of the ICCMA 2015—for solving the enumeration of preferred extensions. Moreover, we introduce a fully automated method for varying how argumentation frameworks are represented in the input file, and evaluate how the joint configuration of frameworks and ArgSemSAT parameters can have a remarkable impact on performance. Our findings suggest that automated configuration techniques lead to improved performances in argumentation solvers, an important message for participants to the forthcoming competition.",
keywords = "algorithm configuration, argumentation framework configuration, abstract argumentation",
author = "Federico Cerutti and Mauro Vallati and Massimiliano Giacomin",
year = "2016",
month = "9",
doi = "10.3233/978-1-61499-686-6-199",
language = "English",
isbn = "9781614996859",
volume = "287",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press",
pages = "199--206",
booktitle = "Computational Models of Argument",
address = "Netherlands",

}

Cerutti, F, Vallati, M & Giacomin, M 2016, On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning. in Computational Models of Argument: Proceedings of COMMA 2016. vol. 287, Frontiers in Artificial Intelligence and Applications, vol. 287, IOS Press, Netherlands, pp. 199-206, 6th International Conference on Computational Models of Argument, Potsdam, Germany, 13/09/16. https://doi.org/10.3233/978-1-61499-686-6-199

On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning. / Cerutti, Federico; Vallati, Mauro; Giacomin, Massimiliano.

Computational Models of Argument: Proceedings of COMMA 2016. Vol. 287 Netherlands : IOS Press, 2016. p. 199-206 (Frontiers in Artificial Intelligence and Applications; Vol. 287).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning

AU - Cerutti, Federico

AU - Vallati, Mauro

AU - Giacomin, Massimiliano

PY - 2016/9

Y1 - 2016/9

N2 - In this paper we investigate the impact of automated configuration techniques on the ArgSemSAT solver—runner-up of the ICCMA 2015—for solving the enumeration of preferred extensions. Moreover, we introduce a fully automated method for varying how argumentation frameworks are represented in the input file, and evaluate how the joint configuration of frameworks and ArgSemSAT parameters can have a remarkable impact on performance. Our findings suggest that automated configuration techniques lead to improved performances in argumentation solvers, an important message for participants to the forthcoming competition.

AB - In this paper we investigate the impact of automated configuration techniques on the ArgSemSAT solver—runner-up of the ICCMA 2015—for solving the enumeration of preferred extensions. Moreover, we introduce a fully automated method for varying how argumentation frameworks are represented in the input file, and evaluate how the joint configuration of frameworks and ArgSemSAT parameters can have a remarkable impact on performance. Our findings suggest that automated configuration techniques lead to improved performances in argumentation solvers, an important message for participants to the forthcoming competition.

KW - algorithm configuration

KW - argumentation framework configuration

KW - abstract argumentation

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

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

M3 - Conference contribution

SN - 9781614996859

VL - 287

T3 - Frontiers in Artificial Intelligence and Applications

SP - 199

EP - 206

BT - Computational Models of Argument

PB - IOS Press

CY - Netherlands

ER -

Cerutti F, Vallati M, Giacomin M. On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning. In Computational Models of Argument: Proceedings of COMMA 2016. Vol. 287. Netherlands: IOS Press. 2016. p. 199-206. (Frontiers in Artificial Intelligence and Applications). https://doi.org/10.3233/978-1-61499-686-6-199