两个特殊逻辑系统Gn和∏n中的相似度与伪距离

利用由均匀概率空间的无穷乘积所定义的Gn和∏n中公式的真度概念,给出了公式间相似度的一种新定义,讨论了该相似度与文献[2]、[6]定义的相似度的大小关系及逻辑系统Gn和∏n中公式间的三种相似度的性质。最后讨论了由其中的一种相似度导出的这两个系统中全体公式集上的一种伪距离的重要性质。     

二值命题逻辑中Г-的蕴涵距离和近似推理

以基本真度为基础,引入二值命题逻辑系统中基于前提信息Г的公式A到B的蕴涵度概念,由此定义了公式A到B的Г-蕴涵距离,并通过Г-蕴涵距离的基本真度表示式,对二值命题逻辑中基于前提信息的近似推理问题进行讨论．     

二值命题逻辑中命题真度相同与逻辑等价的关系

王国俊提出了命题真度的概念,它与命题逻辑等价的概念不同,但它们之间具有一定的联系．文中通过在全体公式之集上引入某种等价关系,给出了二值命题逻辑中命题真度相同与逻辑等价的关系．     

二值命题逻辑中基于信息限制的真度理论

将基本真度概念进行推广,提出了二值命题逻辑中在有限信息Г限制下的公式真度概念,并讨论其计算性质．以此为基础定义了公式的Г-限制相似度和Г-限制伪距离,得到了在有限信息Г限制下公式到理论结论集伪距离的Г-限制真度表示式,为研究二值命题逻辑中基于有限信息限制的近似推理问题提供数值化工具．     

两个特殊逻辑系统Gn和Πn中的相似度与伪距离

利用由均匀概率空间的无穷乘积所定义的及中公式的真度概念,给出了公式间相似度的一种新定义,讨论了该相似度与文献[2]、[6]定义的相似度的大小关系及逻辑系统及中公式间的三种相似度的性质.最后讨论了由其中的一种相似度导出的这两个系统中全体公式集上的一种伪距离的重要性质.     

一阶谓词公式集的一类内蕴模糊子集

在公式集中定义了每个公式的真度其实也就给出了公式集上的一个内蕴模糊子集。本文在二值谓词逻辑系统中引入一类特殊解释,即论域有限的解释,给出了一阶谓词公式A的相对于某一个特定解释下的相对真度定义,从而得到谓词公式集的一类内蕴模糊子集。并证明了这种相对真度也具有与命题逻辑系统中公式的真度相应的某些性质,如MP规则与HS规则。本文为建立谓词逻辑系统中的近似推理理论提供了理论基础。     

浅议文学作品中审美感情的抒写特点

文学艺术都以抒写审美感情见长,但具体表现却异彩纷呈。审美感情不等同于日常感情。它有以下抒写特点:从表现效果看,审美感情的抒写具有浓度和强度;从审美感情的表现内容说,有真度、纯度和深度的不同;从审美感情的表现形式讲,具有丰富性和复杂性;如此表里融合、纵横交织的审美感情抒写,描绘出缤纷微妙的感情世界,从而使文学独特的艺术魅力得以充分的发挥。     

Gn命题逻辑系统中绝对真度的理论研究

基于绝对真度的概念,在Gn命题逻辑系统中定义了公式间的绝对相似度和伪距离,并证明了公式绝对真度的推理规则,为近似推理提供了理论基础．     

二值命题逻辑中逻辑方程解集的数值特征

二值命题逻辑中τ(A→X)=α型逻辑方程在有限理论结论集的结构研究中有着重要应用.讨论基于真度的τ(A→X)=m/2n型逻辑方程的解在逻辑运算下的相关性质,给出反映其解集结构的几个数值特征的数值表示,为进一步研究该类逻辑方程的解集以及应用提供数值化结果.     

二值命题逻辑中有限理论的相对偏差及其应用

理论的相对偏差是确定近似推理误差的逻辑度量之一,由于缺乏与理论特征相关联的真度表示,而导致其计算和应用上的不便.以公式真度为基础,给出了二值命题逻辑系统中有限理论相对偏差的真度表示式以及公式是有限理论的Ⅲ-型误差不大于ε结论的判定条件,并证明了有限理论的Ⅰ,Ⅱ,Ⅲ-型误差不大于ε的结论的等价性以及基于蕴涵真度的三种近似推理模式的等价性.