本体推理在几何定理机器证明中的应用

摘要：

文中阐述了平面几何定理机器证明的基本原理及方法，针对几何定理机器证明过程中可读证明的产生，及推理信息快速增长的问题，提出了一种基于本体推理的几何定理机器证明方法。通过具体案例，描述了以Protégér软件为工具，基于WordNet重用的领域本体半自动构建方法，构建几何本体模型的过程，并结合Prolog规则进行双向推理。结果表明将本体引入几何定理机器证明是可行的，且本体推理脱离了代数形式，使得推理过程更接近自然语言的描述，同时推理效率更高。

关键词：定理机器证明、本体模型、规则、推理、领域属性

分类号：TP31(计算技术、计算机技术)

资助基金：2012年广东省高等院校学科建设专项资金项目2012KJCX0079;2011年东莞市现代信息服务业发展专项资金竞争性项目DG201101

在线出版日期：2013-10-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：78-81