面向平面几何命题理解的融合算法研究

摘要：

随着初等几何命题可视化机器证明的发展,如何让几何教学辅助软件能够直接理解几何命题的含义,自动生成对应的几何图形并进行推理证明,成为当前研究的一个新问题.现有的几何命题理解方法虽然在一定程度上实现了几何命题向形式化命令的转化,但是这些方法均没有考虑几何命题中分句间的逻辑关系,无法解决分句间形式化命令的冗余和冲突问题,导致后期自动作图和推理的准确率不高.针对这一问题,在前期工作的基础上提出了一个几何命题分句间形式化命令融合算法,并将该融合算法集成应用于已有的自然语言几何作图接口进行实验论证.结果显示,几何命题分句间形式化命令融合算法将自然语言几何作图的准确率从原来的84.17％提高到了91.670％,能够有效提高几何命题理解的准确性.

关键词：几何命题、融合算法、几何作图、自然语言

所属期刊栏目：40

分类号：TP182(自动化基础理论)

资助基金：国家自然科学基金61272205;中央高校基本科研业务费项目CCNU10C01003

在线出版日期：2013-10-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：196-199,226