基于本体与Prolog的平面几何定理证明

摘要：

基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用.实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和Prolog规则的平面几何定理证明.

关键词：平面几何、本体、Prolog、RDF(S)、定理证明

所属期刊栏目：40

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

资助基金：国家自然科学基金面上项目61073099;中央高校基本科研业务费专项资金ZYGX2009J059,ZYGX2009J058

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

页数：共6页

页码：429-434