关于命题逻辑系统中相似度性质的修正.pdfVIP

第27卷第3期 模糊系统与数学 V01．27，No．3 andMathematics Jun．，2013 2013年6月 FuzzySystems 文章编号：1001—7402(2013)03—0051—07 关于命题逻辑系统中相似度性质的修正+ 周建仁，谢晶晶，吴洪博 (陕西师范大学数学与信息科学学院，陕西西安 710072) 摘要：通过对计量逻辑的再研究，发现对计量逻辑中公式间相似度，逻辑距离的理解方面存在着一些 偏差，并且造成这些偏差存在的根源是对公式间相似度性质理解的偏差。本文的目标是通过构造实例说 明这些偏差的存在性并对这些偏差给予修正。本文的结果将有助于对计量逻辑中公式问的相似度，逻辑 距离等概念更加深入，正确的理解。 关键词：模糊逻辑；计量逻辑；真度；相似度；反例；修正 中图分类号：0141 文献标识码：A 1 引言 自J．Pavelka于1977年发表了关于模糊逻辑的系列论文以来，无论从内容，或是从方法，模糊逻 辑均取得了长足的进展，适用于不同目的的多种模糊逻辑理论，诸如格值逻辑理论、缺省逻辑理论、 量子逻辑理论、概率逻辑理论等相继建立卜8‘。王国俊教授通过对真度理论的系列研究旷11]，并结合 概率逻辑的思想，于2006年建立了计量逻辑学理论n2．1引。计量逻辑理论是一种不同于概率逻辑和数 值逻辑的新型模糊逻辑理论体系，进一步丰富了模糊逻辑理论研究的内容和方法[13_17]。美中不足的 是，在有关计量逻辑学理论的文献中口2-13’17]，我们发现了关于公式之间的相似度，逻辑距离等命题中存 在一些错误，这些错误命题的根源在于对公式之间相似度理解方面出现了偏差。出现错误的命题主要 是： F(S)，则己(A，B)一0当且仅当A与B之一为重言式，另一 在逻辑系统L：，L和厶中，设A，BE 为矛盾式。 1，另一在[o，1]”上几乎处处为0。 本文的目的是首先通过构造反例说明这些命题中错误的存在性，其次，在逻辑系统o，L，L和L。 中分别给出车(A，B)=0的正确的等价形式，并对上述错误进行修正。本文的结果将有助于我们对计量 逻辑中有关公式间的相似度，逻辑距离等概念进行更加深入，正确的理解。 2 预备知识 -收稿日期：2011一10—16 基金项目：国家自然科学基金资助项目 作者简介：周建仁(1964一)，男，甘肃人，河西学院副教授，陕西师范大学访问学者；谢晶晶(1986一)，女，湖北人，陕西师范大学研究 生；吴洪博(通讯作者)(1959一)，男，陕西咸阳人，教授。 万方数据 52 模糊系统与数学 2013正 式。用z1，．一，z。替换P1’．”，加，并且将逻辑连接词一，V，一解释为赋值域Ⅳ上的运算．7，V，一，这样 我们就得到一个m元函数才：Ⅳ”一Ⅳ．我们称才为由A诱导的函数。 的函数。定义： 删)一嘉圣(高I__1(高Ⅲ 其中IEl表示集合E中元素的个数。则称L(A)为行一值系统中公式A的真度。 注2．1 (p1)，…，v(p。))=o。 引理2．1[12-13] 注2．2在引理2．1中，公式A，B可以不含相同的原子命题。例如，A=p。一户。，B=p：一A． 的函数。定义 k(A)=IA(x1，…，z。)dxl…dz。 则称k(A)为公式A的积分真度。 定义2．4[12_13] -7口(B)一1或u(A)一--,v(B)一0。 证明 由注2．1可知，在行一值系统“，厶和L中， ￡(A，B)=0 铮L((A—B)A(B—A))一0 铮V；∈Eo，11“，((才一豆)^(雷一才))(；)=0 铮V可∈力，口((A—B)^(B—A))=0