《专家系统》

第一章绪论1

1.1 专家系统的发展简史1

1.2 专家系统的发展方向4

1.3 专家系统的应用概况6

1.4 研究专家系统的意义11

第二章专家系统概述12

2.1 传统程序设计方法的限制12

2.1.1 缺少灵活性12

2.1.2 缺少不精确推理14

2.1.3 缺少合适的算法15

2.2 专家系统的组成15

2.2.1 专家系统的定义15

2.2.2 专家系统的特点17

2.2.3 专家系统的基本功能19

2.3 知识库19

2.4 推理机21

2.4.1 推理方法22

2.4.2 控制策略22

2.5 知识获取27

2.6 人—机界面28

2.7 如何构造专家系统29

2.8 专家系统的开发工具31

2.9 谁需要专家系统32

2.10 一个专家系统的示例33

第三章知识表示技术47

3.1 知识表示方法学概述47

3.2 产生式表示法49

3.3.1 表示事实57

3.3 语义网络表示法（SemanticNetworksRepersentation）57

3.3.2 表示事件59

3.3.3 表示多元关系60

3.3.4 语义网络与规则混合的知识表示方法62

3.4 框架表示法（FrameRepresentation）64

3.5 谓词逻辑表示法67

3.5.1 用谓词演算表示知识68

3.5.2 逻辑推理71

3.5.3 谓词演算表示法的特点和局限性75

第四章不精确推理方法77

4.1 确定性理论77

4.2 主观贝叶斯（Bayes）法84

4.3.1 证据理论的形式描述94

4.3 证据理论94

4.3.2 证据理论的应用模型98

4.3.3 证据理论的不精确推理模型100

4.3.4 计算实例102

4.4 可能性理论和模糊逻辑106

4.4.1 可能性分布的概念106

4.4.2 转换规则108

4.4.3 近似推理111

第五章搜索策略115

5.1 小的求解空间搜索策略115

5.1.1 状态空间法116

5.1.2 问题递归法120

5.1.3 最佳优先法124

5.2.1 解空间分解法127

5.2 大的求解空间搜索策略127

5.2.2 解空间逐步求精法129

5.2.3 附加空间法130

第六章专家系统构造133

6.1 如何建立专家系统133

6.1.1 专家系统构造的步骤133

6.1.2 专家系统的发展阶段136

6.2 如何建立专家系统的支持工具137

6.2.1 辅助排错138

6.2.2 输入／输出界面139

6.2.3 解释工具140

6.2.4 知识库编辑142

6.3 如何建立知识库和推理机144

6.3.1 知识库144

6.3.3 阀值的选取145

6.3.2 推理方法145

6.3.4 I/O界面的设计147

6.3.5 启发式控制策略148

6.3.6 系统模型150

6.4 系统构造示例152

6.4.1 汽车故障诊断专家系统的建立和运行152

6.4.2 程序设计及实现161

6.4.2.1 知识库161

6.4.2.2 数据库163

6.4.2.3 推理机167

6.4.2.4 解释部分177

6.4.2.5 知识库编辑184

6.4.2.6 总控191

7.1 通过机械记忆学习（RoteLearning）193

第七章机器学习193

7.2 通过提问指导学习（Learningbybeingtold）194

7.3 通过实际示例学习（Learningfromexample）197

7.4 通过书本资料学习（Learningfrombooks）200

7.5 通过归纳总结学习（Learningfromreduction）201

第八章专家系统的开发工具203

8.1 专家系统的开发工具分类203

8.2 实例介绍和分析206

8.2.1 骨架系统206

8.2.1.1 EMYCIN206

8.2.1.2 KAS(KnowledgeAcquisitoionSystem208

8.2.1.3 EXPERT211

8.2.1.4 S.1220

8.2.2 通用知识表示语言OPS-5222

8.2.3 组合开发工具AGE224

8.3 评价与展望232

第九章实用中存在的问题和发展趋向237

9.1 存在的问题237

9.1.1 外部问题237

9.1.2 内部问题239

9.2 数据库与专家系统的结合241

9.3 决策支持系统与专家系统的结合243

9.4 分布式专家系统245

9.4.1 多专家系统的协作策略247

9.4.1.1 组织策略247

9.4.1.2 信息策略248

9.4.2 实现协作策略的框架结构248

参考文献251