第一节　人工智能的界定

第一章　绪论

一、什么是人工智能

二、人工智能的研究目标

三、人工智能中的通用问题求解方法

第二节　人工智能的学科范畴

一、人工智能的研究范畴

二、人工智能技术的应用

第三节　人工智能的研究方法

一、人工智能研究的特点

二、人工智能的研究途径

一、人工智能的发展简史

第四节　人工智能的发展简史和趋势

二、人工智能的发展趋势

本章小结

习题一

第二章　知识的产生式系统表示法

第一节　知识与知识表示的概念

一、知识

二、知识的表示

第二节　产生式表示和产生式系统

一、产生式表示的基本方法及特性

二、产生式系统的组成

三、产生式系统的推理

四、产生式系统举例

五、产生式系统的分类

六、产生式系统的特点

本章小结

习题二

第三章　知识的状态空间表示法及搜索问题讨论

第一节　状态空间表示知识

一、状态空间表示知识要点

二、状态图搜索

三、状态空间表示知识举例

第二节　搜索问题讨论

一、搜索与思维过程

二、搜索过程

二、“隐式图”求解问题的一般过程

第三节　图搜索

一、显式图与隐式图

三、广度优先搜索流程图

四、深度优先搜索流程图

第四节 回溯策略

第五节　状态空间的与／或树表示法

一、分解（与树）

二、等价变换（或树）

三、与或树

第六节　状态空间的与／或树搜索策略举例

第七节　启发式搜索

一、A算法和A算法的定义

三、A算法

二、A算法

本章小结

习题三

第四章　知识的一阶谓词逻辑表示法

第一节　一阶谓词逻辑基本理论

一、命题与联结词

二、个体词与谓词

三、量词

四、谓词公式

五、谓词公式的永真性与可满足性

六、谓词公式的等价性与永真蕴涵性

七、谓词公式的范式

八、置换与合一

第二节　确定性推理

一、推理的基本概念

二、推理方法及分类

三、推理的控制策略及分类

四、推理的冲突消解策略

第三节 自然演绎推理

第四节　归结演绎推理

一、子句集及其化简

二、海伯伦理论

三、鲁宾逊归结原理

四、命题逻辑中的归结原理

五、谓词逻辑中的归结原理

六、基于归结的问题求解方法

七、归结演绎推理的归结策略

第五节　基于规则的演绎推理

一、规则演绎推理的分类

二、规则演绎推理的剪枝策略

本章小结

习题四

第五章　知识的语义网络表示法

第一节　语义网络的基本概念

一、基本事实的表示

二、表示情况和动作

三、多元语义网络的表示

四、连接词与量词的表示

第二节　语义网络的推理（过程）

一、继承

二、匹配

第三节　语义网络表示知识的特点

本章小结

习题五

第六章　知识的框架结构表示法

第一节　框架理论概述

一、框架理论

二、框架表示知识

第二节　框架网络系统

一、框架网络

二、框架系统中的预定义槽名

一、框架表示知识下的推理方法

三、框架系统的程序语言实现

第三节　框架推理

二、槽值的计算

三、不确定性知识的框架表示

四、框架的不确定性匹配

五、框架语义网络

第四节　框架结构表示知识的特点和局限性

一、框架表示法的特点

二、框架系统的局限性

本章小结

习题六

一、什么是脚本表示知识法

第一节　脚本表示知识法

第七章　其他知识表示法

二、脚本的推理

第二节　过程表示知识法

一、什么是过程表示知识法

二、过程表示法的推理形式

三、过程表示法的应用特性

第三节　Petri网表示法

一、Petri网及其表示知识的方法

二、一个实例——使用Petri网建模的知识表示

三、Petri网表示知识的特点

第四节　面向对象表示知识法

一、面向对象知识表示概念

二、对象模型技术概述

三、面向对象知识表示与语义网络、框架系统的比较

本章小结

习题七

第八章　专家系统

第一节　专家系统的定义与分类

一、什么是专家系统

二、专家系统的产生和发展

三、专家系统的组成

四、专家系统的分类

五、专家系统的主要特征

六、专家系统的开发过程

一、知识获取的方式

第二节　知识的获取

二、知识获取的步骤

第三节　专家系统的评价

一、专家系统的评价方法

二、专家系统的评价内容

三、专家系统的评价指标

第四节　专家系统设计举例

一、动物识别系统

二、水泥回转窑生产指导专家系统

第五节　专家控制系统

一、专家控制系统的工作原理

二、专家控制系统的类型

三、直接专家控制系统

四、间接专家控制系统

五、实时专家控制系统

第六节　专家系统的开发工具

一、骨架型开发工具（专家系统外壳）

二、知识获取辅助工具

三、模块组合式开发工具

四、用于开发专家系统的程序设计语言

第七节　新一代的专家系统

一、深层知识专家系统

二、模糊专家系统

三、神经网络专家系统

七、专家系统与3S技术结合

六、与模型技术结合

五、网上（多媒体）专家系统

四、大型协同分布式专家系统

第八节　专家系统存在的问题及发展趋势

一、存在的问题

二、研究方向

本章小结

习题八

第九章　PROLOG程序设计语言

第一节　PROLOG语言概述

一、PROLOG语言发展概况

二、PROLOG语言的特点

第二节　逻辑型程序设计语言PROLOG

一、PROLOG的语句

二、PROLOG程序

三、PROLOG程序设计基础

四、Turbo PROLOG程序设计

第三节　PROLOG的语法与数据结构

一、PROLOG语法

二、结构与树

三、表处理与递归

四、动态数据库

第四节　PROLOG的系统谓词

一、算术运算谓词

二、函数性谓词

三、比较运算谓词

四、输入与输出谓词

六、分类项谓词

五、文件处理谓词

第五节　PROLOG的搜索控制

一、PROLOG的搜索和回溯

二、PROLOG的搜索控制谓词

第六节　PROLOG程序设计举例

一、PROLOG简单程序设计

二、量水问题

三、梵塔问题

四、八皇后问题

本章小结

习题九

参考文献