基于证据支持度的信念逻辑研究

逻辑学研究 2024 年第 1 期，55–68                   文章编号：1674­3202(2024)­01­0055­14

作者：侯丽平、郭美云

摘要：一个智能主体对某一信息的相信及相信程度分别与证据和证据支持度密切相

关。本文试图通过模态逻辑方法，从语义及公理化角度探究证据支持度和信念强度之

间的联系。在文中，分别用 KD45 和 KD 正规模态表达强信念算子和带程度的信念算

子，用带程度的模态算子表达含程度的证据，通过在模型上加约束条件的方式将证据关

系和信念关系联系起来，表达出了证据支持度和信念强度之间的联系，并建立了一个可

靠且完全的公理系统。这实现了证据支持度和信念强度联系的形式化研究，为处理不

确定信息提供了定性和定量相结合的分析方法。

关键词：证据支持度；信念强度；不确定性信息；模态逻辑

中图分类号：B81                          文献标识码：A