§1．1 专家系统的基本思想 1
1．1．1 定义 1
第一章 基本原理 1
1．1．2 基本思想 2
§1．2 专家系统的基本特征 3
1．2．1 专门知识的启发性 4
1．2．2 专门知识的专有性 4
1．2．3 专门知识的不稳定性 5
1．2．4 专门知识难于抽取 5
§1．3 传统的数据处理、人工智能与专家系统 6
1．3．1 TDP系统的特点 6
1．3．2 TDP与AI系统 9
1．3．3 ES系统与AI系统 17
1．4．1 基本结构 20
1．4．2 流行结构 21
1．4．3 理想结构 23
§1．5 专家系统的分类 26
1．5．1 按任务类型分类 26
§1．4 专家系统的结构 29
1．5．2 按任务要求分类 30
习题与思考题 36
参考文献 37
2．1．1 知识与知识表示 39
§2．1 概述 39
第二章 知识表示 39
2．1．2 过程性表示与叙述性表示 41
2．1．3 知识表示的评价标准 42
§2．2 逻辑表示法 46
2．2．1 用一阶谓词表示知识 46
2．2．2 归结原理简介 52
2．2．3 逻辑表示法应用举例 55
§2．3 规则表示法 64
2．3．1 基本产生式系统 65
2．3．2 规则表示法应用举例 67
§2．4 语义网络表示法 73
2．4．1 用语义网络表示知识 74
2．4．2 处理语义网络衷示的知识 81
§2．5 框架表示法 84
2．5．1 用框架表示知识 85
2．5．2 框架系统与框架网络 87
习题与思考题 90
参考文献 91
第三章 逻辑推理与搜索策略 92
§3．1 逻辑推理 92
3．1．1 正向推理 93
3．1．2 反向推理 94
3．1．3 混合推理 97
§3．2 搜索策略 98
3．2．1 无知识搜索 101
3．2．2 有知识搜索 110
3．2．3 利用元知识进行搜索 121
习题与思考题 124
参考文献 125
第四章 似然推理 126
§4．1 概述 126
4．1．1 不确定性 127
4．1．2 似然推理的基本要求 128
§4．2 确定理论方法 130
4．2．1 基本度量 130
4．2．2 CF模型 132
4．2．3 一个例子 133
§4．3 主观Bayesian方法 136
4．3．1 主观概率 136
4．3．2 概率传播 140
4．3．3 概率组合 142
4．3．4 组合证据 144
4．3．5 一个例子 145
§4．4 可能性理论 149
4．4．1 基本概念 150
4．5．2 评价可靠性 150
4．4．2 计算公式 151
§4．5 证据理论方法 152
4．5．1 Dempster/Shafer证据理论 153
4．5．3 一个例子 164
4．5．4 讨论 168
习题与思考题 175
参考文献 176
第五章 MYCIN系统 177
§5．1 概述 177
5．1．1 背景 177
5．1．2 总体结构 178
5．2．1 数据的表示及组织 179
§5．2 知识和数据的表示及组织 179
5．2．2 知识的表示及组织 182
§5．3 控制策略 194
5．3．1 推理方法 195
5．3．2 询问数据 199
5．3．3 形成治疗方案 201
§5．4 解释方案 204
5．4．1 解释子系统中的知识 205
6．2．3 其它应用 207
5．4．2 理解问题 207
§5．5 改进与扩充 209
5．4．3 提供解释 209
5．5．1 扩充知识库 210
5．5．2 修改控制策略 211
5．5．3 修改生成治疗方案的方法 214
习题与思考题 217
参考文献 218
第六章 TElRESlAS系统 220
6．1．1 规则模型 221
§6．1 元知识 221
6．1．2 模式 224
6．1．3 函数模板 227
6．1．4 元规则 228
§6．2 元知识的应用 230
6．2．1 获取新规则 230
6．2．2 获取新参数值 233
§6．3 EMYCIN系统 237
6．3．1 基本结构 238
6．3．2 利用EMYCIN开发专家系统 240
7．2．1 准备阶段 240
习题与思考题 241
参考文献 241
7．1．1 开发专家系统的特点 242
§7．1 概述 242
第七章 专家系统开发方法 242
7．1．2 设计专家系统的原则 244
7．1．3 专家系统的选题原则 244
7．1．4 开发专家系统的难点 247
7．1．5 开发专家系统的工作 247
§7．2 开发专家系统的基本步骤 249
7．2．2 研究问题 250
7．2．3 整理知识 251
7．2．4 建立模型系统 252
7．2．5 改进与扩充 254
§7．3 评价专家系统 255
7．3．1 评价的原则 255
7．3．2 评价的方法 259
习题与思考题 262
参考文献 263