目录 1
第一篇 PROLOG语言 1
第一章 PROLOG三个基本语句 1
§1.1实例 1
§1.2事实 2
§1.3规则 3
§1.4询问 3
第二章 PROLOG的回溯及其控制 6
§2.1回溯 6
§2.2关于cut操作 7
第三章 PROLOG数据结构及语法 17
§3.1项 17
§3.2结构和树 18
§3.3表 19
§3.4由表的例题看程序的递归性 20
§3.5PROLOG语法的形式描述 24
第四章 PROLOG内部谓词 26
§4.1输入与输出 26
§4.2程序的修改 29
§4.3结构成分的建立与获取 33
§4.4影响回溯及其他 36
§4.5项的分类 37
§4.6运算符及关系比较符 38
§4.7监视PROLOG工作 39
§5.1表处理 40
第五章 PROLOG程序设计实例 40
§5.2数学运算 43
§5.3问题求解 54
§5.4PROLOG程序设计应注意的一些技术问题 64
第六章 PROLOG的理论基础及设计原理 66
§6.1谓词演算简介 66
§6.2子句形式 67
§6.3子句的表示方法 71
§6.4归结原理和定理证明 72
§6.5Horn子句 74
§6.6PROLOG逻辑程序设计 75
§6.8附录TurboPROLOG简介 78
§6.7PROLOG的控制策略 78
第二篇 专家系统原理与设计 82
第七章 专家系统基本原理与结构 82
§7.1概述 82
§7.2专家系统基本结构 85
§7.3一个示意性专家系统的例子 88
第八章 专家系统中的知识表示 99
§8.1概述 99
§8.1.1什么是知识 99
§8.1.2知识的种类 100
§8.1.3知识表示的类型及要求 101
§8.1.4几种典型的知识表示方法 102
§8.2.1谓词逻辑 103
§8.2逻辑表示法 103
§8.2.2谓词逻辑的推理 104
§8.3语义网表示法 106
§8.3.1语义网 106
§8.3.2性质继承及语义网的推理 107
§8.3.3格框架表示法 109
§8.3.4is＿a意味着什么 109
§8.3.5语义网的特征 111
§8.4产生式系统 111
§8.4.1产生式系统的结构与工作原理 111
§8.4.2竞争消解策略 112
§8.4.3一个典型的产生式系统一一OPS5简介 112
§8.4.4一个示意性产生式系统实例及其实现 115
§8.4.5产生式系统的主要特点 117
第九章 知识的结构化表示——框架表示法 119
§9.1框架的基本原理 119
§9.2槽的扩充 122
§9.3框架的数据结构 124
§9.4框架系统的推理机制 126
§9.5框架中的多重继承问题 128
§9.6用PROLOG实现框架系统 130
§9.框架表示法的特点 140
第十章 专家系统中的推理 142
§10.1推理方向 142
§10.2一个正向推理系统——简化OPS5的实现 150
§10.3不精确推理 155
第十一章 专家系统中的解释接口 165
§11.1预制文本和执行追踪法 166
§11.2策略解释法 169
§11.3自动程序员法 173
§11.4解释接口的实现 176
第十二章 搜索的控制与专家系统工具 189
§12.1推理方向的选择 189
§12.2知识与数据的影响 190
§12.3大搜索空间问题 191
§12.4协同操作问题 193
§12.5典型系统列表 198
§12.6专家系统开发工具 206
第十三章 类似MYCIN专家系统外壳APMES 213
第三篇 PROLOG实现的专家系统实例 213
§13.1APMES的结构 214
§13.2APMES的应用 214
第十四章 用TurboPROLOG实现的分类专家系统外壳GENI 235
第十五章 专家系统与数据库的结合——PROLOG与dBASE的连接 252
§15.1PROLOG直接读取dBASE数据文件 254
§15.2用dBASE存贮管理PROLOG事实 267
§15.3PROLOG+dBASE构成演绎数据库 271
§15.4用自然语言查询dBASE数据库 277
第十六章 IBM-PC机故障诊断专家系统——PCDOCTOR 314
§16.1系统概述 314
§16.2PCDOCTOR的实现 315