命题逻辑中理论的条件真度.pdf

　第４７卷　第２期 山　东　大　学　学　报　（理　学　版） ２０１２年２月　 　 　 　 　 　 　Ｖｏｌ．４７　 Ｎｏ．２　 　 　 　 　 ＪｏｕｒｎａｌｏｆＳｈａｎｄｏｎｇＵｎｉｖｅｒｓｉｔｙ（ＮａｔｕｒａｌＳｃｉｅｎｃｅ） Ｆｅｂ．２０１２　 　文章编号：１６７１９３５２（２０１２）０２００８２０４　　　ＤＯＩ：１０．６０４０／ｊ．ｉｓｓｎ．１６７１９３５２．２０１２．０２．０１７ 命题逻辑中理论的条件真度 张乐，裴道武 （浙江理工大学理学院，浙江 杭州３１００１８） 摘要：探讨了理论真度的性质后基于条件概率的思想，给出了理论的条件真度的概念，并用它建立了一种可以在 公式集之间展开的近似推理模式，用于探寻最优推理结论和最优推理前提，最后给出了理论的和谐度的概念，刻 画理论内部公式和谐共存的程度。 关键词：计量逻辑；真度；条件真度；近似推理；理论和谐度 中图分类号：Ｏ１４１１　　　文献标志码：Ａ Ｔｈｅｃｏｎｄｉｔｉｏｎａｌｔｒｕｔｈｄｅｇｒｅｅｏｆｔｈｅｏｒｙｉｎｐｒｏｐｏｓｉｔｉｏｎｌｏｇｉｃ ＺＨＡＮＧＬｅ，ＰＥＩＤａｏｗｕ （ＦａｃｕｌｔｙｏｆＳｃｉｅｎｃｅ，ＺｈｅｊｉａｎｇＳｃｉＴｅｃｈＵｎｉｖｅｒｓｉｔｙ，Ｈａｎｇｚｈｏｕ３１００１８，Ｚｈｅｊｉａｎｇ，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｔｈｅｐｒｏｐｅｒｔｉｅｓｏｆｔｒｕｔｈｄｅｇｒｅｅｏｆｔｈｅｏｒｙａｒｅｄｉｓｃｕｓｓｅｄ．Ｔｈｅｎ，ｔｈｅｃｏｎｄｉｔｉｏｎａｌｔｒｕｔｈｄｅｇｒｅｅｏｆｔｈｅｏｒｙｉｎｐｒｏｐｏ ｓｉｔｉｏｎｌｏｇｉｃｉｓｐｒｏｐｏｓｅｄｏｎｔｈｅｉｄｅａｌｏｆｃｏｎｄｉｔｉｏｎａｌｐｒｏｂａｂｉｌｉｔｙ．Ｂａｓｅｄｏｎｔｈｅｃｏｎｄｉｔｉｏｎａｌｔｒｕｔｈｄｅｇｒｅｅｏｆｔｈｅｏｒｙ，ａｎｅｗ ａｐｐｒｏｘｉｍａｔｅｒｅａｓｏｎｉｎｇｍｏｄｅｂｅｔｗｅｅｎｆｏｒｍｕｌａｓｅｔｓｉｓｐｒｏｐｏｓｅｄ，ｗｈｉｃｈｃａｎｂｅｕｓｅｄｔｏｓｅａｒｃｈｆｏｒｔｈｅｂｅｓｔｒｅａｓｏｎｉｎｇｃｏｎ ｃｌｕｓｉｏｎａｎｄｐｒｅｍｉｓｅ．Ｆｉｎａｌｌｙ，ｔｈｅｈａｒｍｏｎｉｏｕｓｄｅｇｒｅｅｏｆｔｈｅｏｒｙｉｓｐｒｏｐｏｓｅｄｆｏｒｃｈａｒａｃｔｅｒｉｚｉｎｇｔｈｅｅｘｔｅｎｔｏｆｔｈｅｉｎｔｅｒｎａｌ ｈａｒｍｏｎｙｏｆｔｈｅｔｈｅｏｒｙ． Ｋｅｙｗｏｒｄｓ：ｑｕａｎｔｉｔａｔｉｖｅｌｏｇｉｃ；ｔｒｕｔｈｄｅｇｒｅｅ；ｃｏｎｄｉｔｉｏｎａｌｔｒｕｔｈｄｅｇｒｅｅ；ａｐｐｒｏｘｉｍａｔｅｒｅａｓｏｎｉｎｇ；ｈａｒｍｏｎｉｏｕｓｄｅｇｒｅｅ ０　引言 为了将数值计算引入到数理逻辑中，文献［１］首先在二值命题逻辑中建立了真度理论，之后，计量逻辑 学在文献［２］中被正式提出，其中分别介绍了二值命题逻辑Ｌ，Ｌｕｋａｓｉｅｗｉｃｚ多值命题逻辑Ｌｕｋ，Ｌ和命题演 ｎ   算系统Ｌ ，Ｌ 中的真度，相容度和近似推理理论。文献［３］基于条件概率的思想，在二值命题逻辑中引入了 ｎ 公式的条件真度的概念。在条件真度理论下，一个公式的真度随着信息的获取而改变。文献［４］引入了理 论的真度概念，（这里的理论指的是由一组公式构成的集合，文中有明确定义。）将公式的真度推广为公式集 的真度。本文基于条件概率的思想，给出理论的条件真度的概念，并用它建立一种近似推理模式。一方面， 这种推理模式不需要建立逻辑（伪）度量空间，因而不需要计算公式间的相似度和伪距离，另一方面，推理不 限于公式集和公式之间，还可以在公式集和公式集之间展开。 学者们对理论自身的性质也十分关注，如文献［５６］研究了理论的相容度，文献［７］研究了理论的下真 度与相容度。本文从另外一个角度对理论自身的性质进行研究，考虑这样一个问题：设ｐ代表“张