"知识库系统导论"是1999年科学出版社出版的图书,作者是徐洁磐.作品目录 第一章知识库系统概论 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 [1]