积分语义学中的积分相似度、伪距离与近似推理理论

进一步研究了积分语义学理论中的积分相似度、伪距离及近似推理理论 ,提出了改进的积分交推理规则 ,给出了公式集Γ的n次发散度的估计式 ;同时在近似推理中引入了“相离度”概念 ,并给出了判定相离度为

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

研究了积分语义学理论的相似度与伪距离 ,对特殊公式In=p1∧p2 ∧…∧pn,Un=p1∨ p2 ∨…∨ pn 的真度值进行了计算 ,给出了F(S)中的积分相似度和F(S)上的伪距离的一些性质 .得到了 :( 1 )在任何一个逻辑系统中τ(In) =1n + 1 ,τ(Un) =nn + 1 ;( 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) .

S-模糊逻辑系统中积分相似度及算子连续性

与通常相似度定义在真度基础上不同,在S-蕴涵模糊逻辑系统中提出了基于S-蕴涵算子的积分相似度。讨论了积分相似与逻辑等价的关系,给出了积分相似度的推理性质,提出了与积分相似度对应的伪距离。论证了伪距离空间中逻辑算子都是连续的。