命题逻辑系统中理论的发散度与近似推理的若干性质.pdfVIP

第 22 卷第 2 期 2008 年 4 月 立编哥哥 :1001-7402(2008)02-0046-07 模糊系统与数学 Fuzzy Systems and Mathemat?ω Vol. 22. No.2 Apr. ,2008 命题逻辑系统中理论的发散度与近似推理的若干性质. 张建成 (泉州师植学院 2理工学院，福建泉州 362000) 摘 襄:-于演绎定程和完备性定程研究了二位命题逻辑系统、Lukasiewicz 命题边将系统和 Ro-命题迈 得系统的理论的发散度与近似椎貌，获得了 mr 中公式的真皮农示其炭供度的计算公式和若干可用于 近似榕球的不等式. 提键诩:理论;溃绎定理$发散皮;i/t.似椎缀， -A-Jt 中回分提号 :0141 文献栋识码 ;A 1 引官 逻辑推理是人工智能学科及相关研究中所普遍采用的方法，在诸如逻辑程序设计、定理自动证明、 非单调逻辑乃至知识推现等领域得到了大景的应用。另一方面，数值计算似乎与形式推理无缘。但众所 周知，人脑的思维模式是带有不确定性和不精确性的近似推理。这种近似又必然会静及数值计算。所以 近年来把逻辑的符号化、形式化推理与数值计算的程度化推理工者相融合的研究越来越受刑人们的关 栓，这方面已经有了许多研究成果[1-3.5.1←叫。本文在这些理论的基础上，探讨了经典工值命题理辑系 统 Cz ， Lukasiewicz 命题逻辑系统 Luk 和 Ro-命题逻辑系统矿·的理论的发散度和近似推理。人们常从 公式集 F(S) 中挑选出认为好的或者需要的公式集 F通过推理规则推得 r-结论。…般来说， r结论相 当多，如何判断 r 结论的集合 D(r) 好还是不好?理论 F 的发散度 div(r) 可以较好地给予衡量，如，当 div(川 =0 时，所得的 r-结论全是定理。当 div(r) 接近 1 时，矛盾式百与 D(r) 的伪距离就接近零。也 就是说 div(r) 越接近 1 ， r 中就有结论越接近矛盾式，这样的 D(r)就不好。仅从发散度的概念出发一 般难于计算 div(川，本文应用广义演绎定理和完备性定理，给出了几个计算 d巾(r) 的公式，并且获得 了近似推理的一些不等式。 .2 预备知识 设s= {Pu扣，…}是一个可数集 ， F(S) 是由 S 生成的(呵， V ，呻〉型自由代数。 S 的元素叫原子 命题或原子公式 ， F(们的元素叫命翩或公式。在建立逻辑系统的语义理论时，不同逻辑系统涉及不间 的蕴涵算子。经典二值命题逻辑系统 Cz Lukasiewicz 模糊命题逻辑系统 Luk 和 R。一模糊命题逻辑系统 f，é.的蕴涵算子及相对应的 t …-幽模(8)分别为: RB(x ， y) 梢。当且仪当 x = 1,y = 0; x ③ y 出 1~且仅~x=y=l ， x ，y 仨 {O ， l} 。 ·收摘自期， 2006-11-20 ;修订日期 12007-04-16 基金项目 s福建省自然科学基金资助项目 (2006J0221) 作者简介 a 张建成0954斗，房，搞建泉州人，泉州师范学院理工学院副教授.研究方向 s非线典l!稿与近似推理. 第 2 期 张建成 g命黯逻精系统中理论的发散度与近似推理的若干性质. 47 RL(x ,y) = (1… z 十 y) ^ 1 J x (8) Y - (x 十 y 一1) V 0 ，劣 ，y E [O , lJo ( 1, x~y __ Ix^y, x 十 y::l Ro(x ， y) 皿 L_ -:.. -_-, x (8} y=l v -_.~， x ，yE[O ， lJ 。 \(l-x)Vy , xy........... \ 0, x 十 y~l 它们分别叫Boole 蕴涵算子 RB Lukasiewicz 蕴涵算子 RL 和 Ro 蕴涵算子 Ro. 在不引起误会时我们经常 用呻 iè蕴涵算子，即 R(x ，y) = x ? y. 一个从 F(S) 到 R-单位区间[O ， lJ或到 {0 ， 1} 的 (-V ，→)型间态 v:F(S) → [0 ， 1]({0 ， 1}) ，叫做 F(S) 的一个 R 伽赋筒，所有 R-赋值构成的集合记为 DR? 如果对任意的 R 一赋值 v E (JR公式 A 都满足 v(A) = 1 ，那么称 A 为重富式，记作 tA. 如果对任意的 v E (JR 都有时A) = 0 ，那么称 A 为矛盾式，记 为飞 下面给出二值逻确系统 Cz 的公式真度。 定义 2. 1 (4J 设(Xn ，An ，凡)是概率测度空间，这盟凡是Xn 上的概率测度 ， A. 是全体凡可测之族， 以X，，) = 10 令 X 皿 IIXn ,Jiltl II A. 在 X 上可生成一个协代