R0型命题逻辑系统的随机化.pdfVIP

第27卷第1期 模糊系统与数学 V01．27，No．1 andMathematics 2013年2月 FuzzySystems Feb．。2013 文章编号：1001—7402(2013)01—0063—08 尺。型命题逻辑系统的随机化+ 李修清1，朱 宁2 (1．桂林航天工业高等专科学校计算机系，广西桂林541004； 2．桂林电子科技大学计算科学与数学学院，广西桂林541004) 摘 要：利用赋值集的随机化方法，在R。型n值命题逻辑系统和R。型模糊命题逻辑系统中提出了公式 的随机真度和随机距离的概念，建立了随机度量空间。指出当取均匀概率时，随机真度就转化为计量逻 辑学中的真度，从而建立了更一般的随机逻辑度量空间。 关键词：随机序列；随机真度；随机逻辑度量空间 中图分类号：0141 文献标识码：A 1 引言 众所周知，数理逻辑是以符号化为特点的形式化理论，它注重形式推理而不注重数值计算。与此相 反，数值计算则更多关注问题的数值求解以及误差估计等，而很少使用形式推理的方法。应该说两者之 间有很大的差距，但由王国俊教授开创的计量逻辑学EI-4]则是尝试将两者联系起来的一个新的研究分 支，它是数理逻辑与概率计算相结合的产物。 值得提出的是，将概率方法引入数理逻辑的思想，自20世纪70年代以来就已逐渐兴起，并且目前 已有“概率逻辑学”的专著出版[5]。计量逻辑学与概率逻辑学有着密切的联系，但两者又有明显的差异。 以命题逻辑为例，概率逻辑学是在有限多个“状态描述”构成的集合上给出概率分布，从而给出每个命题 公式所对应的概率，需要注意的是，上述概率分布是建立在一个有限集合上的，这不得不说是概率逻辑 学的一个局限。另一方面，在计量逻辑学中，从逻辑概念程度化人手，提出了公式的真度概念r(A)，从整 体出发给出了计量逻辑学理论。 需要指出的是，与概率逻辑中原子公式的概率可以是任取的不同，在计量逻辑学里每个原子公式的 真度完全相等，这就使得，如果两个公式完全一致，那么它们的真度也一定相等。这种把每个原子公式的 真度等同看待的观点，显然与现实世界中各原子公式的概率不尽相同的事实相违背，所以赋予不同原子 公式以不同的概率，可以使命题公式的真度更接近于现实世界。基于这样的考虑，惠小静等把计量逻辑 学与概率逻辑学相结合，就二值和三值逻辑系统提出了随机真度的概念，建立了随机逻辑度量空 间邙叫]。随机真度既是概率逻辑学中概率的一般形式，又是计量逻辑学中真度的一般形式，并且同时克 服了两者的缺点，因此对随机真度的性质以及特性的研究，是一项十分有意义的工作。 本文是在二值和三值逻辑系统随机化的研究成果[6—83上，讨论R。型咒值命题逻辑系统“和Ro型 ·收稿日期：2011—05—06；修订日期：2011—12—31 基金项目：国家自然科学基金资助项目 作者筒介：李修清(1963一)，男，桂林航天工业高等专科学校计算机系教授，研究方向：非经典逻辑与近似推理；朱宁(1961一)，男，桂 林电子科技大学计算科学与数学学院副教授，研究方向：最优化理论及其应用。 万方数据 模糊系统与数学 2013焦 模糊命题逻辑系统L+中命题的随机化，首先提出了随机概率分布序列和随机密度函数序列的概念，利 用自然数集上的随机概率分布序列和随机密度函数序列，分别给出了耳和￡’命题逻辑系统中命题公 式的随机真度，命题公式间的随机相似度等概念，其次研究了其性质并且建立了随机逻辑度量空间。因 此可以把王国俊教授开创的，z值逻辑系统和模糊逻辑系统中计量逻辑学的程度化研究以及近似推理模 式纳入到本文给出的更为宽泛的研究体系之中。 2 R。型咒值命题逻辑系统的随机真度 设S={q，，q。，…)是可数集，称为原子公式集，一是一元运算，V与一是二元