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

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

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

钟秀琴, 符红光, 丁盘苹

文章导航 > 电子科技大学学报 > 2011 > 40(3): 429-434

钟秀琴, 符红光, 丁盘苹. 基于本体与Prolog的平面几何定理证明[J]. 电子科技大学学报, 2011, 40(3): 429-434. doi: 10.3969/j.issn.1001-0548.2011.03.020

引用本文:

钟秀琴, 符红光, 丁盘苹. 基于本体与Prolog的平面几何定理证明[J]. 电子科技大学学报, 2011, 40(3): 429-434. doi: 10.3969/j.issn.1001-0548.2011.03.020

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, 2011, 40(3): 429-434. doi: 10.3969/j.issn.1001-0548.2011.03.020

Citation:

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, 2011, 40(3): 429-434. doi: 10.3969/j.issn.1001-0548.2011.03.020

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

doi: 10.3969/j.issn.1001-0548.2011.03.020

1.
电子科技大学计算机科学与工程学院成都 610054

基金项目:

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

作者简介:
钟秀琴(1976-),女,博士,主要从事本体及自动推理方面的研究.

中图分类号: TP3

Geometry Theorem Proving on Ontology and Prolog

1.
School of Computer Science and Engineering,University of Electronic Science and Technology of China Chengdu 610054

摘要: 基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和Prolog规则的平面几何定理证明。
- 平面几何 /
- 本体 /
- Prolog /
- RDF(S) /
- 定理证明
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 this method can execute reasoning of complex relationships, and ultimately accomplishes elementary geometry theorem proving on ontology and prolog rules.
- elementary geometry /
- ontology /
- Prolog /
- RDF(S) /
- theorem proving

[1]	于娟, 曹晓. 基于百科词条的本体概念聚类方法研究 . 电子科技大学学报, 2017, 46(3): 636-640. doi: 10.3969/j.issn.1001-0548.2017.03.026
[2]	陈莉, 刘弘. 基于跨本体语义相关的三维模型检索方法 . 电子科技大学学报, 2017, 46(4): 585-590. doi: 10.3969/j.issn.1001-0548.2017.04.018
[3]	何磊, 童玲, 陈彦, 李玉霞. 小麦S波段多层后向散射模型 . 电子科技大学学报, 2016, 45(5): 785-790. doi: 10.3969/j.issn.1001-0548.2016.05.013
[4]	陶晓玲, 韦毅, 王勇. 一种基于本体的并行网络流量分类方法 . 电子科技大学学报, 2016, 45(3): 417-422.
[5]	陶晓玲, 韦毅, 王勇. 一种基于本体的并行网络流量分类方法 . 电子科技大学学报, 2016, 45(3): 417-422. doi: 10.3969/j.issn.1001-0548.2016.02.018
[6]	符红光, 刘莉, 钟秀琴, 蒋彦, 孙媛媛. 基于WordNet与Wikipedia的平面几何本体的构建 . 电子科技大学学报, 2014, 43(4): 575-580. doi: 10.3969/j.issn.1001-0548.2014.04.018
[7]	冯涛, 刘媛媛, 马建峰. 可证明安全的群组匿名认证密钥协商协议 . 电子科技大学学报, 2011, 40(2): 273-277. doi: 10.3969/j.issn.1001-0548.2011.02.023
[8]	王洪, 刘昌忠, 汪学刚, 吴宏刚. S模式前导脉冲检测方法 . 电子科技大学学报, 2010, 39(4): 486-489. doi: 10.3969/j.issn.1001-0548.2010.04.002
[9]	陈文宇, 张忠全, 向涛, 桑楠. 基于相似度的语义Web服务发现技术研究 . 电子科技大学学报, 2010, 39(6): 896-899,910. doi: 10.3969/j.issn.1001-0548.2010.06.019
[10]	杨莉. Hilbert空间中κ-严格伪压缩的强收敛定理 . 电子科技大学学报, 2009, 38(4): 546-548. doi: 10.3969/j.issn.1001-0548.2009.04.017
[11]	胡剑浩, 杨凤, 熊兴中. 交织多址接入系统信道容量证明 . 电子科技大学学报, 2009, 38(4): 481-484. doi: 10.3969/j.issn.1001-0548.2009.04.001
[12]	朱辉, 李晖, 庞辽军, 王育民. 新的可证明安全的快速认证协议 . 电子科技大学学报, 2009, 38(1): 55-58.
[13]	于江德, 李学钰, 樊孝忠. 信息抽取中领域本体的设计和实现 . 电子科技大学学报, 2008, 37(5): 746-749.
[14]	潘斌, 郭红霞. MPI环境下的几何定理并行自动推理 . 电子科技大学学报, 2008, 37(6): 908-912.
[15]	艾未华, 宋自林, 魏磊, 吴量. 基于领域本体的Web服务发现 . 电子科技大学学报, 2007, 36(3): 506-509.
[16]	苏万春. 引力场两个定理的探讨 . 电子科技大学学报, 2001, 30(2): 214-216.
[17]	赵磊, 舒兰. 模糊粗糙集的分解定理 . 电子科技大学学报, 2001, 30(6): 647-650.
[18]	朱雯, 何明星. 凝聚随机算子的一个不动点定理 . 电子科技大学学报, 2000, 29(3): 303-305.
[19]	黄廷祝, 钟守铭. 关于一个Brauer定理的注记 . 电子科技大学学报, 1997, 26(6): 642-644.
[20]	陈良均, 王定成. Banach空间混合列强大数定律的收敛定理 . 电子科技大学学报, 1997, 26(2): 204-207.

WeChat

点击查看大图

计量

文章访问数: 3693
HTML全文浏览量: 228
PDF下载量: 66
被引次数: 0

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

doi: 10.3969/j.issn.1001-0548.2011.03.020

1. 电子科技大学计算机科学与工程学院成都 610054

基金项目:

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

作者简介:
钟秀琴(1976-),女,博士,主要从事本体及自动推理方面的研究.

收稿日期: 2011-02-22
修回日期: 2011-04-15
刊出日期: 2011-06-15

中图分类号: TP3

关键词:

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

English Abstract

钟秀琴, 符红光, 丁盘苹. 基于本体与Prolog的平面几何定理证明[J]. 电子科技大学学报, 2011, 40(3): 429-434. doi: 10.3969/j.issn.1001-0548.2011.03.020

引用本文:

钟秀琴, 符红光, 丁盘苹. 基于本体与Prolog的平面几何定理证明[J]. 电子科技大学学报, 2011, 40(3): 429-434. doi: 10.3969/j.issn.1001-0548.2011.03.020

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, 2011, 40(3): 429-434. doi: 10.3969/j.issn.1001-0548.2011.03.020

Citation:

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, 2011, 40(3): 429-434. doi: 10.3969/j.issn.1001-0548.2011.03.020

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发