关于随机真度的若干注记.pdfVIP

第 23 卷第 6 期 2009 年 12 月 模糊系统与数学 Fuzzy Systems and Mathematics 文章编号;1001-7402(2009)创刊)038-06 关于随机真度的若干注记. 怠小静，常健 (延安大学数学与计算机科学学院，陕西延安 716000) Vol. 23 , No.6 Dec. ,2009 摘 要:以随机具皮为基础，在三位氏。命题这样系统中给出 T 三种不同的近似梳理模式并讨论了它们 之间的关系，其次利用粮的性质得出误差定义的劳千榕缓结果。 关键词:随机J..成;随机逻辑成:t~间;近似粮玻 中团分类号 :0159 文献标识码 :A 1 号|宫 众所周知，数理逻辑是以符号化为特点的形式化理论，它注重形式推理而不重视数值计算。与此相 反，数值计算的目的则在于借助各种计算手段采用描筒、法代、辈分或慨率估算等方法研究各类计算问 题，它关注问题的求解以及误差估计等阳很少使用形式推耀方法。计最逻辑学[1叫]则是尝试将数理逻辑 与数值计算相结合而产生的个新的研究分支，它是数理逻辑与概率计算相结合的产物。 值得注意的是，将概率方法引人数理逻辑的思想早已有之，目前已经有以概率逻辑学为名的专著 出版[5J。计量逻辑学与概率逻辑学有着密切的联系，但二省义有明显的整别。以命题逻辑为例，概率逻 辑学在有限多个状态描端(State-Description)构成的集合上输出概率分布，从而得出锦个命蹦所对应 的概率(Probability) ，这个概率反映的是该命题的可信程度。 概率逻辑学中的…个基本思想是给原子公式 q 赋予…定的概事 P(q) ，这里 P(q)是任意给定的。并 且要求 O~P(q)~l. 由于合式公式由一些原子公式生戚，所以通过一定的途径町以由生成合式公式的 原子公式的概率计算出诙合式公式的概事。这就使得公式 A 与 [O.lJ中的某数值 P(A)建立了对脱关 系。需要注意的是，在概率逻辑学中，总是选定有限~个公式然后讨论它们之间的概事关系，也就是说它 只考虑了有限多个公式的概事，这不能不说是…种周限性。 在概率逻辑学中[川]，不仅研究了一系列关于计算公式概率的方法，还得到了一辑有关前提与结论 概旦在关系的比较好的结果。除了研究命题概率的计算以及前提与结论间的概率关系之外，概率逻辑学对 命题的站立性，条件命题也作了深入的讨论。 另一方面，在计量逻辑学中，从把逻辑概念程度化人手，提出了公式的真度楠企 r(A) ，与概率理辑 学中服子公式的概率是任意的有所不间，这果每个原子公式的真度闻相等。也就是从真肢的角度讲，原 子公式之间是投有最别的。给每个命题 A 所赋予的真度不是任意给定的，它由命题 A 自身的结构所完 全确定，因而是内蕴的，不存在任意性。正因为如此，如何计算或估计…个命题的真度就是计最逻辑学要 ·收稿日期; 2009-06-30 基金项曰:国家自然科学2基金资助项目 ;陕商省教育厅专项基金研究项目 (08JK497) 伴唱冒简介，m小静1 973寸，友.憾士，副教授，研究方向 s 不确)?!性推现;常俊，女，副教授，研究方向 g最优化现论. 第 6 期 惠小静:关于随机真度的若干注记 39 研究的主要问题之.在计量逻辑学中还引人了命题间的相似度、伪距离并由此展开近似推理理论，计 量逻辑理论问时也引发了若干越于数值计算的推理研究[卜11] ，这些都超出了概率避辅学研究的范围。 此外，计最逻辑学还把多值逻辑与 Fuzzy 逻辑纳入了讨论范围，这些也都是概率逻辑学所不曾攒及的。 可见，计量逻辑学虽然广泛使用概率计算，但它与巳有的概率逻辑学有根本的不间。 从上述分析可知，在概率逻辑学中，每个公式 A 对应一个概率。而且每个原子公式的概率可以互不 相间。在计量逻辅学中，每个公式 A 也对应一真度。但每个原子公式的真度完金相碍。这种把每个原子 公式的真度等同着持的观点与现实世界中各种简单命题成立的概率不尽相同的事实不符。事实上各简 单命题是否为真以及在多大的程度上为真是不确定的、随机的。所以赋予不问原子公式以不同的真度， 可以便由此产生的公式的真度更具实用性，这种基于随机性的逻辑概念的程度化方法将会展示出更为 广阔的应用前景。 基于上述想法，笔密在文[12}-文 15J中首先在二值逻辑中提出了。-真度并对其性质展开了讨论。 文[16J接着在三值院。命题逻辑系统和王值 Lukasiewicz 命题逻辑系统中利用自然数集 N 上的随机数序 提出了公式的随机真度，随机真度既能克服把概率的讨论局限在有限多个公式之中的不足，问时只能使 得不间的原子公式具有不同的真肢。它既是概率逻辑学中概率的一般形式，又是计量逻辑学中真度的一 般形式，井且同时克服了二者具有的触陷。 本文正是上述研