目 录 1
序言 1
第一章绪论 5
1-1从推理到专家系统 5
1-2背景 6
1-3对本书的一点说明 9
第二章专家系统的主要功能 11
2-1 引言 11
2-2背景 12
2-3会话 12
2-4维护 20
2-5结论 23
第三章专家系统框架：产生式系统 25
3-1 引言 25
3-2产生式系统 25
3-3知识表达 28
3-4树 30
3-5 控制策略：深度优先搜索和宽度优先搜索 34
3-6控制策略：启发式与评价函数 37
3-7控制策略：回溯与不可挽回的策略 40
3-8数据驱动与目标驱动产生式系统 42
3-9结论 44
第四章专家系统的基本原理 45
4-1引言 45
4-2命题逻辑 46
4-3一阶逻辑 51
4-4推理机 54
4-5模式匹配 55
4-5-1 基于命题逻辑的推理机 55
4-5-2 基于一阶逻辑的推理机 58
4-6规则的执行 64
4-7专家系统中控制策略简述 65
4-8限制期 68
4-9-1 一条或多条规则可应用 70
4-9选择期 70
4-10限制或选择 71
4-9-2 无可应用规则 71
4-11正向链接、反向链接 72
4-12混合链接 79
4-13结论 83
第五章确定知识表示及确定推理 84
5-1 引言 84
5-2获取知识 84
5-3事实表示 85
5-4规则表示 95
5-5知识表示的通用性 100
5-6语言 103
5-7 PROLOG 106
5-8过程或说明 110
5-9结论 112
6-1 引言 113
第六章非确定知识表示及似真推理 113
6-2贝叶斯概率方法 115
6-2-1规则的组合 118
6-2-2不确定性证据 120
6-3确定性理论 121
6-3-1不确定性证据 122
6-3-2证据的组合 125
6-4主观贝叶斯方法 126
6-5 Dempster和shafer理论的推理方法 129
6-6 KAS中使用的方法 133
6-7结论 138
第七章模糊知识表示及近似推理 140
7-1引言 140
7-1-1改变证据组合的拓扑结构 141
7-1-2范畴理论 143
7-1-3模糊最优化 146
7-2-1模糊性 152
7-2模糊集合 152
7-2-2多孔结构 154
7-2-3模糊集是函数 156
7-2-4模糊子集代数 159
7-2-5模糊数和Sorites问题 166
7-2-6模糊集的范畴 168
7-3模糊知识表示 173
7-3-1产生式规则是模糊集间的关系 173
7-3-2产生式规则中的语言变量 177
7-3-3用模糊关系表示知识 179
7-4近似推理 186
7-4-1推理规则 187
7-4-2什么是真实？相容性 191
7-4-3知识图是模糊专家系统的模型 193
7-4-4真实的答案 199
7-4-5值询问 202
7-4-6变量询问 205
7-5决策支持系统中的模糊知识及近似推理 207
7-5-1 决策中的判断和信息 208
7-5-2定性询问 211
7-5-3数字数据库和语言的询问 213
7-5-4策略路径 216
7-5-5用动态增强模型规划和预测 219
7-5-6可伸缩程序设计中的回溯 225
7-6专家管理系统中的模糊性和近似推理 227
7-7结论 232
第八章专家系统的软件环境：开发和操作工具 234
8-1 引言 234
8-2专家系统外壳的总体结构 234
8-3编辑器 236
8-4开发状态、工作状态及其实用程序 239
8-5跟踪程序 241
8-6开发机和学习模块 248
8-7知识获取和开发工具 251
8-8 结论 253
9-1 引言 254
9-2对决策者的简要指导 254
第九章将专家系统引入企业 254
9-3专家系统能做什么 257
9-4专家系统要做些什么 260
9-5选择什么样的系统 262
9-5-1与应用有关的准则 263
9-5-2与机构有关的准则 265
9-5-4与最终使用有关的准则 266
9-5-3与资源有关的准则 266
9-6结论 268
第十章知识获取与知识构造 269
10-1引言 269
10-2知识获取的各个阶段 270
10-3问题确定 273
10-3-1将由系统完成的任务 273
10-3-2人员确定 275
10-3-4资源确定 276
10-3-3最终目标和系统用户 276
10-4知识构造 277
10-5系统结构和模型建立 279
10-6样机和系统竣工 280
10-7知识工程师 282
10-8结论 285
第十一章支配专家系统进入企业的条件 286
11-1引言 286
11-2赢得支持 287
11-3可行性研究 289
11-4实现 290
11-5对企业的冲击 292
11-5-1对生产的冲击 293
11-5-2对组织机构的冲击 294
11-5-3人的问题 295
11-6结论 297
参考资料 298