一个关系信念逻辑

摘要

本文提出了信念逻辑RB,其特点是将关系信念,将信念看作是引用的公式和信念背景.其主要谓词是三元组:B≤xyb,读作:"在背景b下,x最多与y同样可信."背景在语义及认知语用目的上起作用.RB的表达力足以表达对角线引理.因此,RB也许被认为是不一致的,如共同认知逻辑.但是,从RB的公理中并不能推出矛盾.事实上,可以找到RB合理有趣的模型.