为假设型论证框架提出新型渐进语义,量化论据可接受度。
On Gradual Semantics for Assumption-Based Argumentation
- 基于双极集合框架抽象假设型论证,赋予假设辩证强度。
- 新语义满足平衡性与单调性等理想性质,理论完备。
- 适用于需精细评估论证可信度的场景,如法律推理、AI可解释性。
在计算论证中,渐进语义是比扩展和标记语义更精细的替代方案,能为论证(或其组成部分)分配辩证强度,从而衡量其可接受程度。已有多种渐进语义被研究于抽象、双极及定量双极论证框架(QBAFs),以及部分结构化论证形式。然而,假设型论证(ABA)作为广泛应用的结构化论证形式,却缺乏相应的渐进语义。本文填补这一空白,提出一套新颖的渐进语义,用于为ABA的核心组件——假设赋予辩证强度。方法上,将潜在非平坦的ABA框架抽象为双极集合论证框架,并推广现有QBAF的模块化渐进语义。我们证明所提语义满足渐进QBAF语义的理想性质(如平衡性、单调性)的适当改编。同时引入基于论点的方法作为基线,直接利用成熟的QBAF模块化语义。最后通过合成ABA框架的实验,比较新语义与基线方法的收敛性表现。
原文摘要 · Abstract (English)
In computational argumentation, gradual semantics are fine-grained alternatives to extension-based and labelling-based semantics . They ascribe a dialectical strength to (components of) arguments sanctioning their degree of acceptability. Several gradual semantics have been studied for abstract, bipolar and quantitative bipolar argumentation frameworks (QBAFs), as well as, to a lesser extent, for some forms of structured argumentation. However, this has not been the case for assumption-based argumentation (ABA), despite it being a popular form of structured argumentation with several applications where gradual semantics could be useful. In this paper, we fill this gap and propose a family of novel gradual semantics for equipping assumptions, which are the core components in ABA frameworks, with dialectical strengths. To do so, we use bipolar set-based argumentation frameworks as an abstraction of (potentially non-flat) ABA frameworks and generalise state-of-the-art modular gradual semantics for QBAFs. We show that our gradual ABA semantics satisfy suitable adaptations of desirable properties of gradual QBAF semantics, such as balance and monotonicity. We also explore an argument-based approach that leverages established QBAF modular semantics directly, and use it as baseline. Finally, we conduct experiments with synthetic ABA frameworks to compare our gradual ABA semantics with its argument-based counterpart and assess convergence.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。