目 录 1
序论 1
第一章模糊集合 6
§1． 引言 6
§2． 基本概念 7
§3． 模糊集合的运算 11
§4． 扩张原理 18
§5． 2型模糊集 21
第二章模糊变量与语言变量 25
§1．模糊变最 25
§2． 语言变量 32
§3． 构成式语言变量 36
§4．布尔语言变量 38
第三章模糊语言逻辑与模糊推理 43
§1．模糊语言逻辑及其逻辑连接 43
§2．语言近似和特殊真值 49
§3．模糊推理的合成规则 54
§4．假言推理 57
§5． 模糊定理 62
§6． 其他的模糊蕴涵定义 64
第四章模糊逻辑和基于归结方法 67
的模糊推理…………………………………（67 ）§1．引言 67
§2． 模糊逻辑 68
§3．模糊逻辑中的归结原理 81
§1． 引言 89
第五章算子模糊逻辑和λ－归结方法 89
§2． 算子格 90
§3． 基本概念和性质 91
§4．OFL中公式的范式 95
§5． λ－归结方法 100
§6．归结式的解释 105
§7． λ－蕴涵和λ－强蕴涵 106
§8． 对系统的一个解释 111
第六章λ-Ηorn集上的λ－归结方法 117
§1． 引言 117
§2． 输入半锁归结和单元锁归结 118
λ－单元锁归结 123
§3．λ-Horn集和λ－输入半锁归结、 123
第七章处理模糊相等的λ-Paramodulation方法 126
§1． 引言 126
§2． Fuzzy相等公理集 127
§3． λ-Paramodulation 129
第八章 算子模糊逻辑的改进 137
§1． 引言 137
§2． 算子格 139
§3．基本概念和性质 141
§4． λα－归结方法 145
§5． 结论 152
参考文献 154