摘要：

本文提出了一种基于可信度逻辑的主体信念程度描述方法，这种方法通过定义信念的可信度描述主体信念的不确定性，允许相互矛盾的主体信念同时存在，并给出了可信度的计算方法与推理规则。信念修正和更新时，根据主体不同的性格采取不同的选择倾向，本文提出的“必要时修正”方法具有很高的效率和实用性。本文选择基于区间的时间逻 逻辑描述主体信念中的时间概念，为涉及到大量时间段行为与操作的应用提供了一个新的信念逻辑描述方法。

关键词: 主体信念 可信度 时间逻辑 人工智能