【摘 要】
:
几何定理机器证明是用计算机来完成数学命题的证明,它是现代数学中一种新兴的边缘性学科,是现代人工智能发展的一个重要方向.经过多年来卓越科学家们的努力,几何定理机器证明
论文部分内容阅读
几何定理机器证明是用计算机来完成数学命题的证明,它是现代数学中一种新兴的边缘性学科,是现代人工智能发展的一个重要方向.经过多年来卓越科学家们的努力,几何定理机器证明的研究在七十年代已经取得突破,可读证明的实现也十多年了.事实证明,机器证明的研究已经取得了骄人的成绩.但从目前的推理软件来看,关于几何定理可读证明自动生成的研究,还不完善,这是由于,机器生成的证明与两千多年来人们所创造的巧妙证明相比,仍有一定的差距,应当把几何学家所掌握的更多方法<[8]>,如添加辅助线、辅助点等需要相当技巧的方法"教给"计算机,使计算机产生的解法可以与几何学家相比.在证明中使用辅助线和辅助点,是传统几何的特色,是高智能的几何解题方法,这一特色使传统几何证题方法显得格外美妙,但却给几何证明的机械化增添了很大的困难.辅助线、辅助点在解题中的必要性,是由于欧氏几何传统方法以全等三角形和相似三角形为基本工具.多数几何题中,常常没有现成的全等三角形和相似三角形,因而要添加辅助线、辅助点为基本工具创造条件.寻找添加辅助线、辅助点的规律是实现机器证明所要解决的一个问题之一<[9]>.该文工作的核心部分是第三和第四部分,分别解决添加辅助线和辅助点两方面的问题.第三部分实现区分连线,自动添加辅助线功能,由此大大减少了推理信息量,尤其对图形复杂的几何问题,推理时间的缩短更为明显,而且计算机自动添加的辅助线可以与手工添加效果相媲美;第四部分实现添加辅助点问题,根据边添加边删除的思想实现了几种类型的辅助点的添加,不仅提高了推理效率,而且进一步增强了计算机解题能力和解题灵活性.为了使解题过程符合传统阅读习惯,该文采用了前推式几何信息搜索法.该文程序用Miscrosoft Visual C++6.0开发完成.
其他文献
研究目的:2013年以前我国《国家学生体质健康标准》中,心肺功能的检测指标采用1000米(男)、800米(女)、肺活量、台阶试验指数受到很多学者的质疑。在2013年的《国家学生体质健
继柏林和硅谷之后,海拉在中国设立创投服务团队,通过携手中国初创公司来拓展技术研发,并深化中国本土化布局.海拉将在自动驾驶、电动化、网联车、数字化、软件与服务、照明六
志愿者事业的发展利己、利他人和利社会,可谓是利国利民的事业。它的发展依赖社会的发展与进步,其发展程度是社会文明和社会公共服务水平的重要标准和尺度。随着人类社会文明
新媒体的概念自1967年被提出以后,在社会上开始广为流传,近20年中,新媒体进入了飞速发展的时代。我国新媒体发展中,网络媒体和手机媒体的崛起占领了重要的部分,近些年来,以微信、微
故障现象rn一辆奔驰W220S600轿车,搭载奔驰公司生产型号为722.6系列的五速变速器.据客户反映,该车在行驶过程中发动机转速和车速不匹配(发动机转速过高),怀疑变速器打滑.rn故
汽车与安全:为什么要提出“车内空气质量”这个概念?它对驾乘安全有何意义?rn叶盛基:提到“空气质量”大多数人肯定会想到雾霾,雾霾产生的原因很多,比如煤或石油燃烧排放、工
多年来,高职教育一直在为不断提升人才培养质量探索着改革之路,课程作为培养人才的关键环节和直接载体一直是高职院校关注的重中之重。 20世纪末,“工作过程导向课程开发理念
在进行国画的临摹练习的过程中,不仅仅要重视到对于临摹的技巧的训练,还要讲临摹过程所蕴含的文化背景充分的传递给学生。通过这样的教学方式,可以让学生在学习临摹的过程中,
教育资源库是中小学“校园网”建设的核心内容,是推进中小学教育信息化的一种有效途径。中小学教育资源库是以中小学教学内容为主体,以多媒体为载体,以素质教育为指导思想,涵盖了
【摘要】中国的近代素描教学,源于“五四运动”以后,随着西式艺术教育引进中国并逐渐普及,以徐悲鸿为代表的一代艺术教育家创立的素描教学方法,对中国素描教学产生了深远影响。时至今日,时代发生变化,传统的素描教学已经满足不了当代专业发展的需求,在这样的形式下,我们应该重新审视大学素描教学,注重学生的个性培养,提出新的改革方法。 【关键词】当代;大学素描;个性培养 素描简而言之就是单色画,它除去了色彩的