[论文解读] Bipolar Weighted Argumentation Graphs

Till Mossakowski, Fabian Neuhaus|arXiv (Cornell University)|Nov 25, 2016

Multi-Agent Systems and Negotiation参考文献 10被引用 5

一句话总结

本文提出了一种新型的可接受性语义，用于处理同时包含攻击与支持关系的双极加权论证图，采用实数初始可信度及收敛的迭代聚合过程。主要贡献在于提出了一种满足强化公理特性的语义，包括单调性、连续性和反向影响，其中实数权重的中性值为0，归一化(0,1)权重的中性值为1/2。

ABSTRACT

This paper discusses the semantics of weighted argumentation graphs that are biplor, i.e. contain both attacks and support graphs. The work builds on previous work by Amgoud, Ben-Naim et. al., which presents and compares several semantics for argumentation graphs that contain only supports or only attacks relationships, respectively.

研究动机与目标

• 开发一种双极加权论证图的语义，能够同时处理攻击与支持关系，并支持初始可信度。
• 将现有单极（仅攻击或仅支持）论证的公理框架进行推广与强化，扩展至双极情形。
• 确保在迭代聚合过程中，可接受度计算的收敛性与鲁棒性。
• 支持无界实数权重与归一化(0,1)权重，分别采用适当的中性值（分别为0与1/2）。
• 通过支持动态用户交互与可信度重加权，实现与论证探索系统的实际集成。

提出的方法

• 将论证图表示为一组论证、一个带符号的邻接矩阵G（取值为-1、0、1，分别表示攻击、无关系、支持），以及一个实值加权向量w，用于表示初始可信度。
• 通过迭代聚合定义可接受度：f_{i+1} = σ(A · f_i + w)，其中A由G导出，σ为Sigmoid函数。
• 采用直接聚合语义并结合Sigmoid变换，以确保收敛性与连续性。
• 提出一种(0,1)区间权重的变体，通过Sigmoid函数将实数权重映射至该区间，并设定1/2为中性值。
• 在一般条件下建立了直接聚合语义的收敛性，尽管递归变体的收敛性尚未证明。
• 应用公理化表征以验证单调性、连续性及反向影响等性质。

实验结果

研究问题

• RQ1 如何定义一种双极加权论证图的语义，使其满足单调性与连续性等关键理性属性？
• RQ2 能否将单极论证中已有的公理框架推广并强化至具有无界实数权重的双极情形？
• RQ3 在双极语义中，使用0作为实数权重的中性值与使用1/2作为归一化(0,1)权重的中性值，其影响是什么？
• RQ4 为何简单组合单极攻击与支持语义在双极环境中会失效，需要进行何种修改？
• RQ5 是否可能将该语义扩展以支持加权攻击与支持关系，或支持[0,1]等紧凑区间及扩展实数？

主要发现

• 所提出的带Sigmoid变换的直接聚合语义对所有初始可信度与图结构均收敛。
• 该语义满足关键公理特性，包括初始可信度的单调性以及支持关系集合的单调性。
• 该语义确保连续性，即初始可信度或图结构的微小变化仅导致可接受度的微小变化。
• 通过Sigmoid函数将实数权重映射至(0,1)区间，推导出一种(0,1)权重的变体，设定1/2为中性值，从而可与先前工作进行比较。
• 该语义能正确处理支持与攻击关系在朴素递归聚合中引发振荡行为的情况，而本方法可避免此类问题。
• 该框架支持模块化推理，允许根据其聚合可接受度，用加权代表元替换子图。