| 标准序列逻辑系统S3中的相似度及伪距离 |
| |
| 引用本文： | 李骏,兰倩,黎锁平,王柏岩.标准序列逻辑系统S3中的相似度及伪距离[J].兰州理工大学学报,2004,30(5):139-142. |
| |
| 作者姓名： | 李骏 兰倩 黎锁平 王柏岩 |
| |
| 作者单位： | 兰州理工大学,理学院,甘肃,兰州,730050;兰州理工大学,土木工程学院,甘肃,兰州,730050 |
| |
| 摘 要： | 在三值标准序列逻辑系统中引入了公式的真度概念，并利用真度定义了公式间的相似度，进而导出全体公式集上的一种伪距离，证明了伪距离空间中没有孤立点，从而可以考虑用一列公式去逼近某个公式，这就为进一步在三值标准序列逻辑系统中展开近似推理奠定了基础。
|
| 关 键 词： | 真度 相似度 伪距离 |
| 文章编号： | 1000-5889(2004)05-0139-04 |
| 修稿时间： | 2003年12月10 |
Similarity degree and pseudo-distance in propositional logic S3 |
| |
| LI Jun,LAN Qian,LI Suo-ping,WANG Bai-yan.Similarity degree and pseudo-distance in propositional logic S3[J].Journal of Lanzhou University of Technology,2004,30(5):139-142. |
| |
| Authors: | LI Jun LAN Qian LI Suo-ping WANG Bai-yan |
| |
| Institution: | LI Jun~1,LAN Qian~2,LI Suo-ping~1,WANG Bai-yan~1 |
| |
| Abstract: | |
| |
| Keywords: | truth degree similarity degree pseudo-distance |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
