具有可信度的主体信念

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

Agent Belief with Credibility

This paper proposes a credibility logic based theory to describe the degree of agent belief. This theory describes the uncertainty of agent belief by defining the credibility of belief. In this theory, agents are permitted to have inconsistent beliefs. Calculation rules and inference rules about credibility are given in this paper. This paper also proposes a belief revision and updating method named revise when needed. This method has rather high efficiency and practicability. The logic language of belief in this paper is based on temporal logic for time intervals. This logic is very suitable for the applications that have a lot of actions situated in some certain time intervals.