节点文献

标准序列逻辑系统S₃中的相似度及伪距离

Similarity degree and pseudo-distance in propositional logic S₃

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 LI Jun~1, LAN Qian~2, LI Suo-ping~1, WANG Bai-yan~1 (1. School of Science, Lanzhou Univ. of Tech., Lanzhou730050, China; 2. College of Civil Engineerings, Lanzhou Univ. of Tech., Lanzhou730050, China)

【机构】兰州理工大学理学院；兰州理工大学土木工程学院；兰州理工大学理学院甘肃兰州　730050；甘肃兰州　730050；甘肃兰州　730050；甘肃兰州　730050；

【摘要】在三值标准序列逻辑系统中引入了公式的真度概念,并利用真度定义了公式间的相似度,进而导出全体公式集上的一种伪距离,证明了伪距离空间中没有孤立点,从而可以考虑用一列公式去逼近某个公式,这就为进一步在三值标准序列逻辑系统中展开近似推理奠定了基础.更多还原

【Abstract】 A concept of truth degrees of a formula in 3-valued prepositional logic S3 is given and,hence,the similarity degree between formulas is also defined.Further,a kind of pseudo-distance in the set of all formulas is derived and it is proved that the pseudo-distance space has no singularity,so that certain formula can be conceivably approximated by a series of formula,paving a way for further study of approximate reasoning.更多还原