[论文解读] An introduction to DSmT

Jean Dezert, Florentín Smarandache|ArXiv.org|Mar 2, 2009

Rough Sets and Fuzzy Logic参考文献 32被引用 4

一句话总结

本文介紹了德扎特-斯马兰达赫理论（DSmT），一种通过放宽Dempster-Shafer理论（DST）的限制性假设，以融合不确定、不精确及高度冲突证据的数学框架。它提出了一个允许重叠元素的自由DSm模型，以及一个具有完整性约束的混合DSm模型，通过在超幂集上使用DSmC规则实现证据的高效组合，从而克服了DST在处理悖论性或模糊信息时的局限性。

ABSTRACT

The management and combination of uncertain, imprecise, fuzzy and even paradoxical or high conflicting sources of information has always been, and still remains today, of primal importance for the development of reliable modern information systems involving artificial reasoning. In this introduction, we present a survey of our recent theory of plausible and paradoxical reasoning, known as Dezert-Smarandache Theory (DSmT), developed for dealing with imprecise, uncertain and conflicting sources of information. We focus our presentation on the foundations of DSmT and on its most important rules of combination, rather than on browsing specific applications of DSmT available in literature. Several simple examples are given throughout this presentation to show the efficiency and the generality of this new approach.

研究动机与目标

• 解决Dempster-Shafer理论（DST）在处理不精确、重叠及高度冲突证据时的局限性。
• 为适用于具有模糊或连续概念的真实世界融合问题，开发一种适用于合理与悖论性推理的通用框架。
• 引入自由DSm模型和混合DSm模型，以放宽沙弗模型及第三排中律。
• 为在动态和不确定环境中组合证据提供稳健的数学基础。
• 通过基础规则和实例说明，展示DSmT的通用性与高效性。

提出的方法

• 提出自由DSm模型，记为$\mathcal{M}^f(\Theta)$，其中框架$\Theta$由穷尽但可能重叠的元素组成，且无排他性约束。
• 引入超幂集$S^\Theta$，通过包含补集和交集扩展经典幂集，形成戴德金格格。
• 定义$\Theta$的最小细化$\Theta^{ref}$，将其划分为不相交的粒度，以将$S^\Theta$的元素映射至$2^{\Theta^{ref}}$，从而实现超幂集的数学构造。
• 在自由DSm模型上应用经典DSm组合规则（DSmC），实现独立来源的可交换与可结合融合。
• 引入完整性约束，将自由模型转化为混合DSm模型$\mathcal{M}(\Theta)$，当已知某些元素具有排他性或不存在时适用。
• 将超幂集$S^\Theta$用作信念分配与组合的数学基础，即使元素的物理意义不明确亦适用。

实验结果

研究问题

• RQ1 当假设不精确、重叠或本质上模糊时，如何改进证据融合？
• RQ2 Dempster-Shafer理论在处理高冲突或悖论性证据时存在哪些局限性？
• RQ3 能否开发一种信念理论的推广，而无需要求假设互斥且穷尽？
• RQ4 如何在不损失证据组合数学严谨性的前提下，放宽第三排中律？
• RQ5 最小细化与超幂集在实现冲突证据高效融合中起什么作用？

主要发现

• DSmT通过拒绝沙弗模型与第三排中律，克服了DST的局限性，实现了对不精确与重叠假设的融合。
• 自由DSm模型允许对模糊或连续概念（如“高”或“热”）进行更真实的表示，其中精确细化不可能实现。
• 超幂集$S^\Theta$被构造为戴德金格格，包含补集与交集，并通过最小细化与$2^{\Theta^{ref}}$同构。
• DSmC规则实现了在自由DSm模型上证据的可交换与可结合组合，保持了一致性和通用性。
• 当应用完整性约束时，混合DSm模型$\mathcal{M}(\Theta)$可适应现实世界的约束，其中沙弗模型为特例。
• 该框架可处理动态融合问题，其中框架$\Theta$随时间演化，通过闭包原理保持一致性。