二值命题逻辑中基于条件真度的近似推理(II).pdfVIP

50 2010 ，46 （29 ） Computer Engineering and Applications 计算机工程与应用 二值命题逻辑中基于条件真度的近似推理（II ） 王廷明 WANG Ting-ming 青岛大学，山东 青岛 266071 Qingdao University ，Qingdao ，Shandong 266071 ，China E-mail ：wangtm@ WANG Ting-ming.Approximate reasoning based on conditional truth degree in two-valued propositional logic （II ）.Com- puter Engineering and Applications ，2010 ，46 （29 ）：50-52. Abstract ：In this paper ，the definition of theoretical relative deviation from Γ-information is introduced in two-valued proposi- tional logic.Meanwhile the conditional truth degree expressions are showed and a new conclusion mode that the formula de- rived from theoretical relative deviation is the 3-typical error of less than ε in the abstract is put forward.At the same time the equivalence relations are proved among the conclusion modes for the 1，2-typical errors of less than ε.These studies can diversify research means of the approximate reasoning problems in two-valued propositional logic system. Key words ：two-valued propositional logic ；conditional truth degree ；finite theory ；relative deviation 摘 要：在二值命题逻辑中引入了信息Г下理论的相对偏差概念，给出了相对偏差的条件真度表示式；提出了由信息Г下理论的相 对偏差确定的公式是理论的III-型误差不大于 的结论模式，并证明其与I ，II-型误差不大于 的结论模式是等价的，为从不同角ε ε 度研究二值命题逻辑中基于条件真度的近似推理问题提供多样化工具。 关键词：二值命题逻辑；条件真度；有限理论；相对偏差 DOI ：10.3778/j.issn. 1002-8331.2010.29.014 文章编号：1002-8331（2010 ）29-0050-03 文献标识码：Ａ 中图分类号：O141.3 1 引言 2 信息Г下理论的相对偏差 p p p n 在二值命题逻辑中，文献[1-4]提出了以数值计算为主要 设 为 个互异的命题变元，S={p ，p ，…，p } ， 1 2 n 1 2 n 特征的命题公式的真度和伪距离概念，从而为二值命题逻辑 F (S) S A ÎF (S) T(A)