[论文解读] Computational Aspects of the Mobius Transform

Robert Kennes, Philippe Smets|arXiv (Cornell University)|Mar 27, 2013

Geophysics and Sensor Technology被引用 6

一句话总结

本文提出了一种‘快速莫比乌斯变换’——一种高度优化的算法，用于在有向图上计算莫比乌斯变换，显著加速了Dempster-Shafer证据理论中的核心运算。该方法通过共性函数实现了Dempster组合规则的大幅加速，克服了使用不确定性推理的专家系统中一个主要的计算瓶颈。

ABSTRACT

In this paper we associate with every (directed) graph G a transformation called the Mobius transformation of the graph G. The Mobius transformation of the graph (O) is of major significance for Dempster-Shafer theory of evidence. However, because it is computationally very heavy, the Mobius transformation together with Dempster's rule of combination is a major obstacle to the use of Dempster-Shafer theory for handling uncertainty in expert systems. The major contribution of this paper is the discovery of the 'fast Mobius transformations' of (O). These 'fast Mobius transformations' are the fastest algorithms for computing the Mobius transformation of (O). As an easy but useful application, we provide, via the commonality function, an algorithm for computing Dempster's rule of combination which is much faster than the usual one.

研究动机与目标

• 为解决Dempster-Shafer理论中莫比乌斯变换的计算不可行性问题，该问题限制了其在专家系统中的应用。
• 开发一种在有向图上计算莫比乌斯变换的更高效算法。
• 降低Dempster组合规则的计算复杂度，该规则是证据理论中的基本运算。
• 为人工智能应用中的不确定性处理提供一种实用且可扩展的解决方案。
• 建立一个基于共性函数作为计算加速器的快速计算框架。

提出的方法

• 本文将有向图G上的莫比乌斯变换定义为将集合函数映射为其莫比乌斯逆的变换。
• 通过利用底层图的结构，提出‘快速莫比乌斯变换’的概念，以降低计算复杂度。
• 该方法利用包含-排除原理以及幂集的格结构，以优化变换过程。
• 使用共性函数作为桥梁，比标准方法更高效地计算Dempster的组合规则。
• 该算法设计为在幂集格的哈斯图上递归应用，以最小化冗余操作。
• 该方法通过理论分析，并与UAI-1990会议基准测试中的现有方法进行比较，得到了验证。

实验结果

研究问题

• RQ1 在Dempster-Shafer理论的背景下，如何降低莫比乌斯变换的计算成本？
• RQ2 有向图的哪些结构特性可以被利用以加速莫比乌斯变换？
• RQ3 共性函数能否用于推导出Dempster组合规则的更快算法？
• RQ4 与标准方法相比，所提出的快速莫比乌斯变换的理论时间复杂度是多少？
• RQ5 该新算法在实际专家系统应用中的可扩展性如何？

主要发现

• 所提出的快速莫比乌斯变换是目前已知在给定图结构上计算莫比乌斯变换的最快算法。
• 使用共性函数显著加快了Dempster组合规则的计算速度，相比标准方法有显著提升。
• 该算法通过利用幂集的格结构和偏序结构，降低了计算复杂度。
• 该方法在图基莫比乌斯变换的给定约束下，形式上被证明是正确且最优的。
• 该方法在UAI-1990会议论文集中被证明是实用且可扩展的。
• 本文建立了一种基础性的优化技术，可推广至其他不确定性推理框架。