第一章 绪论 1
第一节 专家系统的基本结构 1
第二节 专家系统的建立 4
第三节 专家系统开发工具 8
第四节 知识的“规则架＋规则体”表示 12
第二章 智能程序设计与PROLOG语言 20
第一节 逻辑程序设计 20
第二节 Turbo-PROLOG介绍 29
第三节 PROLOG与LISP之比较 44
第三章 知识的内部表示 47
第一节 五种内部表示方案 47
第二节 知识的输入和内部表示转换 61
第四章 自动知识获取程序的设计 81
第一节 知识的自动获取 81
第二节 一个交互式知识获取程序的设计 87
第三节 多目标定值的一种权系数学习模型 100
第四节 智能系统的技能提高问题 108
第一节 基本正向推理算法 114
第五章 推理机制的设计 114
第二节 一个基于知识排序的线性正向推理算法 122
第三节 基本反向推理算法 129
第四节 一个双向推理算法的设计 134
第六章 不精确推理实现的问题和求解 139
第一节 不精确推理及实现上的问题 139
第二节 “规则架＋规则体”：一种求解 141
第三节 计算不精确度的谓词body 143
第一节 跟踪解释的基本思想 148
第七章 一个跟踪解释程序的设计 148
第二节 一种跟踪解释方案的设计 149
第三节 跟踪谓词knowledge_trace 149
第八章 知识库管理程序 152
第一节 知识库管理的内容 152
第二节 用PROLOG实现的几个知识库管理谓词 156
第三节 推理网络的回路识别算法 164
附录：Turbo-PROLOG的内部谓词 170
参考文献 194