[Back]

T. Lehtonen, J. P. Wallner, M. Järvisalo:
"Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings";
Talk: AAAI Conference, Honolulu, Hawaii; 01-27-2019 - 02-01-2019; in: "Proceedings AAAI 2019", P. Van Hentenryck, Z. Zhou (ed.); AAAI Press, (2019), 2938 - 2945.

Focusing on assumption-based argumentation (ABA) as a central structured formalism to AI argumentation, we propose a new approach to reasoning in ABA with and without preferences. While previous approaches apply either specialized algorithms or translate ABA reasoning to reasoning over abstract argumentation frameworks, we develop a direct approach to ABA reasoning by encoding ABA reasoning tasks in answer set programming. Our approach significantly improves on the empirical performance of current ABA reasoning systems. Furthermore, while the complexity of reasoning over ABA frameworks is well-understood, the complexity of reasoning in the ABA+ formalism integrating preferences into ABA is currently less understood. Towards bridging this gap, we also give new complexity results for reasoning in ABA+, suggesting that the integration of preferential information into ABA results in increased problem complexity for several central argumentation semantics.

http://dx.doi.org/10.1609/aaai.v33i01.33012938

Project Head Johannes Peter Wallner:
EMBArg

Project Head Stefan Woltran:
Neue Werkzeuge für graphenbasierte formale Argumentation