第一章 绪论

第一节 专家系统的基本结构

第二节 专家系统的建立

第三节 专家系统开发工具

第四节 知识的“规则架＋规则体”表示

第二章 智能程序设计与PROLOG语言

第一节 逻辑程序设计

第二节 Turbo-PROLOG介绍

第三节 PROLOG与LISP之比较

第三章 知识的内部表示

第一节 五种内部表示方案

第二节 知识的输入和内部表示转换

第四章 自动知识获取程序的设计

第一节 知识的自动获取

第二节 一个交互式知识获取程序的设计

第三节 多目标定值的一种权系数学习模型

第四节 智能系统的技能提高问题

第一节 基本正向推理算法

第五章 推理机制的设计

第二节 一个基于知识排序的线性正向推理算法

第三节 基本反向推理算法

第四节 一个双向推理算法的设计

第六章 不精确推理实现的问题和求解

第一节 不精确推理及实现上的问题

第二节 “规则架＋规则体”：一种求解

第三节 计算不精确度的谓词body

第一节 跟踪解释的基本思想

第七章 一个跟踪解释程序的设计

第二节 一种跟踪解释方案的设计

第三节 跟踪谓词knowledge_trace

第八章 知识库管理程序

第一节 知识库管理的内容

第二节 用PROLOG实现的几个知识库管理谓词

第三节 推理网络的回路识别算法

附录：Turbo-PROLOG的内部谓词

参考文献