二值命题逻辑中Г-的蕴涵距离和近似推理.pdfVIP

第 24卷第 6期 德 州 学 院 学报 VO1．24，NO．6 2008年 12月 JournalofDezhouUniversity Dec．，2008 二值命题逻辑中r一的蕴涵距离和近似推理 王廷 明 (青 岛大学师范学院数学系，青岛 266071) 摘 要 ：以基本真度为基础 ，引入二值命题逻辑系统中基于前提信息 r的公式 A到B 的蕴涵度概念 ，由此定 义 了公式A到B 的r一蕴涵距离，并通过 r一蕴涵距离的基本真度表示式，对二值命题逻辑 中基于前提信息的近似 推理问题进行讨论． 关键词 ：二值命题逻辑 ；真度 ；前提信息；r一蕴涵度 ；r一蕴涵距离；近似推理 中图分类号 ：O141．3 文献标识码 ：A 文章编号 ：1004—9444(2008)06—0005—03 在二值命题逻辑系统 中，文献[卜一4]提出了以 数值计算为主要特征的命题公式的真度概念和逻辑 1 公式的r一蕴涵度和 r一蕴涵距离 度量空间理论 ，从而为二值命题逻辑系统的程度化 研究和近似推理理论构建了理论框架． 定义 3 设 r一 {A ，…，A }(二二F(S)，A，B∈F 设 ， ，…，P 为 个互异 的命题变元 ，S： (S)，记 Cr—A ^… 八A ．称 i(r；A，B)一r(Cr一 {P ，。，…，P}，F(s)表示 S上的命题公式全体． (A—B))为在前提信息 r下公式A到B 的蕴涵度 ， 定义 ll4 设 A∈F(S)，A：{0，1}一 {0，1}是A 简称为A 到B 的r一蕴涵度． 1 由公式 的基本真度运算可知 i(r；A，B)一r 诱导的Boole函数．称 f(A)= lA (1)I为A 的 厶 ((C AA)一B)．进一步有下列结论． 真度． 引理 1 设 r一 {A ，…，A }(二二F(S)，A，B∈F 定义 2[ 设A，B∈F(S)，令 p(A，B)一1一r (S)，则 i(r；A，B)一r(Cr^A^B)一r(Cr^A)+1． ((A—B)^(B—A))，称 p(A，B)是公式 A，B的伪 定理 1 设 r==={A 一，A ) F(S)，A，B，C∈ 距离． F(S)，则 为了区别，称上述定义的真度和伪距离为F(S) 1)i(r；A ，BVC)===i(r；A，B)+ i(r；A ，C)一 i 上的基本真度和基本伪距离．文献E53基于 “若 A则 (r；A ，B^C) B”的推理思想 ，借助于公式 的基本真度 ，在 F(s)中 2)i(r；A VB，C)一 i(r；A ，C)+ i(r；B，C)一 i 以1一r(B—A)的形式 ，引入了一种非对称 的逻辑 (r；A ^B，C) 度量，研究 了二值命题逻辑等几类逻辑系统中的近 3)i(r；A ，B)+i(r；A ，一B)一 1+ i(r；A，0) 似推理问题． 4)i(r；A，B)+i(r；一A ，B)一 1+ i(r；1，B) “若 A则 B”是一种基本的逻辑推理模式．在实 5)i(r；A，B)+i(r；B，C)三三三14-i(r；A ，C) 际问题中存在大量的如 “在某前提下 ，若 A 则B”的 证明 由定义 3以及基本真度计算可得 1)，2) 推理模式 ，因此文中将 “某前提”看作是前提信息 ，基