应用本体和AllegroGraph实现几何定理证明

• 作者: 吴店年 李云清
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 本体推理 AllegroGraph(AG) Prolog规则 几何 定理证明
• 年，卷（期）: 2014,（8）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 89-93
• 页数: 5页
• 分类号: TP301
• 字数: 4619字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2014.08.021

摘要

由于传统的定理机器证明方法是基于规则的，使得定理证明出现几何信息增长迅猛，推理和计算效率低以及过程可读性差等问题。针对以上情况，提出了基于本体和AllegroGraph的几何定理证明方法。该方法通过本体构建几何定理命题模型，然后采用Prolog规则描述语言对几何定理性质进行描述，同时通过分析本体模型和规则描述的对应关系，提出定理规则半自动生成方法。最后以AllegroGraph( AG)图形数据库的推理机制为基础，完成几何定理证明。实验结果表明，将本体和AllegroGraph推理机应用于几何定理证明领域可以摆脱以往几何定理证明代数化问题，几何证明过程容易理解，同时合理地控制了信息的增长，支持定理可持续证明。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李云清	江西师范大学计算机信息工程学院	18	152	8.0	11.0
2	吴店年	江西师范大学计算机信息工程学院	1	1	1.0	1.0