期刊论文

中文

计算机科学

1002-137X

2013

40

8

196-199,226

10.3969/j.issn.1002-137X.2013.08.041

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

本校为第一机构

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

As the development of machine proof technology, how to make the existing geometry instructional softwares to understand the latent semantics of the geometry proposition, automatically generate the figure and give out the rea- soning process, is becoming a new challenge. Although the existing methods can transform the geometry proposition in- to figure or other machine-readable forms to a certain extent, they do not consider the dependent relationship between simple clauses,so they can not avoid the redundancies and inconsistence between construction commands of adjacent simple clauses. To reso...