Non-flat ABA is an instance of bipolar argumentation
File(s)NonFlatABAplusBAF.pdf (298.4 KB)
Accepted version
Author(s)
Ulbricht, Markus
Potyka, Nico
Rapberger, Anna
Toni, Francesca
Type
Conference Paper
Abstract
Assumption-based Argumentation (ABA) is a well-known
structured argumentation formalism, whereby arguments and attacks between them are drawn from rules, defeasible assumptions and their contraries. A common restriction im-
posed on ABA frameworks (ABAFs) is that they are flat, i.e.,
each of the defeasible assumptions can only be assumed, but not derived. While it is known that flat ABAFs can be translated into abstract argumentation frameworks (AFs) as pro-posed by Dung, no translation exists from general, possibly non-flat ABAFs into any kind of abstract argumentation formalism. In this paper, we close this gap and show that bipolar AFs (BAFs) can instantiate general ABAFs. To this end we develop suitable, novel BAF semantics which borrow from the notion of deductive support. We investigate basic properties of our BAFs, including computational complexity, and prove the desired relation to ABAFs under several semantics.
structured argumentation formalism, whereby arguments and attacks between them are drawn from rules, defeasible assumptions and their contraries. A common restriction im-
posed on ABA frameworks (ABAFs) is that they are flat, i.e.,
each of the defeasible assumptions can only be assumed, but not derived. While it is known that flat ABAFs can be translated into abstract argumentation frameworks (AFs) as pro-posed by Dung, no translation exists from general, possibly non-flat ABAFs into any kind of abstract argumentation formalism. In this paper, we close this gap and show that bipolar AFs (BAFs) can instantiate general ABAFs. To this end we develop suitable, novel BAF semantics which borrow from the notion of deductive support. We investigate basic properties of our BAFs, including computational complexity, and prove the desired relation to ABAFs under several semantics.
Date Issued
2024-03-24
Date Acceptance
2023-12-09
Citation
Proceedings of the 38th Annual AAAI Conference on Artificial Intelligence, 2024, 38 (9), pp.10723-10731
ISBN
978-1-57735-887-9
ISSN
2374-3468
Publisher
AAAI
Start Page
10723
End Page
10731
Journal / Book Title
Proceedings of the 38th Annual AAAI Conference on Artificial Intelligence
Volume
38
Issue
9
Copyright Statement
Copyright © 2024, Association for the Advancement of Artificial Intelligence. Ulbricht, M., Potyka, N., Rapberger, A., & Toni, F. (2024). Non-flat ABA Is an Instance of Bipolar Argumentation. Proceedings of the AAAI Conference on Artificial Intelligence, 38(9), 10723-10731. https://doi.org/10.1609/aaai.v38i9.28944
Identifier
https://ojs.aaai.org/index.php/AAAI/article/view/28944
Source
The 38th Annual AAAI Conference on Artificial Intelligence
Notes
AAAI Technical Track on Knowledge Representation and Reasoning
Publication Status
Published
Start Date
2024-02-20
Finish Date
2024-02-27
Coverage Spatial
Vancouver, Canada
Date Publish Online
2024-03-24