学位论文 > 优秀研究生学位论文题录展示
集合论等式型定理机器证明系统的研究与开发
作 者: 汤晓凌
导 师: 曾振柄
学 校: 华东师范大学
专 业: 软件工程
关键词: 人工智能 定理机器证明 数学机械化 集合论 可读证明
分类号: TP181
类 型: 硕士论文
年 份: 2006年
下 载: 73次
引 用: 0次
阅 读: 论文下载
内容摘要
定理机器证明的研究已有将近50年的历史,并已经在数理逻辑、初等代数和几何学等学科取得显著成功。关于集合论的定理机器证明研究,有关文献报道用布尔代数的方法可以把集合论的定理证明问题转化为代数问题,但是这类问题的可读证明方法,目前尚未查到有关报道。许多国内外的著名数学软件中,集合论等式型定理的推理方面的功能也比较弱。本论文以人工智能中的搜索算法为基础,研究集合论等式型定理可读证明的机械化方法。 本课题所做的工作包括: 1、通过比较各种搜索算法,选择了盲目搜索算法中渐进最优的迭代加深算法构建推理树,并作了必要的改良,以加速搜索路径的产生。 2、通过研究手工证明和专家经验,总结出几条启发式的规则引导搜索:根据使用频率将公式重新排序;添加了公式反向使用规则;判断左右式长短以决定证明方向;分析结果倒序进栈以保证大的匹配结果优先扩展。 3、利用编程语言Lisp的特点,寻找了一些适合计算机处理的方法,如推理的内部数据用前缀形式。 4、使用了一些方法加速调试,如:先用其他易输入的半角符号代替难输入的全角集合运算符,调通程序;先缩小规模,验证程序的执行过程;运用注解方便测试与修改;如果真实数据过于复杂或难以获得,第一遍采用仿真数据测试,将复杂结果与变量输出到文件监视。 5、采取一些措施,产生详细推理说明。在每一步代换推理前,记录所用的规则以及使用该规则的理由。 6、通过比较数理逻辑和集合论相关的规则,将定理分类推理,基本定理作为经验常识,直接输出结果,不需要说明,加快了证明速度。这一设计可以让宏运算不必都化成基本定理推理,简化证明过程。 本文前三章介绍本课题所涉及的相关的理论以及本文工作构想。第四章引入易于分析和设计修改的PAD图,介绍主程序和处理边界问题的程序。第五章以系统的三个核心程序为例,用可以推广的方式探讨了调试技巧。最后作者指出了本文工作进一步努力的方向:增加搜索策略的灵活性、启发函数和学习功能以及研究规则库和搜索策略的动态调整方法。
|
全文目录
第1章 问题背景 6-17 1.1 智能模拟的历史回顾 6-13 1.2 集合论基本知识 13-15 1.3 数理逻辑基本知识 15-17 第2章 求解方法 17-29 2.1 人工智能概述 17-21 2.2 定理机器证明 21-23 2.3 数学机械化 23-29 第3章 实现方法 29-33 3.1 专家系统 29-31 3.2 Lisp环境简介 31-33 第4章 系统设计 33-45 4.1 概要设计 33-40 4.2 详细设计 40-45 第5章 编程与调试 45-56 5.1 分析模块 45-47 5.2 一步推理模块 47-50 5.3 迭代加深模块 50-56 第6章 结论与展望 56-62 6.1 结论 56-59 6.2 展望 59-62 参考文献 62-65 附录 65-87 致谢 87
|
相似论文
- 人工智能的哲学思考,TP18
- 基于证据理论和云模型的多属性决策算法研究,C934
- 基于人工智能的本质安全参致评定设计与实现,X913.4
- 基于人工智能优化算法的聚丙烯熔融指数预报建模优化研究,TQ325.14
- 机器人技术发展中的矛盾问题研究,TP242
- 基于WEB的社区智能医疗服务系统的研究,TP311.52
- 混合智能算法在梯级水库中长期优化调度中的应用,TV697.11
- 人工智能视野下的进化逻辑研究,B812.3
- 群体事件应急处置辅助决策系统,TP311.52
- 基于图像工程与框架理论识别人体细胞的智能技术研究,TP391.41
- 基于规则的无心磨削工艺智能优选辅助系统研究,TG580.6
- 基于食物链生态进化算法的输电网扩展规划,TM715
- 基于改进粒子群算法的电力系统无功优化,TM714.3
- 基于人工免疫系统的遥感图像检索算法研究,TP751
- 胃蛋白酶原联合放大染色内镜在早期胃癌诊断中的应用,R735.2
- 高中人工智能课程中案例教学法的应用研究,G633.67
- 基于Intranet的禽舍计算机控制系统的研究,TP273.5
- 中国象棋计算机博弈技术研究及五道棋博弈系统开发,TP18
- 智能体温单信息系统研究,R473
- 博弈算法在中国象棋上的应用,TP311.11
- 基于智能理论的认知网络QoS方法研究,TN925
中图分类: > 工业技术 > 自动化技术、计算机技术 > 自动化基础理论 > 人工智能理论 > 自动推理、机器学习
© 2012 www.xueweilunwen.com
|