| 应用本体和AllegroGraph实现几何定理证明 |
| |
| 引用本文： | 吴店年,李云清. 应用本体和AllegroGraph实现几何定理证明[J]. 计算机技术与发展, 2014, 0(8): 89-93 |
| |
| 作者姓名： | 吴店年 李云清 |
| |
| 作者单位： | 江西师范大学计算机信息工程学院,江西南昌330022 |
| |
| 基金项目： | 江西省教育科技项目（GJJ12195） |
| |
| 摘 要： | 由于传统的定理机器证明方法是基于规则的，使得定理证明出现几何信息增长迅猛，推理和计算效率低以及过程可读性差等问题。针对以上情况，提出了基于本体和AllegroGraph的几何定理证明方法。该方法通过本体构建几何定理命题模型，然后采用Prolog规则描述语言对几何定理性质进行描述，同时通过分析本体模型和规则描述的对应关系，提出定理规则半自动生成方法。最后以AllegroGraph（ AG）图形数据库的推理机制为基础，完成几何定理证明。实验结果表明，将本体和AllegroGraph推理机应用于几何定理证明领域可以摆脱以往几何定理证明代数化问题，几何证明过程容易理解，同时合理地控制了信息的增长，支持定理可持续证明。
|
| 关 键 词： | 本体推理 AllegroGraph(AG) Prolog规则 几何 定理证明 |
Realization of Geometry Theorem Proving with Ontology and AllegroGraph |
| |
| WU Dian-nian,LI Yun-qing. Realization of Geometry Theorem Proving with Ontology and AllegroGraph[J]. Computer Technology and Development, 2014, 0(8): 89-93 |
| |
| Authors: | WU Dian-nian LI Yun-qing |
| |
| Affiliation: | ( School of Computer and Information Engineering, Jiangxi Normal University, Nanchang 330022, China) |
| |
| Abstract: | |
| |
| Keywords: | ontology reasoning AllegroGraph （AG） Prolog rules geometry theorem proving |
| 本文献已被 维普 等数据库收录！ |
