热门文档
- 2022-09-18 20:22:00 中国人为什么看不起中国人 张鸣
- 2023-04-19 15:04:26 《千家妙方 上册 1982年》(李文亮等编)
- 2023-10-13 17:09:40 楚辞 中华传统诗词经典 可复制-李山-9787101097528
- 2022-09-18 20:22:00 中国兵法之起源 编委会
- 2022-11-24 16:17:09 《性体验与性爱心理》尤里-谢尔巴特赫
- 2022-11-24 16:17:09 《性爱健康指南》石四维编著
- 2023-10-13 17:09:40 超速学习：我这样做，一个月学会素描，一年学会四种语言，完成MIT四年课程-斯科特·扬著，林慈敏译-9789861755533
- 2023-10-13 17:09:40 初中诗词格律读本 可复制-周建忠 徐乃为 王业强编著-9787101121704
- 2022-09-18 19:48:57 心理催眠术 迈克尔.赫普,温迪.德雷顿著
- 2023-10-13 17:09:40 曾国藩家书 中华经典藏书(升级版)可复制-檀作文译注-9787101115482
- 2023-10-13 17:09:40 菜根谭 中华经典藏书(升级版)可复制-杨春俏译注-9787101115611
- 2023-01-11 15:23:39 孔子学院传播研究_刘程 安然著_9787516112922
1、本文档共计 383 页，下载后文档不带www.pdfdz.com水印，支持完整阅读内容。
2、古籍基本都为PDF扫描版，所以文档不支持编辑功能，即不支持文档内文字的复制粘贴。
3、当您付费下载文档后，您只拥有了使用权限，并不意味着购买了版权，文档只能用于自身使用，不得用于其他商业用途（如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利）。
4、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。
5、如文档内容存在违规，或者侵犯商业秘密、侵犯著作权等，请点击“违规举报”。
2、古籍基本都为PDF扫描版，所以文档不支持编辑功能，即不支持文档内文字的复制粘贴。
3、当您付费下载文档后，您只拥有了使用权限，并不意味着购买了版权，文档只能用于自身使用，不得用于其他商业用途（如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利）。
4、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。
5、如文档内容存在违规，或者侵犯商业秘密、侵犯著作权等，请点击“违规举报”。
i应用Herbrand定理实现机械定理证明的方法。第四章介绍J.A.Robinson在1965年发现的“归结原理”，并且说明了“归结原理”是一种强有力的机械推理规则。第五章给出了“语义归结”，对归结原理的实现效率做了改进。本章还介绍了适于计算机实现的儿种机械定理证明方法。第六章引入了Horn短句概念，按“Horn短句归结定理证明器”描述了逻辑程序的语法和执行机制。第七章介绍逻辑程序设计语言Micro-PROLOG,细致的讨论了用PROLOG语言进行程序设计的主要特点和技巧。第八章介绍基于规则的专家系统，以及用Micro-PROLOG实现专家系统时的一些技巧问题。本章还给出了…个专家系统开发工具APES以及用APES实现的一个专家系统。第九章讨论逻辑程序设计中的不确定性，并行性，元级语言和目标级语言，可证明性关系等问题。第十章介绍逻辑程序的过程语义，模型论语义，和不动点语义，以及它们之间的关系。第十一章介绍并行逻辑程序设计语言PARLOG,引入了“急性计算”和“惰性计算”等概念。最后一章综述逻辑程序设计的更广泛内容及其对计算机科学的贡献。1987.5目录第一章导第二章符号逻辑导引第三章Herbrand定理3.5 Herbrand定理的实现4…………55第四章归结原理。第五章语义归结5.2语义归结的定义…
