Dempster-Shafer 理论的逻辑解释及其在视觉识别中的应用
人工智能
2013-04-08 v1
摘要
我们利用 Dempster-Shafer 理论中隐含的可证明性概念，以命题逻辑的形式表述了 Dempster-Shafer 信任函数。给定一组命题子句，通过对特定命题文字赋予权重，即可利用网络可靠性技术显式计算信任函数。此外，本文还展示了对应于使用 Dempster 组合规则更新信任函数的逻辑过程。这一分析形式化了基于假设的真值维护系统（Assumption-based Truth Maintenance System, ATMS）中信任函数的实现。我们描述了基于 ATMS 的视觉识别系统 VICTORS 的扩展，该扩展采用了 Dempster-Shafer 理论的这一逻辑表述。在没有 Dempster-Shafer 理论的情况下，VICTORS 会计算所有可能的视觉解释（即所有逻辑模型），而无法确定最佳解释。引入 Dempster-Shafer 理论后，系统能够计算最优的视觉解释并维持逻辑语义。
引用
@article{arxiv.1304.1523,
title = {A Logical Interpretation of Dempster-Shafer Theory, with Application to Visual Recognition},
author = {Gregory M. Provan},
journal= {arXiv preprint arXiv:1304.1523},
year = {2013}
}
备注
Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)