[发明专利]平面几何证明题自动解答方法及系统

摘要

本发明公开了一种平面几何证明题自动解答方法及系统，其中方法包括以下步骤题目输入；题目理解，对识别出的平面几何证明题文本进行分词和词性标注，并将题目分割为n个简单的分句，对分句进行标准化处理；标注出分句中的所有几何实体词；将每个几何元素词表示成一个二元组，同时将每个几何关系词也表示成一个二元组；采用句法语义模型对几何关系进行提取，所有的几何关系形成一个元几何命题集合；机器求解，对元几何命题集合进行推理，得到题目的几何证据链；类人解答生成，根据证据链，由已知给出的条件通过前向链不断查找，直至推导到结论，从而生成类人的表达。本发明相比于目前现有的平面几何证明系统，能够大大提高解答系统的自动化程度。

主权项

一种平面几何证明题自动解答方法，其特征在于，包括以下步骤：题目输入输入平面几何定理证明题的题目图像，并识别出题目图像中所有的题目内容；题目理解对识别出的平面几何证明题文本进行分词和词性标注，并将题目分割为n个简单的分句，对分句进行标准化处理；标注出分句中的所有几何实体词，包括几何关系词和几何元素词；将每个几何元素词表示成一个二元组e＝(w，t)，其中w是题目中的几何元素词，t是w所属的几何类型；同时将每个几何关系词表示成一个二元组J＝(v，o)，其中v是题目中出现的几何关系词的代表词，o是该几何关系词v的一系列变形形式；采用句法语义模型对几何关系进行提取，且提取的几何关系表示成一阶谓词的形式，所有的几何关系形成一个元几何命题集合；句法语义模型为一个三元组M＝(K，P，R)，其中K代表关键字元素，P是几何元素的类型模式，R为相关实体之间的数学关系；平面几何的句法语义模型池为Σ＝{Mi＝(Ki,Pi,Ri)|i＝1,2,…,m}；机器求解对元几何命题集合进行推理，得到题目的几何证据链；类人解答生成根据证据链，由已知给出的条件通过前向链不断查找，直至推导到结论，从而生成类人的表达。