arXiv:2604.27964cs.AI2026-04中稿 · KR 2026被引 1

提出在假设论据框架中直接分治,提升推理效率。

Splitting Assumption-Based Argumentation Frameworks

  • 在知识库层面而非图表示上进行分治,避免复杂度爆炸
  • 推广参数化分治方法至假设论据框架,支持稳定语义
  • 适合需要高效推理的复杂论证系统开发者

假设论据框架(ABA)是建模和推理辩论的成熟形式化方法,应用广泛。但其核心推理任务的高计算复杂性严重限制了实际应用,尤其当ABA框架被实例化为基于图的论证形式化(如Dung的论证框架AFs和带集体攻击的论证框架SETAFs)时更为突出。在知识表示与推理中,解决计算不可行性的关键策略是通过分而治之算法优化知识库推理。典型的例子是分治法:将整体框架的扩展逐块计算,仅在子框架中搜索,再合并结果。该方法已在AFs中成功应用,并在稳定语义下引入了参数化版本。然而,实例化带来的指数级增长可能削弱分治在诱导图上的有效性。为此,本文研究在知识库本身层面而非其图表示上实施分治。进一步,将分治推广至参数化版本,适用于各类假设论据框架。

原文摘要 · Abstract (English)

Assumption-Based Argumentation (ABA) is a well-established formalism for modelling and reasoning over debates, with a wide range of applications. However, the high computational complexity of core reasoning tasks in ABA poses a significant challenge for its applicability. This issue is further aggravated when ABA frameworks (ABAFs) are instantiated into graph-based argumentation formalisms, such as Dung's Argumentation Frameworks (AFs) and Argumentation Frameworks with Collective Attacks (SETAFs). In knowledge representation and reasoning, a key strategy to address computational intractability is to optimise reasoning over a given knowledge base through divide-and-conquer algorithms. A paradigmatic example of this approach is splitting, where extensions of a given framework are computed incrementally, by restricting the search space to sub-frameworks only, and then combining the obtained results. This approach has been successfully applied to AFs, for which also a parametrised version has been introduced under stable semantics. However, the exponential growth produced by the instantiation might undermine the usefulness of splitting on the argument graphs induced by ABAFs. To address this issue, our work investigates the concept of splitting on the knowledge base rather than on its graph-based instantiation. Furthermore, we generalise splitting to its parametrised version for ABAFs.

假设论据分治算法推理效率

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。