非经典数理逻辑与近似推理

✍ Scribed by 王国俊

• Publisher: 科学出版社
• Year: 2000
• Tongue: Chinese
• Leaves: 322
• Series: 现代数学基础丛书
• Category: Library

✦ Synopsis

中国科学院科学出版基金资助出版陕西师范大学康德出版基金资助出版

✦ Table of Contents

《非经典数理逻辑与近似推理》
封面页
书名页
版权页
《现代数学基础丛书》编委会
前言
目录页
目录页1
目录页2
目录页3
目录页4
目录页5
正文
第一章 预备知识
§1.1 泛代数中的预备知识
1.泛代数
2.自由代数
§1.2 经典命题演算理论
1.自由代数──用符号表示命题
2.语构理论──形式演绎体系
3.语义理论──真值体系
4.可靠性定理与完备性定理
5.模型与紧性
6.Lindenbaum代数
第二章 多值逻辑的语义理论
§2.1 引言
1.多值逻辑的产生背景与历史概述
2.多值逻辑与经典逻辑的异同
3.多值逻辑的研究内容
§2.2 赋值格上的蕴涵算子
1.[0,1]上若干不同的蕴涵算子
2.D.Dubois-H.Prade条件
§2.3 几种三值逻辑系统
1.Lukasiewicz的三值系统L3
2.Bohvar的三值系统B3
3.Kleene的三值系统K3
4.Godel的三值系统G3
§2.4 一般多值逻辑系统
1.Lukasiewicz的n值系统Ln
2.标准序列逻辑系统Sn
3.G3系统的推广
4.K3系统的推广
§2.5 ∑-(α-重言式)理论
1.多值系统Wn、W与W
2.系统W中的∑-广义重言式理论与类类互异定理
3.有限值系统中广义重言式的重言式表示定理
第三章 命题演算的形式系统
§3.1 Fuzzy推理与Fuzzy逻辑
1.概况
2.经典公理系统的不适应性
§3.2 命题演算的形式演绎系统
1.中的公理与推理规则
2.三段论推理规则与可证等价
3.中常用的定理
4.代换定理
§3.3 -Lindenbaum代数与R0-代数
1.-Lindenbaum代数
2.R0-代数
3.同态、子R0-代数与生成元集
4.R0-代数的乘积
第四章 中的语义理论与Fuzzy推理的逻辑基础
§4.1 的语义与可靠性定理
1.可靠性定理
2.语义MP规则与语义HS规则
3.赋值中介
4.逻辑等价
§4.2 中另一类∑-重言式
§4.3 Fuzzy推理的CRI算法
1.Fuzzy推理的基本思想
2.CRI方法的一般形式
3.Fuzzy推理的数学本质
§4.4 Fuzzy推理的三I算法
1.Fuzzy推理的三I算法
2.P-还原算法
3.用三I算法求解一般的Fuzzy推理问题
§4.5 Fuzzy推理的逻辑基础、支持度理论
1.Fuzzy推理与∑-重言式
2.支持度理论
3.α-三I算法
4.α-三I Modus Tollens算法
5.三I MT算法的还原性
第五章 积分语义学
§5.1 公式的真度
1.积分不变性定理
2.F(S)中公式的R真度
3.R真度与α-重言式
4.积分推理规则
§5.2 真度值在[0,1]中的分布
§5.3 积分相似度理论
§5.4 F(S)上的伪距离
§5.5 F(S)中的近似推理
1.真度与距离之关系
2.准证明与准推理
3.发散度与近似准推理
第六章 格上的逻辑学
§6.1 闭包算子与闭包系统
§6.2 完备格上的逻辑学
1.抽象推理系统
2.抽象语义
3.抽象逻辑
§6.3 紧致性的新形式——连续性
§6.4 逐步推理
§6.5 抽象模糊逻辑
1.基本概念
2.模糊算子的紧致性
§6.6 公式集F上的非运算
第七章 Pavelka的逻辑学
§7.1 Pavelka逻辑的基本理论
1.Tarski的观点
2.L-语义结论算子
3.L-语法结论算子
4.F中的证明
5.紧算子
6.可靠性
7.完备性
§7.2 剩余格
1.伴随
2.剩余格
3.匹配算子
4.强剩余格
§7.3 赋值格为强剩余格的命题演算公式代数
1.(P,ε)公式代数
2.ε赋值
§7.4 完备性问题
1.不完备性定理
2.通用的可靠L-规则
3.商代数定理
4.若干命题
5.完备性定理
第八章 Fuzzy推理的非Fuzzy形式
§8.1 引言
§8.2 二值逻辑系统中的广义与多重广义MP规则的语构理论
1.两个基本问题
2.一组公式的根
3.广义与多重广义MP问题的解的定义与计算
§8.3 多值逻辑系统中的广义与多重广义MP规则的语构理论
§8.4 二值逻辑系统中广义MP规则的语义理论
§8.5 Lukasiewicz值系统L3中广义MP规则的语义理论
参考文献
索引
封底页