《人工智能系统原理与设计》求取 ⇩

第一章人工智能引论1

1.1人工智能的对象1

1.2人工智能的基本假设1

1.3人工智能的技术特征2

1.4人工智能的目标和衡量标准4

1.5正确看待人工智能5

第二章建立人工智能系统的基本原理7

2.1把问题求解定义为状态空间搜索7

2.2搜索的基本问题9

2.2.1正向推理与逆向推理9

2.2.2问题树与问题图12

2.2.3知识表达与框架问题13

2.2.4匹配14

2.2.5启发式函数17

2.3基本的搜索方法18

2.3.1生成测试法19

2.3.2广度优先搜索法20

2.3.3或图最佳优先搜索法20

2.3.4日程表最佳优先搜索法24

2.3.5与或图最佳优先搜索法26

2.4搜索算法分析31

2.5通用的搜索系统32

练习二34

第三章通用搜索求解系统的原理和方法36

3.1Horn逻辑系统的语法36

3.2Horn逻辑的形式化说明性语义38

3.2.1Horn逻辑的模型论38

3.2.2最小H-模型的不动点刻画41

3.3Horn逻辑的过程语义43

3.3.1变量置换和一致化算法44

3.3.2SLD归结法的正确性47

3.3.3SLD归结法的完备性与SLD树49

3.4.1PROLOG的语法和非形式的说明性定义51

3.4一个实际的Horn逻辑系统——PROLOG系统51

3.4.2PROLOG的运行方式52

3.4.3附加的控制机制——CUT55

3.4.4否定信息的处理57

3.5通用符号处理语言LISP综述58

3.5.1数据结构58

3.5.2程序结构58

3.5.3对S表达式的基本运算61

3.5.4树结构63

3.5.5表64

3.5.6映射函数66

3.5.7λ表达式66

3.5.8原子67

3.5.9LISP内部数据结构68

3.5.10相等性问题70

3.5.11局部变量和自由变量71

3.6用LlSP语言作工具设计通用问题求解系统——PROLOG系统72

3.6.1PROLOG用户界面模块的设计73

3.6.2定义和修改子句模块的设计75

3.6.3问题求解模块的设计76

练习三80

第四章专家系统设计原理和方法81

4.1专家系统概述81

4.1.1基本专家系统结构81

4.1.2理想专家系统结构82

4.2.1表处理功能的设计84

4.2符号处理功能的设计84

4.2.2符号微分86

4.3一般问题求解功能的设计89

4.3.1图搜索89

4.3.2A*算法的实现91

4.4专家系统解释界面的设计94

4.5不精确推理机的设计101

4.5.1不同的不精确推理方法概述101

4.5.2不精确推理的实现103

练习四106

第五章启发式定理证明器的设计108

5.1直接采用PROLOG作为定理证明器108

5.2一个启发式定理证明器的设计109

5.3利用启发式语义信息的定理证明器113

练习五117

第六章多种知识表达和推理118

6.1引言118

6.2.1语义网119

6.2多种知识表达形式119

6.2.2框架结构120

6.2.3脚本121

6.2.4对象表达方式122

6.3知识表达的需求和主要框架123

6.3.1知识表达的需求123

6.3.2谓词逻辑是知识表达的主要框架124

6.4.1PROLOG的元级扩充125

6.4多种知识表达与推理的PROLOG实现125

6.4.2框架表达与推理的实现127

6.4.3语义网与脚本的实现129

6.4.4对象表达方式的实现131

第七章知识库系统131

7.1知识库系统概述131

练习六132

7.1.1知识获取概念137

7.2知识消化系统138

7.2.1知识消化的概念139

7.2.2元推理和演绎机制141

7.2.3知识消化的实现141

7.3知识调节系统149

7.3.1Shapiro程序调试的三个算法149

7.3.2模型推理系统156

7.3.3知识调节的实现和实例161

7.4.1KBS-1系统164

7.4知识库举例164

7.4.2KAUS系统166

7.4.3百科知识处理系统167

练习七167

第八章自然语言理解系统169

8.1词法分析169

8.2文法规则记号系统——语法分析程序的构造工具171

8.2.1文法规则记号系统171

8.2.2文法规则记号系统的扩充173

8.3语义分析176

8.4实用的自然语言子集177

8.4.1较为完善的语法描述177

8.4.2语义定义和生成179

8.5简单的自然语言问答系统181

8.5.1由谓词parse表达的句法分析能力181

8.5.2由谓词clausify表达的生成子句的能力181

8.5.3由谓词reply表达的回答功能182

练习八183

第九章规划求解系统184

9.1规划184

9.2规划系统的组成185

9.3实现规划求解系统的基本方法187

9.3.1用目标栈的简单规划187

9.3.2用最小提交策略的非线性规划192

9.4一个通用规划求解系统的实现195

9.4.1世界描述195

9.4.2通用规划系统的PROLOG实现198

练习九203

附录一 GKD-PROLOG/VAX780内部谓词表204

附录二 一个完善的专家系统界面程序206

附录三 启发式定理证明器程序211

附录四 适合多种知识表达的元级谓词定义215

附录五 自然语言问答系统程序217

参考文献227