|
|||||
|
|
| 积分语义学中的积分相似度与伪距离 | |
| 作者姓名： | 吴洪博 文秋梅 |
| 作者单位： | [1]陕西师范大学数学研究所,陕西西安 [2]唐山师范学院数学系,河北唐山 |
| 摘 要： | 研究了积分语义学理论的相似度与伪距离,对特殊公式Ｉｎ＝ｐ１∧ｐ２∧…∧ｐｎ,Ｕｎ＝ｐ１∨ｐ２∨…∨ｐｎ的真度值进行了计算,给出了Ｆ（Ｓ）中的积分相似度和Ｆ（Ｓ）上的伪距离的一些性质。得到了：（１）在任何一个逻辑系统中τ（Ｉｎ）＝１ｎ＋１,τ（Ｕｎ）＝ｎｎ＋１;（２）在Ｌｕｋａｓｉｅｗｉｃｚ逻辑系统中,对公式Ａ和正数ε,存在公式Ｂ,使得１－ε〈ξ（Ａ,Ｂ）〈１;（３）在Ｌｕｋａｓｉｅｗｉｃｚ逻辑系统 |
| 关 键 词： | 命题逻辑 积分语义学 真度 积分相似度 伪距离 |
| 本文献已被 维普 等数据库收录！ | |