人工智能原理与技术PDF电子书下载

目录 1

1Lisp语言基础 8

1.1符号表达式与表 8

1.2Lisp的程序结构及其特点 10

1.3表处理函数 14

1.4算术与逻辑运算函数 17

1.5赋值与求值函数 19

1.6控制函数 20

1.7函数定义 25

1.8性质表及其操作函数 30

1.9映射函数 32

1.10递归 35

1.11输入与输出 37

1.12原子的生成与分解函数 42

1.13例子 43

2一阶谓词逻辑 51

2.1命题及逻辑联结词 51

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

2.3对偶原理 61

2.4析取范式与合取范式 65

2.5逻辑推理 69

2.6命题演算的王浩算法 71

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

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

2.9自由变元与约束变元 86

2.10谓词公式的等值 89

2.11前束范式 93

3归结原理 99

3.1斯柯伦标准型 99

3.2子句集的H全域 103

3.3基本定理 107

3.4D-P(Davis＆Putnam)方法 110

3.5一致化算法 113

3.6归结方法 116

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

3.8例子 122

3.9应用 125

3.10归结方法的Lisp实现 130

4Prolog语言简介 145

4.1Horn子句集归结 145

4.2Prolog语言 148

4.3内部谓词 155

4.4例子 159

5问题求解 165

5.1状态空间 165

5.2问题归约 169

5.3产生式系统 175

5.4约束满足法 179

5.5八数码问题的Lisp实现 183

6.1状态空间的盲目搜索 191

6搜索 191

6.2启发式搜索法 201

6.3A*算法的可采纳性 205

6.4与／或树搜索 211

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

6.6博弈树搜索 229

6.7一字棋博弈的Lisp实现 237

7知识表达与推理技术 247

7.1知识的特征描述 247

7.2框架 248

7.3语义网络 257

7.4脚本 261

7.5产生式规则 264

7.6评述 271

8专家系统 275

8.1专家系统的任务与特征 275

8.2专家系统脆弱性 280

8.3专家系统结构 292

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

9神经元网络 301

9.1神经元网络简介 301

9.2简单的线性模型 311

9.3线性阈值网络 320

9.4反向传播网络 331

9.5Hopfield网络模型 335

9.6Boltzmann机 347

9.7其它的神经元网络模型 355

9.8评述 362

9.9神经元网络的应用 364

10专家系统构造工具DIPS 375

10.1DIPS概述 375

10.2DIPS的知识表达 383

10.3DIPS的控制策略及推理机 404

10.4用DIPS建立专家系统 409

10.5DIPS的解释机制 430

附录1 DIPS的系统函数 443

11附录 443

附录2 DIPS的系统调用 448

12思考题 453

思考题一 453

思考题二 456

思考题三 457

思考题四 460

思考题五 461

思考题六 461

思考题七 463

思考题八 464

思考题九 465

参考文献 468