[论文解读] On Transformations between Probability and Spohnian Disbelief Functions

Phan H. Giang, Prakash P. Shenoy|arXiv (Cornell University)|Jan 23, 2013

Bayesian Modeling and Causal Inference参考文献 17被引用 10

一句话总结

本文提出了基于序同构（ordinal congruence）的概率测度与Spohn信念度函数之间的新颖转换方法——确保更高的概率对应更高的信念度。所提出的映射澄清了非概率不确定性语义，并支持混合专家系统中的决策制定；前向转换保持了序同构性，而现有文献中的方法则不具备这一特性。

ABSTRACT

In this paper, we analyze the relationship between probability and Spohn's theory for representation of uncertain beliefs. Using the intuitive idea that the more probable a proposition is, the more believable it is, we study transformations from probability to Sphonian disbelief and vice-versa. The transformations described in this paper are different from those described in the literature. In particular, the former satisfies the principles of ordinal congruence while the latter does not. Such transformations between probability and Spohn's calculi can contribute to (1) a clarification of the semantics of nonprobabilistic degree of uncertain belief, and (2) to a construction of a decision theory for such calculi. In practice, the transformations will allow a meaningful combination of more than one calculus in different stages of using an expert system such as knowledge acquisition, inference, and interpretation of results.

研究动机与目标

• 通过形式化转换澄清概率性与非概率性信念程度之间的语义关系。
• 解决现有概率与Spohn信念度函数之间转换方法的不一致性问题。
• 通过实现概率与Spohn信念演算之间的有意义插值，支持基于Spohn信念演算的决策理论发展。
• 实现概率与Spohn信念度在专家系统工作流各阶段的实用集成，融合多种不确定性计算体系。
• 在概率推理与Spohn的序数认知信念框架之间建立有原则的桥梁。

提出的方法

• 基于序同构原则，提出从概率到Spohn信念度函数的前向转换方法。
• 定义从Spohn信念度到概率的反向转换，确保与前向映射的一致性。
• 以概率值的对数变换为核心机制，将概率映射为信念度值。
• 应用序同构作为约束条件，确保在信念框架中更可能的命题被赋予更高的信念水平。
• 分析转换的性质，包括其在信念序序下的单射性与单调性。
• 通过理论分析与文献中既有方法的对比，验证转换的有效性。

实验结果

研究问题

• RQ1 如何在保留信念序序的前提下，形式化地相互转换概率与Spohn信念度函数？
• RQ2 所提出转换的理论性质是什么，特别是其一致性与单调性？
• RQ3 为何现有转换方法无法保持序同构？所提出的方法如何克服这一缺陷？
• RQ4 所提出的转换在非概率不确定性框架中如何增强决策制定？
• RQ5 混合专家系统如何在知识获取、推理与结果解释等阶段利用这些转换？

主要发现

• 所提出的从概率到Spohn信念度的前向转换保持了序同构性，确保更可能的命题在信念框架中被一致地赋予更高的信念度值。
• 与现有方法相反，从Spohn信念度到概率的反向转换不保持序同构性，凸显了映射方向性的关键差异。
• 该转换框架通过将其锚定在概率直觉之上，为非概率信念度提供了有原则的语义解释。
• 该方法支持在单一专家系统中整合概率与非概率推理，允许在不同阶段使用不同的不确定性计算体系。
• 理论分析证实，该转换在信念的序序下具有单射性与单调性，验证了其逻辑一致性。
• 结果表明，通过结构化、一致的映射，Spohn信念度函数可与概率建立有意义的关联，从而增强其在决策理论中的可解释性与适用性。