| 基于本体与Prolog的平面几何定理证明 |
| |
| 引用本文： | 钟秀琴,符红光,丁盘苹.基于本体与Prolog的平面几何定理证明[J].电子科技大学学报(社会科学版),2011(3). |
| |
| 作者姓名： | 钟秀琴 符红光 丁盘苹 |
| |
| 作者单位： | 电子科技大学计算机科学与工程学院; |
| |
| 基金项目： | 国家自然科学基金面上项目(61073099); 中央高校基本科研业务费专项资金(ZYGX2009J059,ZYGX2009J058) |
| |
| 摘 要： | 基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和Prolog规则的平面几何定理证明。
|
| 关 键 词： | 平面几何 本体 Prolog RDF(S) 定理证明 |
Geometry Theorem Proving on Ontology and Prolog |
| |
| ZHONG Xiu-Qin,FU Hong-Guang, DING Pan-Ping.Geometry Theorem Proving on Ontology and Prolog[J].Journal of University of Electronic Science and Technology of China(Social Sciences Edition),2011(3). |
| |
| Authors: | ZHONG Xiu-Qin FU Hong-Guang DING Pan-Ping |
| |
| Institution: | ZHONG Xiu-Qin,FU Hong-Guang,and DING Pan-Ping(School of Computer Science and Engineering,University of Electronic Science and Technology of China Chengdu 610054) |
| |
| Abstract: | In this paper,we propose a method to solve the problem of geometry theorem proving based on ontology theory.We describe the process of ontology construction,the reasoning based on ontology and prolog rules,and an example of a geometry theorem proving.The result shows that theorem proving based on ontology is efficient.This approach has advantages such as avoiding determining the problem repeatedly,natural language more closely,expressing the domain knowledge and the concepts hierarchy clearly.In addition th... |
| |
| Keywords: | elementary geometry ontology Prolog RDF(S) theorem proving |
| 本文献已被 CNKI 等数据库收录！ |
|
