[论文解读] Properties of ABA+ for Non-Monotonic Reasoning

Kristijonas Čyras, Francesca Toni|arXiv (Cornell University)|Mar 29, 2016

Multi-Agent Systems and Negotiation参考文献 49被引用 9

一句话总结

本文研究了 ABA+，即假设基论证（Assumption-Based Argumentation, ABA）的偏好处理扩展，证明其语义在反演原则下满足关键的非单调推理与偏好处理性质。作者证明 ABA+ 尊重诸如原则 I 和谨慎单调性等理想原则，确保在引入偏好后推理依然合理且一致。

ABSTRACT

We investigate properties of ABA+, a formalism that extends the well studied structured argumentation formalism Assumption-Based Argumentation (ABA) with a preference handling mechanism. In particular, we establish desirable properties that ABA+ semantics exhibit. These pave way to the satisfaction by ABA+ of some (arguably) desirable principles of preference handling in argumentation and nonmonotonic reasoning, as well as non-monotonic inference properties of ABA+ under various semantics.

研究动机与目标

• 研究 ABA+ 的性质，ABA+ 是一种在假设基论证（Assumption-Based Argumentation, ABA）中引入偏好处理的扩展形式。
• 评估 ABA+ 是否满足论证与非单调推理中理想的偏好处理原则。
• 分析 ABA+ 在非单调推理性质（如谨慎单调性与累积传递性）方面的表现。
• 研究反演原则在确保 ABA+ 语义理想性方面的作用。
• 将 ABA+ 置于论证形式化体系的更广泛背景下，评估其未来扩展的潜力。

提出的方法

• 在 ABA 中引入一种偏好机制，通过反转论证之间的攻击关系而非直接舍弃较弱的论证。
• 应用规则的反演原则，以确保语义一致性并推导出基本引理。
• 在各种语义（如完全、稳定、偏好）下分析 ABA+，以评估其行为表现。
• 在 ABA+ 框架内使用攻击、防御、无冲突性及扩展性质的正式定义。
• 将 ABA+ 语义与非单调推理与论证理论中的既定性质进行比较。
• 使用逻辑演绎系统与基于规则的推理，验证不同语义解释下的性质。

实验结果

研究问题

• RQ1 ABA+ 是否满足偏好处理的原理 I？该原理要求：当扩展仅在一对相互攻击的论证中不同时，更受青睐的论证不应被排除以支持较不青睐的论证？
• RQ2 ABA+ 在多大程度上满足如谨慎单调性与累积传递性等非单调推理性质？
• RQ3 反演原则如何影响 ABA+ 的语义性质？
• RQ4 当缺乏偏好信息时，ABA+ 是否能与无偏好 ABA 语义保持一致性？
• RQ5 ABA+ 与其他具有偏好的论证形式化体系（如 ASPIC+ 或带偏好的答案集编程）之间存在何种关系？

主要发现

• ABA+ 满足偏好处理的原理 I，确保当扩展仅在一对相互攻击的论证中不同时，更受青睐的论证不会被排除以支持较不青睐的论证。
• 在反演假设下，ABA+ 语义展现出与其他结构化论证形式化体系相似的理想性质。
• 在各种语义下，ABA+ 满足谨慎单调性与累积传递性，证实其在信息变更下具有合理的推理行为。
• 反演原则对于确保基本引理成立并实现 ABA+ 中关键语义性质的满足至关重要。
• 当不存在偏好信息时，ABA+ 与标准 ABA 语义保持一致，满足偏好扩展的关键期望。
• 该形式化体系被证明与非单调推理中若干著名偏好处理原则兼容，包括来自答案集编程的那些原则。