人工智能系统原理与设计PDF电子书下载
- 电子书积分:10 积分如何计算积分?
- 作 者:胡运发,高洪奎编著
- 出 版 社:长沙:国防科技大学出版社
- 出版年份:1988
- ISBN:7810240285
- 页数:227 页
第一章 人工智能引论 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
- 《第一性原理方法及应用》李青坤著 2019
- 《计算机组成原理解题参考 第7版》张基温 2017
- 《高等院校保险学专业系列教材 保险学原理与实务》林佳依责任编辑;(中国)牟晓伟,李彤宇 2019
- 《刑法归责原理的规范化展开》陈璇著 2019
- 《教师教育系列教材 心理学原理与应用 第2版 视频版》郑红,倪嘉波,刘亨荣编;陈冬梅责编 2020
- 《单片机原理及应用》庄友谊 2020
- 《通信电子电路原理及仿真设计》叶建芳 2019
- 《智能制造高技能人才培养规划丛书 ABB工业机器人虚拟仿真教程》(中国)工控帮教研组 2019
- 《计算机组成原理 第2版》任国林 2018
- 《化工原理课程设计》刘建周主编 2018
- 《市政工程基础》杨岚编著 2009
- 《家畜百宝 猪、牛、羊、鸡的综合利用》山西省商业厅组织技术处编著 1959
- 《《道德经》200句》崇贤书院编著 2018
- 《高级英语阅读与听说教程》刘秀梅编著 2019
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《看图自学吉他弹唱教程》陈飞编著 2019
- 《法语词汇认知联想记忆法》刘莲编著 2020
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社,课程教材研究所,特殊教育课程教材研究中心编著 2019
- 《国家社科基金项目申报规范 技巧与案例 第3版 2020》文传浩,夏宇编著 2019
- 《流体力学》张扬军,彭杰,诸葛伟林编著 2019