一个关系信念逻辑(英文)
发布时间: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
[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
本文链接:https://www.wllwen.com/shekelunwen/ljx/2165155.html