TY - JOUR

T1 - Harnessing incremental answer set solving for reasoning in assumption-based argumentation

AU - Lehtonen, Tuomo

AU - Wallner, Johannes Peter

AU - Järvisalo, Matti

PY - 2021

Y1 - 2021

N2 - Assumption-based argumentation (ABA) is a central structured argumentation formalism. As shown recently, answer set programming (ASP) enables efficiently solving NP-hard reasoning tasks of ABA in practice, in particular in the commonly studied logic programming fragment of ABA. In this work, we harness recent advances in incremental ASP solving for developing effective algorithms for reasoning tasks in the logic programming fragment of ABA that are presumably hard for the second level of the polynomial hierarchy, including skeptical reasoning under preferred semantics as well as preferential reasoning. In particular, we develop non-trivial counterexample-guided abstraction refinement procedures based on incremental ASP solving for these tasks. We also show empirically that the procedures are significantly more effective than previously proposed algorithms for the tasks.

AB - Assumption-based argumentation (ABA) is a central structured argumentation formalism. As shown recently, answer set programming (ASP) enables efficiently solving NP-hard reasoning tasks of ABA in practice, in particular in the commonly studied logic programming fragment of ABA. In this work, we harness recent advances in incremental ASP solving for developing effective algorithms for reasoning tasks in the logic programming fragment of ABA that are presumably hard for the second level of the polynomial hierarchy, including skeptical reasoning under preferred semantics as well as preferential reasoning. In particular, we develop non-trivial counterexample-guided abstraction refinement procedures based on incremental ASP solving for these tasks. We also show empirically that the procedures are significantly more effective than previously proposed algorithms for the tasks.

KW - algorithms

KW - Answer set programming

KW - assumption-based argumentation

KW - experimental evaluation

KW - incremental answer set solving

KW - structured argumentation

UR - https://arxiv.org/abs/2108.04192

UR - http://www.scopus.com/inward/record.url?scp=85120324326&partnerID=8YFLogxK

U2 - 10.1017/S1471068421000296

DO - 10.1017/S1471068421000296

M3 - Article

VL - 21

SP - 717

EP - 734

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

SN - 1471-0684

IS - 6

ER -