两个特殊逻辑系统Gn和∏n中的相似度与伪距离.pdfVIP

维普资讯 第 8卷第 l期 浙江工贸职业技术学院学报 Vo1．8No．1 2008年 3月 JOURNALOFZHEliANG INDUSTRYTRADEVOCATIONALCOLLEGE Mar．2008 两个特殊逻辑系统 和Ⅱ矗中的相似度与伪距离 茹永梅 ． (浙江工贸职业技术学院 浙江 温州 325003) 摘要：利用由均匀概率空间的无穷乘积所定义的G 及 兀 中公式的真度概念，给出了公式间相似度的一 种新定义，讨论 了该相似度与文献f2I、f6j定义的相似度的大小关系及逻辑系统G 及 兀 中公式间的三种相似 度的性质。最后讨论了由其中的一种相似度导出的这两个系统中全体公式集上的一种伪距离的重要性质。 关键词：真度；相似度 ；伪距离 中图分类号：0141 文献标识码：A 文章编号：1672—0105(2008)01—0066—06 SimilarityDegreeandPseudo—distanceinTwoSpecialLogicalSystemsGHandIIH RuYongmei (ZhejiangIndustryTradeVocationalCollege Wenzhou Zhejiang 325003) Abstract：Byuseoftruedegreeconceptin G．and Ⅱ thispaperillustratesanew definitionaboutthesimilarity offormulaanddiscussestherelationshipwiht referenceNo．2andreferenceNo．6nadthecharacteristicsofsimilarity in6 nad II Consequently．theauthorpointsouttheimportanceofpseudo—distanceinthesetwologicalsystems． Keywords：Turedegree；Similaritydegree；Pseudo—distance 美阁控制论专家 Zadeh于 1973年在文献 l【】中首次提出了基于模糊集思想的近似推理理论。但是， 近似推理并不一定要与模糊集理论相联系。比如文献 2【】在二值逻辑的框架下提出了一种基于相似度的推 理方法。王国俊教授在文献 3【，4】中提出的近似推理的主体部分也不依赖于模糊集理论。另外，王国俊 教授还基于均匀概率的思想在二值命题逻辑中提出了命题的真度理论 ，并提出了一种近似推理理论。后 来，宋庆燕在文献 中改进了真度的表达式。随后，李骏等提出了一类n值命题逻辑中公式的真度理论 并给出了一种改进的相似度与伪距离 ，使得在那类 n值命题逻辑系统中的近似推理成为可能。本文受 文献f2，5—7]的启发，给出了命题逻辑系统G 及n 中公式间相似度的一种新定义 ，讨论了本文定义的 相似度与文献[2，6】中相似度的大小关系及逻辑系统G 及兀 中公式问的三种相似度的性质，最后讨论 了由其中的一种相似度导出的这两个系统中全体公式集上的一种伪距离的重要性质。这种相似度最终可 以与王国俊教授在文献[4]中关于连续值情形利用积分方法给出的积分相似度统一起来，这为在Godel和 Goguen逻辑系统中展开近似推理奠定了基础。 1 预备知识 定义 1”“设 (x ，A， )为概率测度空问，这里 是x 上的Lebesgue测度，A 是全体 可 收稿 日期：2007—12—18 作者简介：茹永梅 (】979一 )，女，硕士，助教。主要研究方向：不确定推理。 维普资讯 茹永梅 ：两个特殊逻辑系统 和Ⅱ 中的相似度与伪距离 测集之族 ， (X )=l。令X=兀X ，则 H A啪在X上可生成一个 代数A，这时X上存在唯一的 测度 ／2满足条件 ：