导读：建立人工智能的数学体系——介绍《Logical Foundations of Artificial Intelligence》nbsp;nbsp;nbsp;nbsp;nbsp;nbsp;nbsp; 在人工智能三十 ... ,科学网...
新版共六章，按数学基础（第一章），逻辑程序理论（第二、三、四、六章）和在数据库中的应用（第五章）三个主题展开。每章之后都附有许多习题，书末给出了有关的112篇参考文献。第一章：准备知识，在简洁介绍逻辑程序的发展史后，作者给出了逻辑程序的数学基础概念和理论，即一阶理论、解释与模型。合一算法和不定点理论，其中与逻辑程序最密切相关的概念是逻辑结论，Herbrand解释与模型，完全格点上的映射的最大与最小不动点，和限定程序，即体（body）全为肯定文字的程序语句的有限集合。第二章，限定程序（Definite Programs），本章讨论了限定程序设计理论的最基本材料。可以说，掌握了本章的内容，对Prolog的理论实质就清楚了。限定程序的陈述性定义是由其最小Herbrand模型刻画的。本章首先证明了一个限定程序的最小Herbrand模型恰好是其基本原子逻辑结论的结合，并且等于其Kowalski映射的最小不动点。在陈述性语义中，一个限定程序和限定目标的输出是由正确答案，即程序和目标的逻辑结论来描述的，而在过程语句中与之对应的概念是计算答案。过程语义由SLD（亦称LUSH）归结原理所定义的。本章证明了每一个计算答案都是正
