[论文解读] Weighted Abstract Dialectical Frameworks: Extended and Revised Report

Gerhard Brewka, Jörg Pührer+3 more|arXiv (Cornell University)|Jun 20, 2018

Multi-Agent Systems and Negotiation参考文献 17被引用 3

一句话总结

本文通过为论点引入加权接受度，将抽象辩证框架（ADFs）扩展为支持多值设定的语义，使用任意估值结构对标准 ADF 语义（包括基底、偏好和稳定）进行推广。关键贡献在于对完成度的重新定义，克服了先前工作的局限性，使非平坦信息排序下的语义更加稳健，并支持灵活的应用特定价值体系，如单位区间。

ABSTRACT

Abstract Dialectical Frameworks (ADFs) generalize Dung's argumentation frameworks allowing various relationships among arguments to be expressed in a systematic way. We further generalize ADFs so as to accommodate arbitrary acceptance degrees for the arguments. This makes ADFs applicable in domains where both the initial status of arguments and their relationship are only insufficiently specified by Boolean functions. We define all standard ADF semantics for the weighted case, including grounded, preferred and stable semantics. We illustrate our approach using acceptance degrees from the unit interval and show how other valuation structures can be integrated. In each case it is sufficient to specify how the generalized acceptance conditions are represented by formulas, and to specify the information ordering underlying the characteristic ADF operator. We also present complexity results for problems related to weighted ADFs.

研究动机与目标

• 将标准 ADF 语义（基底、偏好和稳定）推广至处理非布尔值、加权的论点接受度。
• 解决原始 AAAI 2018 论文中一个关键缺陷：即完成度定义仅适用于平坦信息排序。
• 提供一个通用框架，支持超出单位区间的任意估值结构，以适应特定应用需求。
• 确保即使在方程方法无法获得解的情况下，语义依然保持良好定义且计算上有意义。
• 通过可定制的信息排序实现语义的精细调节，相较于先前方法具有更高的表达能力。

提出的方法

• 提出一种新的完成度定义（定义 3.5），适用于任意信息排序，不限于平坦排序。
• 将特征 ADF 算子推广至广义部分解释（gpis），其中每个原子被赋予一组可能的取值。
• 通过父论点上的命题公式表示接受条件，其取值在 gpi 的所有完成度下进行评估。
• 基于广义估值空间上的不动点算子定义语义（基底、偏好、稳定），保留标准 ADF 的算子方法。
• 通过仅指定接受条件公式和底层信息排序，支持任意估值结构。
• 以近似不动点理论（AFT）为基础，但独立于 AFT 表述该框架，以确保可访问性。

实验结果

研究问题

• RQ1 如何将 ADF 语义推广至支持非布尔值、加权的论点接受度？
• RQ2 何种完成度的正确定义能确保在非平坦信息排序下语义的正确性？
• RQ3 标准 ADF 语义能否在保留冲突自由性和可接受性等关键性质的前提下，有意义地扩展至多值框架？
• RQ4 如何以系统且灵活的方式将单位区间以外的估值结构整合进 ADF 语义？
• RQ5 在哪些情况下方程方法会失效，而所提框架是否仍能产生有意义的结果？

主要发现

• 修正后的完成度定义（定义 3.5）解决了原始 AAAI 2018 论文中的关键缺陷，确保其在非平坦信息排序下依然有效。
• 通过仅指定接受条件公式和信息排序，该框架支持任意估值结构，包括单位区间。
• 广义语义（基底、偏好、稳定）即使在方程方法无法产生解的情况下，依然保持良好定义且可计算。
• 广义部分解释（gpis）的使用允许对不确定性进行更富表达力的表示，其中每个论点被赋予一组非空可能取值。
• 通过选择信息排序实现语义的精细调节，这是现有加权论证框架所不具备的能力。
• 该框架自然推广了现有加权 AF 和双极 ADF 的工作，为未来扩展提供了统一基础。