目录

1Lisp语言基础

1.1符号表达式与表

1.2Lisp的程序结构及其特点

1.3表处理函数

1.4算术与逻辑运算函数

1.5赋值与求值函数

1.6控制函数

1.7函数定义

1.8性质表及其操作函数

1.9映射函数

1.10递归

1.11输入与输出

1.12原子的生成与分解函数

1.13例子

2一阶谓词逻辑

2.1命题及逻辑联结词

2.2命题公式的永真性与等值

2.3对偶原理

2.4析取范式与合取范式

2.5逻辑推理

2.6命题演算的王浩算法

2.7一阶谓词逻辑的基本概念

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

2.9自由变元与约束变元

2.10谓词公式的等值

2.11前束范式

3归结原理

3.1斯柯伦标准型

3.2子句集的H全域

3.3基本定理

3.4D-P(Davis＆Putnam)方法

3.5一致化算法

3.6归结方法

3.7归结方法的可靠性与完备性

3.8例子

3.9应用

3.10归结方法的Lisp实现

4Prolog语言简介

4.1Horn子句集归结

4.2Prolog语言

4.3内部谓词

4.4例子

5问题求解

5.1状态空间

5.2问题归约

5.3产生式系统

5.4约束满足法

5.5八数码问题的Lisp实现

6.1状态空间的盲目搜索

6搜索

6.2启发式搜索法

6.3A*算法的可采纳性

6.4与／或树搜索

6.5与／或图的一种启发式搜索算法AO

6.6博弈树搜索

6.7一字棋博弈的Lisp实现

7知识表达与推理技术

7.1知识的特征描述

7.2框架

7.3语义网络

7.4脚本

7.5产生式规则

7.6评述

8专家系统

8.1专家系统的任务与特征

8.2专家系统脆弱性

8.3专家系统结构

8.4建立专家系统的步骤与方法

9神经元网络

9.1神经元网络简介

9.2简单的线性模型

9.3线性阈值网络

9.4反向传播网络

9.5Hopfield网络模型

9.6Boltzmann机

9.7其它的神经元网络模型

9.8评述

9.9神经元网络的应用

10专家系统构造工具DIPS

10.1DIPS概述

10.2DIPS的知识表达

10.3DIPS的控制策略及推理机

10.4用DIPS建立专家系统

10.5DIPS的解释机制

附录1 DIPS的系统函数

11附录

附录2 DIPS的系统调用

12思考题

思考题一

思考题二

思考题三

思考题四

思考题五

思考题六

思考题七

思考题八

思考题九

参考文献