非经典数理逻辑与近似推理（第二版）
点此进入淘宝搜索页搜索分類: 图书,自然科学,数学,数学理论,
作者： 王国俊 著
出 版 社： 科学出版社
出版时间： 2008-5-1字数： 377000版次： 2页数： 304印刷时间： 2008/05/01开本： 16开印次： 1纸张： 胶版纸I S B N ： 9787030212955包装： 平装内容简介
本书在第一版的基础上修订再版，全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道；从整体赋值出发，建立了积分语义学理论，为近似推理提供了一种可能的框架；系统论述了Pavelka逻辑并扼要论述了抽象逻辑。此外，本书在第一版的基础上增添了模态逻辑、知识推理与描述逻辑的内容。
本书可作为计算机专业、自动控制专业的研究生教材，也可供数学及相关专业的高年级本科生、教师、科研人员阅读参考。
目录
《现代数学基础丛书》序
第二版前言
第一版前言
第1章 预备知识
1.1 泛代数中的预备知识
1.2 经典命题演算理论
第2章 多值逻辑的语义理论
2.1 引言
2.2 赋值格上的蕴涵算子
2.3 几种三值逻辑系统
2.4 一般多值逻辑系统
2.5 Σ-（α-重言式）理论
第3章 命题演算的形式系统∥
3.1 Fuzzy推理与Fuzzy逻辑
3.2 命题演算的形式演绎系统E*
3.3 E*-indenbaum代数与R。-代数
第4章 够中的语义理论与Fuzzy推理的逻辑基础
4.1 E*的语义与可靠性定理
4.2 E*中另一类三_重言式
4.3 Fuzzy推理的CR1算法
4.4 Fuzzy推理的三I算法
4.5 Fuzzy推理的逻辑基础、支持度理论
第5章 积分语义学
5.1 公式的真度
5.2 真度值在[0，1]中的分布
5.3 积分相似度理论
5.4 F（S）上的伪距离
5.5 F（S）上的近似推理
第6章 格上的逻辑学
6.1 闭包算子与闭包系统
6.2 完备格上的逻辑学
6.3 紧致性的新形式——连续性
6.4 逐步推理
6.5 抽象模糊逻辑
6.6 公式集F上的非运算
第7章 Pavelka的逻辑学
7.1 Pavelka逻辑的基本理论
……
第8章 Fuzzy推理的非Fuzzy形式
第9章 模态逻辑、知识推理与描述逻辑
参考文献
索引
《现代数学基础丛书》已出版书目
书摘插图
第1章 预备知识
本章介绍阅读本书所需的预备知识。熟悉代数学和经典命题逻辑的读者可以跳过本章，从第2章开始。
在1.1节中介绍关于泛代数方面的一些知识。泛代数的内容十分丰富，而我们只需要其中关于自由代数的知识。希望尽快接触多值逻辑内容的读者也可略去1.1节，而仅仅阅读它的最后一段，即关于自由代数的通俗解释部分。
在1.2节中介绍经典命题逻辑。除了在介绍紧性时用到滤子及超滤的概念外，其余部分是自封的。即使未接触过数理逻辑的读者也可以毫无困难地读完这一部分。为了避免通常对完备性定理的繁冗的证明，我们给出了较易理解的基于范式以及可证等价概念的证明方法。
……
