下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
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. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2024年证券经纪代理与营业部服务项目建议书
- 2024年混凝土外加剂项目建议书
- 2024年食品安全大数据项目发展计划
- 2024年冷芯盒树脂项目发展计划
- 微电影与旅游营销初步研究分析
- 2024年超高压电缆连接件项目发展计划
- 班级建设中的家长参与模式计划
- 医院安全管理与风险评估总结与规划计划
- 2024年鼻毛修剪器项目发展计划
- 个人装修贷款协议三篇
- 国家开放大学《审计学》形考任务参考答案
- 中国软件行业基准数据报告(SSM-BK-202409)
- 幼儿园学前班数学《8的加减法》课件
- 人教PEP版英语五上《Unit 3 What would you like》教学设计
- 第十三章 轴对称压轴题考点训练(解析版)-2024年常考压轴题攻略(8年级上册人教版)
- 储能项目工具【Excel计算表】用户侧储能电站投资收益分析表(修正版)
- 公司国际贸易业务管理办法模板
- 专题06线段的垂直平分线与角平分线(原卷版+解析)(重点突围)
- 2024年秋八年级物理上册 第三章 第1节 温度教案 (新版)新人教版
- 2024年乙方房屋租赁合同
- JT-T-617.6-2018危险货物道路运输规则第6部分:装卸条件及作业要求
评论
0/150
提交评论