本书目录简介：第一章知识库系统概论，第二章数学基础，第三章知识库系统基本原理，第四章Datalog数据模型，第五章关于逻辑的进一步讨论，第六章魔集算法等。

第一章知识库系统概论

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数据库、演绎数据库与知识库

第四章Datalog数据模型

4.1基本概念

4.2非递归规则的求值

4.3不动点计算的朴质算法

4.4最小不动点的增量求解

4.5规则体中的否定

4.6Datalog与关系代数

第五章关于逻辑的进一步讨论

5.1带函数符号的逻辑

5.2带函数符号的逻辑的求值

5.3逻辑规则的自顶向下处理

5.4自顶向下处理的关系方法

5.5规则/目标树扩展算法

5.6规则/目标图

5.7使约鼓掌模式唯一

5.8子目标重新定序

第六章魔集算法

6.1基本魔集变换

6.2魔集算法的正确性

6.3魔集规则的有效性

6.4魔集规则的化简

6.5广义摩集

第七章线性递归查询优化

7.1右线性递归

7.2左线性递归

7.3规则的可交换性

7.4结合左、右线性的递归

7.5线性规则的计数技术

7.6递归中的合取查询包含

7.7非线性规则线性化

第八章几个典型的知识库系统

8.1NAIL!系统

8.2LDL系统

第九章知识库系统的应用

9.1概述

9.2知识库系统在图形处理及CAD中的应用

9.3知识库系统在决策支技系统中的应用

9.4知识库系统在数据库设计中的应用

9.5专家数据系统

9.6主动数据库

第十章知识库系统的发展趋势

10.1扩大知识的表示与知识处理（推理）的范围

10.2非经典逻辑、非精确推理、模糊逻辑的知识库系统

10.3知识库语言改进与扩充

10.4知识库的查询优化算法、智能检索和知识库校验算法研究

10.5知识库求精和知识库更新算法研究

10.6智能用户接口与泛关系用户接口

10.7知识获取与机器学习

10.8知识库系统结构的发展趋势

参考文献

......