首页|Algorithms for computing the set of acceptable arguments

Algorithms for computing the set of acceptable arguments

扫码查看
We investigate the computational problem of determining the set of acceptable arguments in abstract argumentation wrt. credulous and skeptical reasoning under grounded, complete, stable, and preferred semantics. In particular, we investigate the computational complexity of that problem and its verification variant, and develop several algorithms for all problem variants, including two baseline approaches based on iterative acceptability queries and extension enumeration, and some optimised versions. We experimentally compare the runtime performance of these algorithms: our results show that our newly optimised algorithms significantly outperform the baseline algorithms in most cases.

COMPLEXITY

Bengel, Lars、Thimm, Matthias、Cerutti, Federico、Vallati, Mauro

展开 >

Univ Hagen

Univ Brescia

Univ Huddersfield

2025

International journal of approximate reasoning

International journal of approximate reasoning

SCI
ISSN:0888-613X
年,卷(期):2025.185(Oct.)
  • 33