图书介绍

人工智能系统原理与设计PDF|Epub|txt|kindle电子书版本网盘下载

人工智能系统原理与设计
  • 胡运发，高洪奎编著 著
  • 出版社： 长沙：国防科技大学出版社
  • ISBN：7810240285
  • 出版时间：1988
  • 标注页数：227页
  • 文件大小：9MB
  • 文件页数：236页
  • 主题词：人工智能(学科: 理论) 人工智能(学科: 设计)

PDF下载


点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢]  [在线试读本书]   [在线获取解压码]
点击复制MD5值：17c579b42556b3ca5de9bbcd1355949a

下载说明

人工智能系统原理与设计PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载  详情点击-查看共享计划
建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

第一章 人工智能引论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

热门推荐