书籍介绍
知识库系统”是人工智能的一个重要分支,是近年来发展起来的一门综合性的新兴学科。随着计算机科学技术和人工智能技术的迅速发展,基于知识的智能系统已在工业、农业、军事和科教等国民经济领域得到广泛应用;与此同时,人们对智能系统的要求和期望也越来越高,迫切希望它们能有效地解决更加复杂的问题。实践证明,任何一个智能系统的行为都离不开知识,如何合理地存贮、组织、管理、应用和共享知识是所有智能系统深入发展所面临的共同问题。本书以知识库系统的发展为主线,结合知识处理和数据库技术的最新成果,全面地介绍了知识库系统的基础理论、技术进展、现有成就和今后的发展趋势。本书第l章是知识库系统的概还,简要介绍了知识和知识库的定义、知识库系统的结构和相关的技术,使读者对本书有一个全面的了解。一阶谓词逻辑语言是最基本的知识表示工具,也是逻辑程序设计的基础,第2章在扼要阐述一阶谓词逻辑原理的基础上介绍了近十余年发展起来的非经典逻辑及其在知识库系统中的应用。