發(fā)布時間：2018-08-04 21:10

【摘要】：本文提出了信念邏輯RB,其特點是將關系信念,將信念看作是引用的公式和信念背景。其主要謂詞是三元組:B≤xyb,讀作:"在背景下,最多與同樣可信。"背景在語義及認知語用目的上起作用。RB的表達力足以表達對角線引理。因此,RB也許被認為是不一致的,如共同認知邏輯。但是,從RB的公理中并不能推出矛盾。事實上,可以找到RB合理有趣的模型。
[Abstract]:This paper presents the belief logic RBB, which is characterized by the relation belief, the belief is regarded as the formula and the belief background. Its main predicate is triple B 鈮，

本文編號：2165155