逻辑程序设计原理和方法PDF电子书下载

目 录 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-PROLOG 134

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专家系统外壳APES 235

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