第一章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勘探专家系统PROSPECTOR 130
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 EMYCIN 171
6.5.2 EXPERT 171
6.5.3 KAS 172
参考文献 175