计算机自动推理与智能教学2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

计算机自动推理与智能教学PDF格式电子书版下载

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

第一篇　基础篇第1章　数理逻辑的本质3

1.1　什么是数理逻辑3

1.2　公理系统4

1.3　形式系统6

1.4　语法变元8

第2章　一阶理论9

2.1　函数与谓词9

2.1.1　非逻辑概念的引入9

2.1.2　函数10

2.1.3　谓词10

2.2　真值函数10

2.2.1　命题和命题连接词10

2.2.2　真值函数12

2.2.3　命题连接词的完全性与独立性13

2.3　变元与量词17

2.3.1　个体变元17

2.3.2　量词18

2.3.3　量词的归约18

2.3.4　自由出现与约束出现19

2.3.5　数学命题符号化19

2.4　一阶语言20

2.4.1　定义20

2.4.2　一阶语言由它的非逻辑符号完全确定21

2.4.3　几种归纳证明21

2.4.4　指称式21

2.4.5　形成定理22

2.4.6　出现定理23

2.4.7　可代入问题（subititutible）24

2.4.8　定义符号25

2.5　结构26

2.5.1　结构定义26

2.5.2　公式A在α中有效26

2.5.3　L（α）的无变元项27

2.6　逻辑公理和逻辑规则29

2.6.1　逻辑公理、非逻辑公理29

2.6.2　逻辑规则、非逻辑规则29

2.6.3　一组逻辑公理和逻辑规则30

2.6.4　一阶理论32

2.6.5　T的模型32

2.6.6　有效性定理33

2.6.7　一阶理论T的系统特征33

2.6.8　命题逻辑的形式推证34

第3章　一阶理论的定理37

3.1　重言式定理37

3.1.1　重言式37

3.1.2　重言式定理39

3.1.3　重言式定理应用于判定重言式的方法40

3.1.4　T的定理的广义归纳定义41

3.2　关于量词的结果42

3.3　演绎定理45

3.3.1　演绎定理45

3.3.2　关于常元的定理47

3.4　等价定理和相等定理48

3.5　前束式52

3.5.1　记号和定义53

3.5.2　前束运算53

3.5.3　前束式存在定理53

3.5.4　前束定理54

3.5.5　附加前束运算55

3.6　完全性定理56

3.6.1　特征问题56

3.6.2　有关定义57

3.6.3　归约定理58

3.6.4　协调型归约定理59

3.6.5　完全性定理60

3.6.6　第Ⅱ型完全性定理可以推出第Ⅰ型完全性定理60

第二篇 程序设计篇第4章　Prolog语言概述及Visual Prolog的使用环境65

4.1　Prolog语言的产生和发展65

4.2　Visual Prolog的使用66

4.2.1　Visual Prolog的使用环境66

4.2.2　Visual Prolog Environment开始66

4.2.3　运行和测试一个程序66

4.2.4　从磁盘中载入例子67

4.2.5　处理错误67

第5章　Prolog基本原理68

5.1　逻辑设计68

5.1.1　句子68

5.1.2　询问70

5.1.3　变量72

5.1.4　小结72

5.2　从自然语言到Prolog程序73

5.2.1　子句73

5.2.2　谓词76

5.2.3　变量76

5.2.4 目标79

5.2.5　注解81

5.2.6　匹配82

第6章　Visual Prolog程序设计83

6.1　Visual Prolog程序设计基础83

6.1.1　子句部分83

6.1.2　谓词部分83

6.1.3　域部分85

6.1.4 目标部分87

6.1.5　详细介绍声明和规则88

6.1.6　谓词声明中的类型参数89

6.1.7　多重的arity90

6.1.8　规则句法91

6.1.9　自动类型转化92

6.2　其他程序部分92

6.2.1　事实节92

6.2.2　常数节92

6.2.3　全局部分93

6.2.4　编译器93

6.3　小结94

第7章　统一和回溯95

7.1　统一95

7.2 回溯97

7.2.1　Visual Prolog的解决办法99

7.2.2　对回溯的详细查看101

7.2.3　回溯的四项基本原则102

7.2.4　回溯103

7.2.5　搜寻解决办法的控制106

7.2.6　决定论和截断110

7.3　过程观点看Prolog115

7.3.1　规则和事实115

7.3.2　规则和case语句115

7.3.3　在规则内部执行调试116

7.3.4　截断与goto语句116

7.3.5　返回计算值117

7.4　小结119

第8章　单一和复合对象120

8.1　单一数据对象120

8.1.1　数据对象变量120

8.1.2　数据对象常量120

8.2　复合数据对象和算符122

8.2.1　复合数据对象的统一122

8.2.2　将多条消息看作一个整体123

8.2.3　复合对象的声明域127

8.2.4　复合混合域的声明130

8.3　小结131

第9章　循环和递归132

9.1　重复过程132

9.1.1　再论回溯133

9.1.2　用循环实现“回溯”134

9.2　递归程序135

9.3　尾部递归最优化137

9.4　利用参数作为循环变量138

第10章　表和递归141

10.1　什么是表141

10.1.1　表的声明142

10.1.2　头部和尾部142

10.2　表的处理143

10.3　表的使用144

10.3.1　表的书写144

10.3.2　统计表元素145

10.3.3　尾部递归146

10.3.4　表的成员147

10.3.5　表合并148

第11章　算术和比较149

11.1　数学表达式149

11.1.1　运算149

11.1.2　计算顺序150

11.2　函数和谓词150

11.2.1　产生随机数151

11.2.2　整型和实型算术152

11.3　比较155

11.3.1　等价谓词155

11.3.2　比较字符、字符串、符号158

第12章　类和对象159

12.1　对象机制159

12.2　Visual Prolog类160

12.2.1　类声明160

12.2.2　类实现160

12.3　类的实例——对象161

12.4　类域162

12.5　子类和继承163

12.6　虚谓词164

12.7　类的作用范围166

12.8　构造函数和析构函数167

12.9　指向对象自己的指针（this指针）168

12.10　抽象类169

12.11　继承类的访问控制170

第13章　高级技术170

13.1　流量分析171

13.1.1　复合流172

13.1.2　给谓词指定流模式172

13.1.3　控制流量分析173

13.1.4　参考变量174

13.1.5　参考域声明175

13.1.6　使用参考域176

13.1.7　再谈流模式177

13.1.8　使用二元树和参考域177

13.1.9　利用参考域检索179

13.2　函数和返回值180

13.3　Visual Prolog中确定性监控182

13.4　谓词作为参数184

13.5　二元域189

13.5.1　二进制项的执行189

13.5.2　二进制项的文本形式语法189

13.5.3　创建二进制项190

13.5.4　访问二进制项191

13.5.5　二进制项的一致化191

13.5.6　例子191

13.5.7　将一般项转化为二进制项193

13.6　错误和异常处理194

13.6.1　异常处理和错误捕获194

13.6.2　错误报告197

13.6.3　处理术语阅读器的错误198

13.6.4　中断控制199

13.7　动态切除200

13.8　类型自由转换201

13.9　程序风格202

第14章　文件操作谓词204

14.1　写谓词和读谓词205

14.1.1　写谓词205

14.1.2　读入212

14.1.3　二进制块传输215

14.2　Visual Prolog的文件系统216

14.2.1　打开和关闭文件216

14.2.2　重新传入标准的输入／输出219

14.2.3　文件操作219

第15章　系统高级编程222

15.1　访问操作系统223

15.2　定时服务225

15.3　位级操作227

15.4　使用硬件：低等级支持228

15.5　小结231

第16章　Prolog程序实例231

16.1　建立一个小型的专家系统232

16.2　一个简单的路由问题236

16.3　危险洞穴的冒险238

16.4　硬件仿真240

16.5　汉诺塔242

16.6　拆分单词成音节243

16.7　N皇后问题247

第17章　语言的基础250

17.1　命名250

17.2　程序段251

17.2.1　域部分251

17.2.2　谓词部件254

17.2.3　数据库部件255

17.2.4　子句部件256

17.2.5　常量部件258

17.2.6　有条件的编译260

17.3　在程序中加入文件261

17.4　模块和全局编程结构261

17.5　Visual Prolog内存管理264

17.6　模块化程序设计265

第三篇 应用篇第18章　专家系统271

18.1　专家系统基础271

18.1.1　专家系统概述271

18.1.2　专家系统的特点及优点271

18.1.3　专家系统的结构与类型272

18.1.4　建造专家系统的步骤与设计技巧274

18.1.5　新型专家系统276

18.2　专家控制系统277

18.2.1　专家控制系统的控制要求与设计原则277

18.2.2　专家控制系统的结构279

18.2.3　专家控制系统的类型280

18.3　实时专家控制系统281

18.4　小结282

第19章　知识表示282

19.1　单元表示283

19.2　语义网络287

19.3　概念从属289

19.4　框架293

19.5　脚本296

19.6　过程表示298

19.7　小结300

第20章　教育专家系统301

20.1　教育专家系统概述301

20.1.1　教育专家系统对教育的影响301

20.1.2　教育专家系统的结构302

20.1.3　教育专家系统的现状304

20.2　智能CAI304

20.2.1　智能CAI的兴起与发展304

20.2.2　ICAI基本结构与原理306

20.2.3　ICAI经典例子306

20.3　应用实例307

20.3.1　研究生工作评价与决策专家系统307

20.3.2　智能导航学习系统308

20.3.3　考试统计与评价专家系统310