第1章 预备知识 1
1.1 从经典逻辑到模糊逻辑 1
1.2 三角模与剩余蕴涵 9
1.3 泛代数与偏序代数结构 11
1.4 文献注释 15
第2章 基于幂零极小三角模的模糊逻辑理论 18
2.1 形式系统L＊的语法理论 18
2.2 R0代数理论 27
2.3 形式系统L＊的标准完备性 49
2.4 系统L＊的第一类扩张 52
2.5 系统L＊的第二类扩张 62
2.6 谓词逻辑系统K＊ 74
2.7 文献注释 88
第3章 基于连续三角模的模糊逻辑理论 92
3.1 连续三角模及其剩余蕴涵的性质 92
3.2 基本逻辑形式系统BL及其主要定理 96
3.3 系统BL的语义及完备性 105
3.4 系统BL的三个重要扩张 117
3.5 谓词逻辑系统BL？ 136
3.6 基本谓词系统的扩张 149
3.7 系统BL的标准完备性 161
3.8 文献注释 167
第4章 基于左连续三角模的模糊逻辑理论 168
4.1 基于左连续三角模的形式逻辑系统MTL 169
4.2 系统MTL的准完备性 174
4.3 系统MTL的标准完备性 177
4.4 谓词演算系统MTL？ 182
4.5 系统MTL的等价形式与独立性 186
4.6 与系统MTL相关的格值逻辑系统 205
4.7 文献注释 219
第5章 模糊推理的基本理论 221
5.1 模糊推理的基本模型 221
5.2 模糊推理的常用方法 224
5.3 模糊推理方法的几种重要性质 228
5.4 基于各种蕴涵算子的三I算法 235
5.5 模糊推理方法的鲁棒性 243
5.6 模糊推理方法的连续性 251
5.7 模糊推理三I方法的逻辑基础 269
5.8 文献注释 277
第6章 模糊推理的应用 279
6.1 基于CRI方法构造的模糊系统逼近性能分析 279
6.2 基于三I方法构造的模糊系统逼近性能分析 286
6.3 基于相似度推理方法的模糊系统分析 296
6.4 专家系统的基本结构 304
6.5 模糊推理在专家系统中的应用 311
6.6 文献注释 330
参考文献 332
关键词中英文对照索引 339