The Relational Probability Semantics for Belief Revision

主体的认知活动总在某种状态中进行,获得的知识通常不都是完全可靠的,所以由此形成的知识库是概率型的,即主体根据证据命题对假设命题的可靠程度给出一个相信度。这样的知识库可以看作是主体的相信集。合乎理性的主体的相信集可以抽象为一种二元概率映射。主体随着认知状态的转换要对相信集进行合理的修正,由此产生概率映射之间的一种相信修正关系。为了把握认知命题,主体有一个期望范围,即主体预设的潜在认知空间。在这样的空间中,主体根据他的当前相信集和相信修正关系,得到一个现实认知空间。根据这样的现实认知空间,我们可以定义认知算子“知”的语义,从而描述主体根据证据命题在多大程度上相信他自己已知一个命题。由此我们从认识论的角度提出一种关系概率语义。这种语义可以描述主体的主观知识以及由此产生的认知规律。相信修正关系的不同性质描述不同的认知规律,从而对应不同的认知系统。通过比较相信修正关系的性质,我们知道哪个认知系统是恰当的。