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

Similarity degree and pseudo-distance in propositional logic S_3

作　　者：李骏[1] 兰倩[2] 黎锁平[1] 王柏岩[1] 

机构地区：[1]兰州理工大学理学院,甘肃兰州730050 [2]兰州理工大学土木工程学院,甘肃兰州730050

出　　处：《兰州理工大学学报》2004年第5期139-142,共4页Journal of Lanzhou University of Technology

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

关 键 词：标准序列 伪距离 真度 逻辑系统 公式 逼近 孤立点 相似度 近似推理 

分 类 号：O141.1[理学—数学] O177.91[理学—基础数学]