| 面向平面几何命题理解的融合算法研究 |
| |
| 引用本文： | 黄焕,刘清堂,陈矛. 面向平面几何命题理解的融合算法研究[J]. 计算机科学, 2013, 40(8): 196-199,226 |
| |
| 作者姓名： | 黄焕 刘清堂 陈矛 |
| |
| 作者单位： | 华中师范大学国家数字化学习工程技术研究中心 武汉430079;华中师范大学国家数字化学习工程技术研究中心 武汉430079;华中师范大学国家数字化学习工程技术研究中心 武汉430079 |
| |
| 基金项目： | 本文受国家自然科学基金(61272205),中央高校基本科研业务费项目(CCNU10C01003)资助 |
| |
| 摘 要： | 随着初等几何命题可视化机器证明的发展,如何让几何教学辅助软件能够直接理解几何命题的含义,自动生成对应的几何图形并进行推理证明,成为当前研究的一个新问题。现有的几何命题理解方法虽然在一定程度上实现了几何命题向形式化命令的转化,但是这些方法均没有考虑几何命题中分句间的逻辑关系,无法解决分句间形式化命令的冗余和冲突问题,导致后期自动作图和推理的准确率不高。针对这一问题,在前期工作的基础上提出了一个几何命题分句间形式化命令融合算法,并将该融合算法集成应用于已有的自然语言几何作图接口进行实验论证。结果显示,几何命题分句间形式化命令融合算法将自然语言几何作图的准确率从原来的84.17%提高到了91.67%,能够有效提高几何命题理解的准确性。
|
| 关 键 词： | 几何命题 融合算法 几何作图 自然语言 |
| 收稿时间： | 2012-10-10 |
| 修稿时间： | 2013-03-18 |
Merging Algorithm Research Oriented to Understanding of Geometry Proposition |
| |
| HUANG Huan,LIU Qing-tang and CHEN Mao. Merging Algorithm Research Oriented to Understanding of Geometry Proposition[J]. Computer Science, 2013, 40(8): 196-199,226 |
| |
| Authors: | HUANG Huan LIU Qing-tang CHEN Mao |
| |
| Affiliation: | National Engineering Research Center for E-Learning,Central China Normal University,Wuhan 430079,China;National Engineering Research Center for E-Learning,Central China Normal University,Wuhan 430079,China;National Engineering Research Center for E-Learning,Central China Normal University,Wuhan 430079,China |
| |
| Abstract: | |
| |
| Keywords: | Geometry proposition Merging algorithm Geometry construction Natural language |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
