【摘 要】
：
文中阐述了平面几何定理机器证明的基本原理及方法,针对几何定理机器证明过程中可读证明的产生,及推理信息快速增长的问题,提出了一种基于本体推理的几何定理机器证明方法。
【基金项目】
：
2012年广东省高等院校学科建设专项资金项目(2012KJCX0079);2011年东莞市现代信息服务业发展专项资金竞争性项目(DG201101)
论文部分内容阅读
文中阐述了平面几何定理机器证明的基本原理及方法,针对几何定理机器证明过程中可读证明的产生,及推理信息快速增长的问题,提出了一种基于本体推理的几何定理机器证明方法。通过具体案例,描述了以Protégér软件为工具,基于WordNet重用的领域本体半自动构建方法,构建几何本体模型的过程,并结合Prolog规则进行双向推理。结果表明将本体引入几何定理机器证明是可行的,且本体推理脱离了代数形式,使得推理过程更接近自然语言的描述,同时推理效率更高。
其他文献
广州市医保中心以市级统筹为契机,打破体制壁垒,建立起全市一体化垂直管理的医保经办新模式。多年来,通过在信息化建设、标准化体系建设、经办风险防控上持续发力,形成了全市
蟹池水草生长的好坏直接关系到河蟹养殖的成败，正如渔言所说“蟹大小，看水草”。人工养蟹由于放养密度较高、大量投饵及管理不善等多种因素常导致水草生长不良，影响河蟹健康生长
本文在文献［１］的基础上，对多层大开间少内纵墙住宅结构模型试验结果作了进一步分析。通过对简体实测应力及弹塑性内力重分布的研究考察，提出适用于该结构体系并与文献［３］中建议的剪力
3月9日，镇江市2018年侨办主任工作会议召开。会议全面总结了2017年全市侨务工作，分析了当前和今后一段时期全市侨务工作新形势，研究部署2018年侨务工作，进一步推动全市侨办系统聚
幽门螺杆菌与非甾体类抗炎药均是胃黏膜损害因子，它们是造成消化性溃疡及其并发症的主要原因。临床上二者经常同时存在，因此，阐明二者间可能的相互关系和相互作用有很重要的临床
近几年，随着水产养殖生产的发展，养殖规模不断扩大，养殖密度大幅度提高，品种和活体在地区之间的流动更加频繁，使养殖的水产动物疾病传播日益加剧。鱼病是养鱼的大敌，科学选用药物，不
读后续写是结合内容创造和语言模仿的一种高考新题型,加以针对性的训练,能有效提高学生的英语学习水平,成为阅读与写作、模仿与创造、学习与运用相结合的教学新途径。读后续
目的:识别诊疗过程中可能存在的项目滥用行为,为现场稽核提供数据线索。方法:综合利用统计方法 (标准差法、箱形图分析方法、Z-score分析方法)和大数据挖掘算法(Isolation Fo
7月22日上午，由福建省建瓯市监察局、财政局和市政府法制办等部门组成的依法行政综合监察组一行4人深入该市畜牧兽医水产局开展依法行政综合监察工作。原市人大常委会副主任曾
电动机转动时更接近匀速,用电动机替代手拉动木块较为科学。另通过改变通过电动机的电流大小,还能方便探究出滑动摩擦力的大小与速度是否有关。