Exploiting Parallelism for Hard Problems in Abstract Argumentation

Cerutti, Federico, Tachmazidis, Ilias, Vallati, Mauro, Batsakis, Sotiris, Giacomin, Massimiliano and Antoniou, Grigoris (2015) Exploiting Parallelism for Hard Problems in Abstract Argumentation. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence. AAAI Press, pp. 1475-1481. ISBN 978-1-57735-698-1

Preview

PDF - Accepted Version Download (274kB) | Preview

Abstract

Abstract argumentation framework (AF) is a unifying framework able to encompass a variety of nonmonotonic reasoning approaches, logic programming and computational argumentation. Yet, efficient approaches for most of the decision and enumeration problems associated to AF s are missing, thus potentially limiting the efficacy of argumentation-based approaches in real domains. In this paper, we present an algorithm for enumerating the preferred extensions of abstract argumentation frameworks which exploits parallel computation. To this purpose, the SCC-recursive semantics definition schema is adopted, where extensions are defined at the level of specific sub-frameworks. The algorithm shows significant performance improvements in large frameworks, in terms of number of solutions found and speedup.

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 > 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 Conference Author Author
Depositing User:	Mauro Vallati
Date Deposited:	25 Nov 2014 14:19
Last Modified:	10 Dec 2016 07:45
URI:	http://eprints.hud.ac.uk/id/eprint/22469

Downloads

Repository Staff Only: item control page

View Item