《专家系统及工具》

第一章LISP语言1

目 录1

1.1基本概念2

1.2 LISP语言的基本函数4

1.3算术函数6

1.4谓词函数8

1.5分支函数和PROG函数11

1.6函数12

1.7例14

1.8特性和A表17

2.1 引言19

第二章基于规则的专家系统19

2.2基于规则的专家系统概述20

2.3例23

2.4正向推理的知识库结构30

2.4.1独立规则集30

2.4.2有限状态自动机的结构31

2.5反向推理32

2.6知识库的分块原则38

2.6.1知识库的分块原则概述38

2.6.2分块推理39

2.7解释42

2.8推理网45

第三章基于框架的专家系统47

3.1框架知识表示方法47

3.2框架推理48

3.2.1查询推理48

3.2.2默认推理和附加过程推理49

3.2.3继承推理50

3.2.4框架系统推理53

3.3框架系统的知识获取53

3.4框架知识库的规范化55

3.4.1完全依赖56

3.4.2非传递依赖57

3.4.3平凡依赖58

3.4.4框架和槽的分解的等价性59

第四章不精确推理62

4.1基于规则的专家系统和不精确推理62

4.2 MYCIN的不精确推理64

4.3主观Bayes方法66

4.3.1确定性证据67

4.3.2不确定性证据71

4.3.4证据的逻辑运算73

4.3.5与用户会话时，对证据使用可信度73

4.3.3证据的合取73

4.3.6可信度的传播公式78

4.4模糊推理86

4.4.1模糊集合和从属函数86

4.4.2模糊矩阵88

4.4.3模糊推理方法91

4.5模糊模式识别95

4.5.1样本间的相似系数95

4.5.2模糊等价关系96

4.5.3模糊分类99

4.5.4模糊模式识别方法101

4.6模糊综合评判103

第五章实用专家系统109

5.1 MYCIN系统112

5.1.1总体结构113

5.1.2规则的格式114

5.1.3上下文和参数117

5.1.4函数122

5.1.5控制总框图125

5.2勘探专家系统PROSPECTOR130

5.3工程设计型专家系统135

5.3.1工程设计135

5.3.2工程设计型专家系统结构136

5.3.3工程设计型专家系统和黑板系统140

5.4诊断型专家系统142

5.4.1知识的对象表示法142

5.4.2对象表示法的推理143

5.4.3知识库规范化146

5.5决策型专家系统147

5.6控制型专家系统149

5.6.1控制方法150

5.6.2控制过程和知识表示的层次框架法152

5.6.3控制过程和代价深度优先搜索153

5.6.4控制过程选择153

5.6.5知识库管理系统154

5.6.6图形输出155

第六章专家系统工具156

6.1 OPS 83的基本概念157

6.2例160

6.3 OPS 83的推理机165

6.4 OPS 83的交互式运行环境166

6.5骨架系统170

6.5.1 EMYCIN171

6.5.2 EXPERT171

6.5.3 KAS172

参考文献175