Niskanen, A., Wallner, J., & Järvisalo, M. (2018). Extension Enforcement under Grounded Semantics in Abstract Argumentation. In Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR2018) (pp. 178–182). AAAI Press. https://doi.org/10.34726/1842
Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR2018)
-
ISBN:
978-1-57735-803-9
-
Date (published):
2018
-
Number of Pages:
5
-
Publisher:
AAAI Press, Palo Alto, California
-
Keywords:
computational argumentation; argumentation; abstract argumentation; enforcement; grounded semantics; Boolean satisfiability; maximum satisfiability; answer set programming
en
Abstract:
The study of dynamics in abstract argumentation gives rise to optimization problems that are NP-hard also under the grounded semantics, in contrast to argument acceptance problems over argumentation frameworks (AF). Developing efficient systems for AF reasoning under grounded semantics has received less attention compared to other central AF semantics under which acceptance is NP-hard. In particular, grounded semantics is not currently supported by recent systems for extension enforcement, despite (or due to) its non-triviality. In this work, we propose and empirically evaluate three first approaches to enforcement under grounded semantics. While each of the approaches is based on employing constraint optimization solvers, we show empirically that there are significant differences in the scalability of the approaches.
