计算机自动推理与智能教学

本书主要介绍计算机自动推理的理论基础数理逻辑及以此理论为基础的人工智能语言PROLOG语言，并在此基础上介绍了计算机自动推理理论在教育中应用（即智能教学ICAI）的基本原理、结构及其方法。它是作者多年在教学和科研中成果的总结。主要内容包括三大部分：一、基础篇，本篇主要介绍的是数理逻辑的基本理论和本质，重点介绍了一阶谓词逻辑；二、程序设计篇，本篇主要介绍的是基于一阶谓词逻辑的人工智能语言PROLOG语言，运用大量实例讲解了当今最新的Visual Prolog的基本原理和程序设计方法；三、应用篇，本篇主要介绍的是运用计算机自动推理的理论实现在教育中的应用，介绍了智能教学系统设计开发的方法。本数第一篇的理论有一定的深度，第二、三篇安排了大量的例题，使读者在读完该书后可独立编写程序。