Complexity results and algorithms for bipolar argumentation
File(s)main.pdf (891.66 KB)
Accepted version
Author(s)
Karamlou, Amin
Cyras, Kristijonas
Toni, Francesca
Type
Conference Paper
Abstract
Bipolar Argumentation Frameworks (BAFs) admit several interpretations of the support relation and diverging definitions of semantics. Recently, several classes of BAFs have been captured as instances of bipolar Assumption-Based Argumentation, a class of Assumption-Based Argumentation (ABA). In this paper, we establish the complexity of bipolar ABA, and consequently of several classes of BAFs. In addition to the standard five complexity problems, we analyse the rarely-addressed extension enumeration problem too. We also advance backtracking-driven algorithms for enumerating extensions of bipolar ABA frameworks, and consequently of BAFs under several interpretations. We prove soundness and completeness of our algorithms, describe their implementation and provide a scalability evaluation. We thus contribute to the study of the as yet uninvestigated complexity problems of (variously interpreted) BAFs as well as of bipolar ABA, and provide the lacking implementations thereof.
Date Issued
2019-05-08
Date Acceptance
2019-01-23
Citation
18th International Conference on Autonomous Agents and MultiAgent Systems, 2019, pp.1713-1721
ISBN
978-1-4503-6309-9
Publisher
ACM
Start Page
1713
End Page
1721
Journal / Book Title
18th International Conference on Autonomous Agents and MultiAgent Systems
Copyright Statement
© 2019 International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org). All rights reserved.
Sponsor
Engineering & Physical Science Research Council (EPSRC)
Identifier
http://dl.acm.org/citation.cfm?id=3331902
Grant Number
EP/P029558/1
Source
International Conference on Autonomous Agents and MultiAgent Systems
Subjects
Science & Technology
Technology
Computer Science, Theory & Methods
Computer Science
Complexity
Structured Argumentation
Bipolar Argumentation
SYSTEMS
AGENTS
cs.AI
cs.AI
Publication Status
Published
Start Date
2019-05-13
Coverage Spatial
Montreal, Canada
Date Publish Online
2019-06-10