On the combination of argumentation solvers into parallel portfolios

Vallati, Mauro, Cerutti, Federico and Giacomin, Massimiliano (2017) On the combination of argumentation solvers into parallel portfolios. In: AI 2017 Advances in Artificial Intelligence. Lecture Notes in Artificial Intelligence (LNAI) . Springer, pp. 315-327. ISBN 9783319630038

PDF - Accepted Version Restricted to Repository staff only Download (271kB)

Abstract

In the light of the increasing interest in efficient algorithms for solving abstract argumentation problems and the pervasive availability of multicore machines, a natural research issue is to combine existing argumentation solvers into parallel portfolios. In this work, we introduce six methodologies for the automatic configuration of parallel portfolios of argumentation solvers for enumerating the preferred extensions of a given framework. In particular, four methodologies aim at combining solvers in static portfolios, while two methodologies are designed for the dynamic configuration of parallel portfolios. Our empirical results demonstrate that the configuration of parallel portfolios is a fruitful way for exploiting multicore machines, and that the presented approaches outperform the state of the art of parallel argumentation solvers

Item Type:	Book Chapter
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science Q Science > QA Mathematics > QA76 Computer software
Schools:	School of Computing and Engineering 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:	Author Publisher Conference
Depositing User:	Mauro Vallati
Date Deposited:	25 May 2017 13:09
Last Modified:	08 Aug 2017 06:34
URI:	http://eprints.hud.ac.uk/id/eprint/32004

Downloads

Repository Staff Only: item control page

View Item