| 积分语义学中的积分相似度与伪距离 |
| |
| 引用本文： | 吴洪博,文秋梅. 积分语义学中的积分相似度与伪距离[J]. 陕西师范大学学报(自然科学版), 2000, 28(3): 15-19 |
| |
| 作者姓名： | 吴洪博 文秋梅 |
| |
| 作者单位： | 陕西师范大学数学研究所!陕西西安710062(吴洪博)，唐山师范学院数学系!河北唐山063000(文秋梅) |
| |
| 摘 要： | 研究了积分语义学理论的相似度与伪距离 ,对特殊公式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) .
|
| 关 键 词： | 命题逻辑 积分语义学 真度 积分相似度 伪距离 |
| 修稿时间： | 2000-01-17 |
Calculus similar degree and pseudometric in calculus semantics |
| |
| WU Hong-bo,WEN Qiu-mei. Calculus similar degree and pseudometric in calculus semantics[J]. Journal of Shaanxi Normal University: Nat Sci Ed, 2000, 28(3): 15-19 |
| |
| Authors: | WU Hong-bo WEN Qiu-mei |
| |
| Abstract: | |
| |
| Keywords: | prepositional logic calculus semantics true value degree calculus similarity degree pseudometric |
| 本文献已被 CNKI 等数据库收录！ |
|
