计量逻辑学中的近似推理.pdf

第 24 卷第 5 期 模　糊　系　统　与　数　学 V ol. 24, N o. 5 　　　　　　　　　　 　 2010 年 10 月 Fuzzy Sy stems and M athematics Oct. , 2010 文章编号: 1001-7402( 2010) 05-0001-07 计量逻辑学中的近似推理 韩邦合1, 2, 李永明1, 3 ( 1. 陕西师范大学 数学与信息科学学院, 陕西 西安　710062; 2. 西 安电子科技大学 理学院 数科系, 陕西 西安　710162; 3. 陕 西师范大学 计算机科学学院, 陕西 西安　710062) 摘　要: 在多值逻辑系统中给出了计量逻辑学中单 个公式到 结论集的距 离公式, 在 此基础上, 给出发 散度的简化形式, 讨论了计量逻辑学中三种近似推 理模式之间的关系。 关键词: 真度; 相似度; 伪度量; 发散度; 计量逻辑学; 近似推理 中图分类号: O141　　　文献标识码: A 1　引言 众所周知, 数理逻辑是以符号化为特点的形式化理论, 它注重形式推理而不重视数值计算。与此相 反, 数值计算的目的则在于借助各种计算手段, 采用插值、迭代、差分或概率估算方法研究各类计算问 题, 它关注问题的求解以及误差估算而很少使用形式推理方法。王国俊教授将数值逻辑与概率计算相 结合, 提出了一个新的研究分支计量逻辑学[ 1- 3] 。其主要内容为: 在多值逻辑系统中提出了公式的真度 概念。基于此, 提出了公式间的相似度与伪度量, 研究了所得逻辑度量空间的基本性质, 提出并研究了 逻辑理论的发散度与相容度概念, 给出了三种近似推理模式。 [ 1] , [ 2] , [ 3] 中提出了以下几个问题: ( 1) 如何刻画单个公式到 结论集的距离? ( 2) 当 无限时, 如何计算理论 的发散度? ( 3) 计量逻辑学中三种近似推理模式之间的关系是什么? 文献[ 12] 在二值情 形下指出了问题( 3) 的解。本文在更一般的多值逻辑系统中解决以??这些问题。下面首先给出本文需要 的预备知识。 2　预备知识 设 F ( S) 是全体命题( 公式) 之集, 即 F( S) 是由原子公式之集 S 生成的( , ∨, →) 型自由代数, A 1 2 = A ( p 1, p 2 , …, p m) 是含有 m 个原子公式 p 1, …, p m 的公式。赋值域 W = W n = { 0, , , …, n - 1 n - 1 n - 2 。分别用 1 … m 取代 1 … m 并把 中的逻辑连接词 ∨ →换为 中的运算 ∨ n - 1, 1} x , , x p , , p , A , , W , , - m - →, 则得一 m 元函数 A( x 1, …, x m) : W → W , 称 A 为 A 所诱导的函数。W 中的 , ∨运算为线性补和 取大运