Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings

Authors

  • Tuomo Lehtonen University of Helsinki
  • Johannes P. Wallner Vienna University of Technology
  • Matti Järvisalo University of Helsinki

DOI:

https://doi.org/10.1609/aaai.v33i01.33012938

Abstract

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 by encoding ABA reasoning tasks in answer set programming. This significantly improves on the empirical performance of current ABA reasoning systems. 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.

Downloads

Published

2019-07-17

How to Cite

Lehtonen, T., Wallner, J. P., & Järvisalo, M. (2019). Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings. Proceedings of the AAAI Conference on Artificial Intelligence, 33(01), 2938-2945. https://doi.org/10.1609/aaai.v33i01.33012938

Issue

Section

AAAI Technical Track: Knowledge Representation and Reasoning