第一章 人工智能引论 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附加的控制机制——CUT 55
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