经典命题逻辑中理论的D条件发散度与近似推理.pdfVIP

第27卷第l期 模糊系统与数学 V01．27，No．1 andMathematics Feb．，2013 2013年2月 FuzzySystems 文章编号：1001—7402(2013)01—0034-06 经典命题逻辑中理论的D一条件发散度与近似推理+ 崔美华 (盐城师范学院数学科学学院，江苏盐城224002) 摘 要：在经典命题逻辑系统中，给出了D一，逻辑度量空间中理论的D一条件发散度和公式到理论的D一 条件距离的真度表达式，推出了它们的若干性质；并利用这些性质研究了D—r逻辑度量空间中近似推理 的相关问题。 关键词：D一条件真度；D一条件发散度；D一条件距离；近似推理 中图分类号：0141；0159文献标识码：A 1 引言 将数理逻辑的符号化、形式化推理与数值计算的程度化推理相融合的研究，逐步形成了一个新的研 究分支——计量逻辑学口．13|。而基于随机化的逻辑概念程度化方法已成为当前概率化人工智能研究的 一个热点。文献[14]和文献[15]利用赋值集的随机化方法，首先在经典命题逻辑系统中提出了公式的随 机真度概念和随机逻辑度量空间的理论，实现了概率逻辑学与计量逻辑学的融合。文献[16]基于条件概 率的思想，在经典命题逻辑系统中研究了D一条件真度和近似推理的理论。 在逻辑系统中，若一个理论推出的全是定理，我们称它是“好”理论，若推出矛盾式，则称它是“坏”理 论，这是一种对理论“好、坏”的简单粗糙的分类。如何区分理论“好、坏”程度大小的问题是逻辑学家极 为关注的一个问题。理论的发散度可以较好地给予衡量，同时理论的发散度也是研究理论相容度一种 非常有利的工具。一般地仅从发散度的概念很难计算出发散度的值，本文在经典命题逻辑系统中，利用 文献[16]中有关D一条件真度和D一条件伪距离的一些性质，推出了D—r逻辑度量空间中理论的D一条件 发散度表达式和一些性质，将理论的D一条件发散度的计算转化为D一条件真度的计算。同时研究了理论 的D一条件发散度与公式到理论的D一条件距离间的关系，证明了D一条件距离的若干性质，利用这些性质 可直接得到三种不同模式的近似推理是等价的结论。从而获得了三种不同模式近似推理的等价性证明 的一种简捷方法。 2 D一条件发散度与D一条件距离 本文所引用的概念与符号，若未加说明的均参见文献[16]。 引理2．1[163 0，则 ÷收稿日期：201I-06—08；修订日期：2011-09—27 师范学院自然科学研究基金资助项目(11YCKL001) 作者简介：崔美华(1956一)，女，盐城师范学院数学科学学院教授，研究方向：模糊逻辑，近似推理。 万方数据 第1期 崔美华：经典命题逻辑中理论的D一条件发散度与近似推理 35 B (i)rD(AV Ir)=rD(A r)+ro(Br)一rD(A^Blr)； (ii)rD(A—Br)一rD(A^Br)一rD(AIr)+1； (iii)rD(BJ1)≥rD(Ar)+rD(A—Br)一1； (iv)rD(A—Cr)≥rD(A—Br)+砀(B—clr)一1； (v)气(A，Br)一1一rD(AVB|r)+rD(A^Blr)。 定义2．1设三∈F(S)，A∈F(S)，如果三非空，且存在B1’．”，鼠∈三，使得rB。^…八鼠一 A，则称A可由三导出或称A是三的结论，记为三卜A用D(三)表示全体三的结论之集。 定义2．2 D一条件发散度。当divD(三Ir)一1时称三是全发散的。 定理2．1 H (i)当三={B，，…，B。)时，divD(三