Search:
Computing and Library Services - delivering an inspiring information environment

On the Impact of Configuration on Abstract Argumentation Automated Reasoning

Cerutti, Federico, Vallati, Mauro and Giacomin, Massimiliano (2017) On the Impact of Configuration on Abstract Argumentation Automated Reasoning. International Journal of Approximate Reasoning. ISSN 0888-613X

[img] PDF - Accepted Version
Restricted to Repository staff only until 6 October 2019.
Available under License Creative Commons Attribution Non-commercial No Derivatives.

Download (525kB)

Abstract

In this paper we consider the impact of configuration of abstract argumentation reasoners both when using a single solver and choosing combinations of framework representation–solver options; and also when composing portfolios of algorithms.

To exemplify the impact of the framework–solver configuration we consider one of the most configurable solvers, namely ArgSemSAT—runner-up of the last competition on computational models of argumentation (ICCMA-15)—for enumerating preferred extensions. We discuss how to configure the representation of the argumentation framework in the input file and show how this coupled framework–solver configuration can have a remarkable impact on performance.

As to the impact of configuring differently structured portfolios of abstract argumentation solvers, we consider the solvers submitted to ICCMA-15, which provided the community with a heterogeneous panorama of approaches for handling abstract argumentation frameworks. A superficial reading of the results of ICCMA-15 is that reduction-based systems (either SAT-based or ASP-based) are always the most efficient. Our investigation, concerning the enumeration of stable and preferred extensions, shows that this is not true in full generality and suggests the areas where the relatively under-developed non reduction-based systems should focus more to improve their performance. Moreover, it also highlights that the state-of-the-art solvers are very complementary and can be successfully combined in portfolios.

Item Type: Article
Uncontrolled Keywords: Abstract argumentation; Solvers for argumentation problems; Automatic configuration; Portfolios methods for argumentation
Subjects: Q Science > Q Science (General)
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Schools: School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge
School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge
Related URLs:
Depositing User: Mauro Vallati
Date Deposited: 09 Oct 2017 13:32
Last Modified: 10 Oct 2017 22:06
URI: http://eprints.hud.ac.uk/id/eprint/33607

Downloads

Downloads per month over past year

Repository Staff Only: item control page

View Item View Item

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©