非平坦假设依赖论证的具体化与计算方面
人工智能
2024-05-27 v2
摘要
大多数现有计算工具针对假设依赖论证（ABA）专注于所谓平坦框架，忽略更一般的情况。本文研究一种用于推理可能非平坦ABA的具体化方法。我们利用ABA与双极论证框架（BAFs）之间的语义保持翻译。通过运用可编译性理论，我们证明所构建的BAFs通常会呈指数级规模。为保持论证数量和计算成本低，我们提出了三种识别冗余论证的方法。此外，我们识别了一些允许多项级具体化的ABA片段。我们提出两种算法方法，用于推理可能非平坦的ABA。第一种方法利用BAFs的具体化，而第二种方法则直接工作而无需构造论证。实证评估显示，前者在许多实例上优于后者，反映出BAFs推理的复杂度较低。这一结果与平坦ABA中直接方法占据优势的情形相反。
引用
@article{arxiv.2404.11431,
title = {Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation},
author = {Tuomo Lehtonen and Anna Rapberger and Francesca Toni and Markus Ulbricht and Johannes P. Wallner},
journal= {arXiv preprint arXiv:2404.11431},
year = {2024}
}