【摘 要】
:
现有的几何自动推理系统采用较多的是基于单向推理法(包括前向推理和后向推理)的搜索方法.单向推理尤其是前向推理法已经取得了显著的成就,如z+z智能教育平台的系列软件《平
论文部分内容阅读
现有的几何自动推理系统采用较多的是基于单向推理法(包括前向推理和后向推理)的搜索方法.单向推理尤其是前向推理法已经取得了显著的成就,如z+z智能教育平台的系列软件《平面几何》、《立体几何》等就是基于前推法的自动推理系统.随着对平面几何自动推理研究的不断深入,对推理效率提出了更高的要求.为了进一步提高平面几何自动推理系统的效率,该文探讨了将前推法与后推法结合起来进行平面几何推理的方法.从该系统的实际测试情况看,尤其是对较为复杂的几何问题,采用它可以显著提高推理效率.文章首先对机器证明简史进行了回顾,然后对系统作了总体介绍,说明了谓词和规则的选取.文中第三章是全文的核心部分,详细介绍了作者的工作思路.第一节分析了各种常见的推理策略及其优缺点,引出双向推理方法,并着重分析了后推的重点和难点、可能遇到的问题以及解决办法;第二至六节对双向推理系统模型、工作过程等进行了描述,指出双向推理系统的程序主要包括三个类:信息类,引理类和推理类,其中推理类是整个系统的核心程序.第七节介绍了对用户输入的可识别处理方法;第八节详细说明了几个关键技术的实现等;第九节介绍了为提高推理效率所采用的一些方法.在第四章中作者对该系统中的一些不完善之处及今后可能的改进做了简要的阐述和展望.附录给出了采用该系统进行平面几何自动推理的一些例题.
其他文献
在我国全面深化改革的新时期,城乡基本服务均等化正成为深化改革的重要领域。城乡一体化的发展对农村职业教育的发展提出了新的要求,农村教育是农民最关心、最需要和最重要的公
在城市里待久了,总是让人容易忘记时间的存在,听不见秒针滴答行走的声音,匆匆忙忙间我们就已经从早晨的朝霞转换到了华灯初上的街头.当我们从钢筋水泥的夹缝中逃出来,重新投
随着城市污染加剧、国际油价上涨,绿色环保车辆日益受到大众青睐.现在,发达国家和欠发达国家都在积极地制造小型经济型乘用车.例如:美国制造了voit,德国制造了smart,日本早些
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
灭菌测温器:探头可插在料袋中,成功率100%,高精度探头、150 cm传感线、挂式测温表包括邮寄费等共59元。自动升温灭菌炉:成本与常压灭菌灶相同,可用原灶改。装炉后烧2~3小时料
教育资源系统是基于网络的现代远程教育的基础设施,其建设的状况直接影响着网络学习的效果。 在全面考察我国网络教育资源系统建设现状的基础上,笔者针对现有网络资源系统的
在外观方面,采用全新家族式的飞翼式镀铬进气格栅,令前脸造型更显犀利硬朗.黑色钢琴竖格栅与高亮镀铬飞翼格栅的组合,让车头的视觉中心自然而然地聚焦于车标之上.同时飞翼格
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
在少数民族中小学中,双语教学能否成功主要是由汉语文教学质量的好坏来决定的,而汉语文教师又是汉语文教学成功与否的关键。因此关注少数民族学校汉语文教师的专业成长具有很
近年,时有报道电动汽车出现安全事故.在中国市场,几乎所有汽车制造商都希望借助新能源汽车项目“突围”,但由于行业本身在电动汽车安全的研发、生产、电池管理等方面尚未形成