第1章 知识研究简述 1
1.1 人工智能研究概况 1
1.2 知识研究概况 3
1.2.1 知识、数据和信息 7
1.2.2 知识的最基本成分——概念 8
1.2.3 知识的分类和特点 10
1.2.4 知识表示及其方法 11
1.2.5 知识推理 17
1.2.6 知识获取 19
1.3 本章小结 21
第2章 模糊性对象的集合基础与逻辑基础 22
2.1 模糊性对象与模糊数学 22
2.1.1 Zadeh模糊集以及模糊数学理论的基础 24
2.1.2 中介逻辑与中介公理集合论 36
2.1.3 Zadeh模糊集的扩充 47
2.2 模糊逻辑与模糊推理 50
2.2.1 模糊语言逻辑 52
2.2.2 狭义模糊逻辑 60
2.2.3 模糊推理及其推理模式 67
2.2.4 推理合成规则CRI与模糊推理算法 75
2.2.5 模糊推理算法的数学原理 82
2.3 中介逻辑的语义研究 85
2.3.1 中介命题逻辑MP的无穷值语义 86
2.3.2 中介谓词逻辑MF的无穷值语义解释 94
2.3.3 中介谓词逻辑的归结原理 95
2.4 逻辑形式系统的语法和语义特征 99
2.4.1 语法理论与语义理论扩充的特点 99
2.4.2 逻辑形式系统的语法完全性与语义完全性 101
2.5 本章小结 107
第3章 关于知识中否定概念的重新认识与研究 109
3.1 关于否定概念认识历史的考察 109
3.2 知识处理领域中否定概念的认识 117
3.3 矛盾、对立概念的认识 120
3.4 概念中的不同否定关系 123
3.4.1 清晰概念与模糊概念中的五种否定关系 123
3.4.2 现有逻辑与集合理论刻画五种否定关系的能力 126
3.5 本章小结 130
第4章 具有矛盾否定、对立否定和中介否定的模糊集 132
4.1 具有矛盾否定、对立否定和中介否定的模糊集FSCOM 132
4.2 FSCOM模糊集的运算及其性质 134
4.3 FSCOM模糊集的理论研究 137
4.3.1 中介否定的存在性 137
4.3.2 FSCOM模糊集与Zadeh模糊集等的关系比较 139
4.3.3 FSCOM模糊集中三种否定是不同的模糊否定 141
4.3.4 FSCOM模糊集的截集、距离测度、模糊度、包含度和贴近度 143
4.3.5 λ-中介否定集和λ-区间函数 157
4.3.6 FSCOM模糊集的改进与扩充 159
4.4 本章小结 168
第5章 FSCOM模糊集的应用 170
5.1 FSCOM模糊集在模糊多属性决策中的应用 170
5.1.1 基于FSCOM模糊集的模糊多属性决策方法 173
5.1.2 应用实例一：个体理财决策 173
5.1.3 应用实例二：股票投资决策 182
5.2 FSCOM模糊集在模糊综合评判中的应用 195
5.2.1 模糊综合评判的原理与方法 196
5.2.2 基于FSCOM模糊集的模糊综合评判方法 198
5.2.3 应用实例一：高速公路边坡稳定性等级评判 200
5.2.4 应用实例二：空气污染等级评判 206
5.3 GFSCOM模糊集在模糊系统设计中的应用 211
5.3.1 基于GFSCOM模糊集的模糊系统设计方法 212
5.3.2 基于GFSCOM模糊集的模糊规则库设计方法 225
5.3.3 应用实例：倒车模糊控制 229
5.4 本章小结 232
第6章 具有矛盾否定、对立否定和中介否定的模糊逻辑 234
6.1 具有矛盾否定、对立否定和中介否定的模糊命题逻辑系统FLCOM 234
6.1.1 FLCOM的形式化定义 234
6.1.2 FLCOM中的形式推理关系及意义 236
6.1.3 FLCOM中的否定与其他模糊逻辑中否定的对比与关系 241
6.2 FLCOM的语义研究 242
6.2.1 FLCOM的一种无穷值语义解释 243
6.2.2 FLCOM的一种三值语义解释 247
6.3 基于FLCOM的模糊逻辑理论研究 251
6.3.1 具有矛盾否定、对立否定和中介否定的模糊谓词逻辑？FLCOM 251
6.3.2 三种否定的算子特征及其表现定理 253
6.3.3 具有三种否定的模糊命题逻辑自然推理系统FNDSCOM 260
6.3.4 具有三种否定的模糊模态命题逻辑系统MKCOM 272
6.3.5 FLCOM、 ？FLCOM、 FNDSCOM和MKCOM的语法完全性 280
6.4 本章小结 282
第7章 模糊逻辑FLCOM与？FLCOM的应用 285
7.1 基于FLCOM与？FLCOM的模糊推理与应用 285
7.1.1 基于FLCOM的三种模糊拒取式推理及其算法 285
7.1.2 FLCOM的λ-归结 292
7.1.3 基于FLCOM的模糊知识推理及其搜索算法 298
7.1.4 FLCOM与？FLCOM在模糊决策中的应用 307
7.1.5 FLCOM与？FLCOM在模糊综合评判中的应用 316
7.2 FLCOM与？FLCOM在一些知识处理理论中的应用 324
7.2.1 具有三种否定的模糊描述逻辑FALCCOM 324
7.2.2 具有三种否定的模糊回答集程序FASPCOM 334
7.2.3 具有三种否定的资源描述框架扩展RDFCOM 341
7.3 本章小结 352
参考文献 354
后记 368