计量逻辑学的基本思想和研究综述.pdfVIP

第26卷第4期 模糊系统与数学 Vol26，No．4 andMathematics 2012年8月 FuzzySystems Aog．，2012 文章编号：1001—7402(2012)04一000l 计量逻辑学的基本思想和研究综述’ 王国俊 (陕西师范大学数学研究所，陕西西安 710062) 摘要：介绍计量逻辑学的彤成、特点及其与模朝逻辑的弄同。关于命题逻辑的计量化理论，针对不羁 的系统论述了真度理论和相似度理论，特别是介绍了作者提出的命题逻辑系统够。以及与其配套的凰 代数理论和完备性定理。介绍了逻辑理论在逻辑度量空间中的发散度和相客的理论以厦三种近似推理 摸式。回顾了谓诃逻辑计量化的进程和有待解决的问题。提出了模态逻辑和模型检验的计量化问题以 厦有待进一步探讨的几个研宽课题。 关键．葡；计重逻辑学；真度；相似度；逻辑度量空阐；相客度；谓司逻辑 中图分类号：0141 文献标识码：A 1 引言 1．1计量逻辑学的形成及其特点 1965年，Zadeh提出了模糊集理论o]。半个世纪以来，模糊集理论在理论与应用两个方面都取得 了举世瞩目的成就，如今已经发展为一颗枝繁叶茂的参天大树。乍看起来，模糊集理论似乎难以与数 理逻辑挂起钩来，因为后者的特点在于非此即彼而前者则提倡程度化。然而从语义的角度出发将命题 逻辑程度化却是可行的，我们的切人点是讨论赋值域为单位区间[o，1]的情况下重言式的程度化问题。 1998年，我们在修正的Kleene系统中提出了三一(*重言式)理论，首次提出了升级算法，证明了类类不 空定理“]。值得注意的是。由于赋值域本身就具有可以从。刭l连续取值的特点，所以在这种情况下对 重言式进行程度化是容易实现的。但在经典的二值命题逻辑中，赋值域已成为(0，1)，0和1之间不再 有任何中间值，*重言式也就蜕化为重言式(“一1)了。这时我们考虑更一般的命题逻辑公式，基于可数 多个均匀概率空间的无穷乘积引入了命题逻辑公式的真度概念，并基于真度定义了公式间的相似度和 伪距离，建立了逻辑度量空间，为近似推理提供了可能的框架o]。此后这一工作迅速被推广到多值逻辑 和连续值逻辑的情形，逐渐形成了计量逻辑学的雏形[4“]。与以上工作相伴随．我们提出了一种新的逻 系统中重要的演绎定理不成立，但在z。系统中则有广义演绎定理成立。计量逻辑学的基本理论在系 统z‘中同样成立o]。扼要地讲，计量逻辑学的特点在于以下几个方面： 第一，对每个命题逻辑公式都定义了它的真度，从而将这些作为基本单元的对象的真实程度进行 ‘ 了程度化。 第二，基于真度概念定义了每两个逻辑公式之间的相似度。 ’鉴墓昱翟i翟紧苫茎臻学基金资助项a。。。，，。：。，；：。。，，：。o) 作者简介：王国俊(1935)，男，教授．博士生导师，研究方向：不确定性推理．计量逻辑学 万方数据 2 模糊系统与数学 第三，建立了全体公式集上的伪距离空间——逻辑度量空间。 第四，建立了逻辑理论的发散度和相容度理论。 第五，提出了逻辑度量空间中的几种近似推理模式。 1．2计■逻辑学与模糊逻辑学的区别 最早提出系统的模糨逻辑理论的人是Pavelka，他的3篇系列文章“”被后来的研究者大量引用， 毫无例外地提出了逻辑学的程度化理论。但这些工作都没有从作为基本单元的逻辑公式的程度化做 起。文献[10]中通过求上、下确界的方法对模糊推理进行了程度化。其中系统地研究了L一语义结论算子 和L一语法结论算子，并将“证明”进行了程度化，研究了相应的完备性问题，可以说是一篇相当深刻的 文章，只是采用确界算法似乎远没有引入距离方便和精确。 众所周知，逻辑学有语义研究和语构研究两个方面。对于模糊命题逻辑而言，所涉及的逻辑公式 和经典逻辑公式的区别并不太，所以主要的研究表现在对具有不同代数结构的赋值域的研究上。很常 G一代数、乘积代数以及大家熟知的MV代数等，并分别引入了相应的公理系统和推理规则，从而得出了 种种不同的多值逻辑和模糊逻辑系统，得出了某些完备性定理