基于谓词逻辑的归结原理研究_第1页
基于谓词逻辑的归结原理研究_第2页
基于谓词逻辑的归结原理研究_第3页
基于谓词逻辑的归结原理研究_第4页
全文预览已结束

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

1、 56 敖友云 | 基于谓词逻辑的归结原理研究 2 卢延鑫. 经典逻辑在人工智能知识推理中的应用J. 软件导 刊, 2008, 7(1: 22-24. 3 潘美芹, 丁志军, 王永丽. 谓词逻辑推理中证明方法的判定 J. 山东科技大学学报(自然科学版, 2005, 24(4: 84-86. 4 J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the ACM, 1965, 12(1: 46-54. 5 肖启莉, 肖启敏 . 归结原理及其应用J. 计算机与数字工程, 200

2、7, 35(5: 183, 187. 6 杨球 , 孙宝林 . 归结原理及其在数学定理证明中的应用 J. 武汉交通科技大学学报, 2000, 24(4: 417-420. 7 E. Rich, K. Knight. Artificial intelligence (Second Edition. New York: McGraw Hill, 1991. 8 刘云霞, 王迤冉, 宋玉杰. 谓词逻辑描述下的归结推理方法 J. 周口师范学院学报, 2003, 20(2: 63-66. 9 王文杰, 史忠植 . 人工智能原理辅导与练习M. 北京 : 清华 大学出版社, 2007. 10 D. Luck

3、ham, N. J. Nilsson. Extracting information from resolution proof trees. Artificial Intelligence, 1971, 2(1: 27-54. 械实现的逻辑推理技术，是实现自动推理证明的主要 途径。本文分析了基于谓词逻辑的归结原理的基本思 想、相关的推理技术及归结策略，并通过实例讨论了 利用基于谓词逻辑的归结原理证明和求解问题的方法 及步骤。研究基于谓词逻辑的归结原理在机器上的实 现技术；利用基于谓词逻辑的归结原理证明和求解一 系列实际生活或生产中的问题；进一步扩充基于谓词 逻辑的归结原理并用于处理不确定性知识等都是有意 义的研究方向。 参考文献 (References 1 C. L. Chang, R. C. Lee. Symbolic logic and mechanical theorem proving. New York: Ac

人人文库> 全部分类> 教育资料 > 课件下载

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论