本书较全面地介绍了知识库系统的逻辑基础、原理、实现方法与技术，引述了演绎数据库和基于逻辑的知识库系统的数学基础，其中包括一阶谓词逻辑演算、知识推理中的证明论与模型论和基于这两种理论的算法的实现思想，深入地研究了非递归规则的求值、不动点计算的朴质算法、最小不动点的增量求解和基于规则变换的魔集等知识库系统的一些典型的速归查询算法，绘出了典型的知识库试验系统实例及其在图形处理与CAD、决策支持系统、专家

第一章知识库系统概论
1.1知识库系统概述
1.2知识与知识的表示
1.3知识库、知识库管理系统与知识库系统
1.4知识库系统的应用
1.5知识库系统研究趋向
第二章数学基础
2.1概述
2.2一阶逻辑、Horn逻辑与Datalog
2.3基于一阶逻辑的证明论理论
2.4基于一阶逻辑的模型论理论
2.5非经典逻辑介绍
第三章知识库系统基本原理
3.1知识与知识库
3.2