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

• 作者: 吴洪博 文秋梅
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 命题逻辑 积分语义学 真度 积分相似度 伪距离
• 年，卷（期）: 2000,（3）
• 页码范围: 15-19,25
• 页数: 6页
• 分类号: O141.1
• 字数: 3800字
• 语种: 中文
• DOI: 10.3321/j.issn:1672-4291.2000.03.003

摘要

研究了积分语义学理论的相似度与伪距离,对特殊公式 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).

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学研究所	194	656	12.0	16.0
2	文秋梅	唐山师范学院数学系	5	52	4.0	5.0