[论文解读] ABA+: Assumption-Based Argumentation with Preferences

Kristijonas Čyras, Francesca Toni|arXiv (Cornell University)|Oct 10, 2016

Multi-Agent Systems and Negotiation参考文献 16被引用 38

一句话总结

本文提出 ABA+，作为假设基论证（Assumption-Based Argumentation, ABA）的新型扩展，通过攻击反转机制将假设上的偏好直接整合到攻击关系中，实现对冲突论证更直观且保守的处理。该方法在各种语义下确保唯一且优选的扩展，同时保持 ABA 的基础性质。

ABSTRACT

We present ABA+, a new approach to handling preferences in a well known structured argumentation formalism, Assumption-Based Argumentation (ABA). In ABA+, preference information given over assumptions is incorporated directly into the attack relation, thus resulting in attack reversal. ABA+ conservatively extends ABA and exhibits various desirable features regarding relationship among argumentation semantics as well as preference handling. We also introduce Weak Contraposition, a principle concerning reasoning with rules and preferences that relaxes the standard principle of contraposition, while guaranteeing additional desirable features for ABA+.

研究动机与目标

• 为解决在论证系统中形式化偏好时缺乏共识的问题，特别是在 ABA 等结构化框架中。
• 开发一种偏好处理机制，将对象层面上对假设的偏好直接整合到攻击关系中，避免元层面的聚合。
• 确保 ABA+ 保守地扩展 ABA，同时保留冲突无关性与可接受性等理想语义性质。
• 提出并证明弱逆反律（Weak Contraposition）作为一种放宽的原理，支持规则与偏好的推理，而不损害逻辑一致性。
• 证明 ABA+ 与现有方法的区别在于采用攻击反转而非攻击删除或元层面偏好聚合。

提出的方法

• 在 ABA+ 中定义假设上的偏好信息，并用于反转攻击：若攻击者比被攻击的论证更不被偏好，则攻击方向被反转。
• 攻击反转被形式化为：仅当 A 的假设能推导出 B 的假设的矛盾时，A 才攻击 B，且偏好顺序决定攻击是否成立或被反转。
• ABA+ 的语义基于生成的攻击图定义，扩展通过标准论证语义（如完全、优选、稳定）计算得出。
• 引入新原理“弱逆反律”，以放宽标准逆反律，使推理更具灵活性，同时保持对子论证的封闭性等关键性质。
• 将框架正式映射到 ASPIC+，以证明论证结构的等价性，并验证不同形式化体系中偏好处理的一致性。
• 使用偏好比较方式（如精英式、民主式、互斥精英式）确定生成论证框架中的击败关系，确保更被偏好的论证可击败较不被偏好的论证。

实验结果

研究问题

• RQ1 如何在 ABA 中整合对假设的偏好，以保持原框架的形式性质？
• RQ2 攻击反转对 ABA 中偏好存在时可接受扩展的存在性与唯一性有何影响？
• RQ3 ABA+ 与现有方法（如删除攻击或在元层面聚合偏好）相比有何不同？
• RQ4 在 ABA+ 中，诸如逆反律等逻辑原理被保留还是放宽？其后果是什么？
• RQ5 ABA+ 是否能与 ASPIC+ 进行形式化映射，同时保持论证结构与击败关系的等价性？

主要发现

• ABA+ 保守地扩展 ABA，当无偏好存在时，ABA 的所有扩展在 ABA+ 中依然有效。
• 攻击反转的使用使得 ABA+ 在冲突情况下能产生唯一优选扩展，尤其当一个假设严格优于另一个时，如 referenda 示例所示。
• ABA+ 满足多种论证语义下的理想语义性质，如冲突无关性、可接受性与稳定性。
• 弱逆反律的引入使 ABA+ 能够在不依赖完整逆反律的前提下，对可废止规则与偏好进行推理，从而在保持逻辑一致性的同时提升灵活性。
• 与 ASPIC+ 的形式化映射表明，ABA+ 的论证与击败关系在相同偏好顺序下与 ASPIC+ 保持一致，验证了该方法的一致性。
• ABA+ 通过在对象层面（即假设上）整合偏好并直接修改攻击关系，而非删除攻击或在论证层面聚合偏好，从而与大多数现有基于偏好的论证系统区分开来。