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

• 作者: 丁盘苹 符红光 钟秀琴
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 平面几何 本体 Prolog RDF(S) 定理证明
• 年，卷（期）: 2011,（3）
• 所属期刊栏目: 计算机工程与应用
• 页码范围: 429-434
• 分类号: TP3
• 字数: 4170字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2011.03.020

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	符红光	电子科技大学计算机科学与工程学院	13	136	4.0	11.0
2	钟秀琴	电子科技大学计算机科学与工程学院	7	189	4.0	7.0
3	丁盘苹	电子科技大学计算机科学与工程学院	3	78	2.0	3.0