积分语义学中的积分相似度与伪距离

摘要：

研究了积分语义学理论的相似度与伪距离,对特殊公式 In＝p1∧p2∧…∧pn,Un＝p1∨p2∨…∨pn的真度值进行了计算,给出了F(S)中的积分相似度和F(S)上的伪距离的一些性质.得到了 :(1 )在任何一个逻辑系统中τ(In)＝,τ(U n)＝;(2)在Lukasiewicz逻辑系统中,对公式 A和正数ε,存在公式B,使得1-ε<ξ(A,B)<1;(3)在Lukasiewicz逻辑系统中 ,(ⅰ)设C为矛盾式,则ρ(A→C,B→C)＝ρ(A,B),(ⅱ)ρ((A→B) →B,(C→D)→D)＝ρ(A∨B,C∨D).

关键词：命题逻辑、积分语义学、真度、积分相似度、伪距离

所属期刊栏目：28

分类号：O141.1(数理逻辑、数学基础)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：15-19,25