《逻辑程序设计原理和方法》求取 ⇩

目 录1

第一章导言1

第二章符号逻辑导引12

2.1命题逻辑12

2.2一阶逻辑16

2.3逻辑推论25

2.4符号逻辑中的标准型27

2.5一阶逻辑的应用33

第三章Herbrand定理36

3.1 Skolem标准型36

3.2 Herbrand解释43

3.3语义树49

3.4 Herbrand定理52

3.5 Herbrand定理的实现55

4.1命题逻辑的归结原理61

第四章归结原理61

4.2取代和一致化64

4.3一致化算法67

4.4一阶逻辑的归结原理71

4.5归结原理的完全性76

4.6 归结原理应用示例80

4.7删除策略84

5.1语义归结导引91

第五章语义归结91

5.2语义归结的定义94

5.3语义归结的完全性97

5.4超归结和支撑集合策略——语义归结的特殊情况99

第六章Horn短句与逻辑程序104

6.1 Horn短句的归结原理104

6.2输入反驳110

6.3单位反驳113

6.4逻辑程序116

7.1基本语法134

第七章Micro-PROLOG134

7.2扩充Horn短句141

7.3表格处理与语法分析154

7.4某些语用考虑165

7.5元逻辑程序设计174

7.6 Micro-PROLOG的标准语法184

第八章专家系统的实现196

8.1专家系统导引196

8.2 MYCIN的不精确推理204

8.3知识表示和人－机交互217

8.4实现解释功能225

8.5专家系统外壳APES235

8.6在法律中的应用254

第九章逻辑程序的若干问题265

9.1不确定性265

9.2“当”型定义272

9.3可证明性关系282

9.4信息吸收292

第十章逻辑程序的语义299

10.1过程语义299

10.2模型论语义301

10.3不动点语义304

10.4模型论语义和不动点语义306

10.5过程语义和不动点语义307

11.1 与－并行——单解关系312

第十一章PARLOG：并行逻辑程序设计312

11.2惰性计算和受限缓冲器进程328

11.3或－并行——全解关系337

11.4元级程序设计344

11.5结语346

第十二章综述347

12.1计算理论347

12.2计算实践353

12.3计算技术365