Continuous Dynamical Systems for Weighted Bipolar Argumentation
Continuous Dynamical Systems for Weighted Bipolar Argumentation
复制标题
用于加权双极论证的连续动力系统
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Nico Potyka
中科院分区：
文献类型：
--
作者：
Nico Potyka
加权双极性论证框架根据初始权重及其攻击者和支持者的强度来确定论证的强度。这些框架可以应用于建模和解决在社会媒体分析和决策支持等领域出现的问题。计算强度值的方法通常假设一个无循环的论证图，并根据其父参数的强度依次设置参数的强度。对于循环图，一个自然的想法是同时更新强度值，而不是先后更新。连续动力系统似乎很适合这种方法，因为它们比离散动力系统具有更好的收敛性。我们在这里研究这样一个系统。对于非循环图，我们的模型可以保证收敛，并且可以像连续更新过程一样有效地计算解。我们目前不能证明循环框架的非常一般的保证，但给出了经验证据，证明我们的模型即使在具有数千个节点和数万条边的复杂循环图中也能快速收敛。我们还解释了如何在视觉上检测到潜在的振荡。我们的模型的公理性质补充了现有的方法。我们还给出了连续更新过程可以很容易地转化为具有类似保证的定义良好的动力系统的充分条件。
Weighted bipolar argumentation frameworks determine the strength of arguments based on an initial weight and the strength of their attackers and supporters. These frameworks can be applied to model and solve problems that arise in areas like social media analysis and decision support. Approaches for computing strength values often assume an acyclic argumentation graph and successively set arguments’ strength based on the strength of their parents. A natural idea for cyclic graphs is to update strength values simultaneously rather than successively. Continuous dynamical systems seem well-suited for this approach because they can feature better convergence behaviour than their discrete counterparts. We investigate such a system here. For acyclic graphs, our model is guaranteed to converge and solutions can be computed as efficiently as for successive update procedures. We currently cannot prove very general guarantees for cyclic frameworks, but give empirical evidence that our model converges quickly even in complex cyclic graphs with thousands of nodes and ten thousands of edges. We also explain how potential oscillations can be detected visually. Our model’s axiomatic properties complement existing approaches. We also give sufficient conditions under which successive update procedures can be transformed to well-defined dynamical systems with similar guarantees easily.