Cerutti, Federico, Vallati, Mauro and Giacomin, Massimiliano (2016) On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning. In: Computational Models of Argument : Proceedings of COMMA 2016. Frontiers in Artificial Intelligence and Applications, 287 . IOS Press, pp. 199-206. ISBN 978-1614996859
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.

Library
Documents
[img]
effectiveness-automated-configuration.pdf - Accepted Version
Restricted to Repository staff only

Download (203kB)
Statistics