公开(公告)号：CN107463553B

公开(公告)日：2021-03-30

申请号：CN201710815398.8

申请日：2017-09-12

Applicant: 复旦大学

Inventor： 张奇 ,  邓彬彬 ,  赵忆佳 ,  黄浩然

IPC: G06F40/30 ,  G06F40/279 ,  G06F40/247

Abstract: 本发明属于面向数学的自然语言处理技术领域，具体为一种针对初等数学题目的文本语义抽取、表示与建模方法及相应的初等数学题意分析系统。本发明方法为：对输入的数学题目，利用分词词库与正则表达式结合的形式进行分词，对分词后的结果，进行词类转换和词组合并，并利用指代消解对指代词进行目标替换；之后，利用处理得到的信息，借助一阶逻辑进行数学公式的抽取与翻译，得到基于一阶逻辑的数学题目表示；最后，利用深度神经网络对问题中的自然语言与公式进行语义建模与语义融合。本发明提出的有效的初等数学题目表示与建模方法，可以将数学题目转换成可以被计算机处理的语义表示形式，并对数学题目进行更精准的语义建模。

公开(公告)号：CN107463553A

公开(公告)日：2017-12-12

申请号：CN201710815398.8

申请日：2017-09-12

Applicant: 复旦大学

Inventor： 张奇 ,  邓彬彬 ,  赵忆佳 ,  黄浩然

IPC: G06F17/27

CPC classification number: G06F17/2785 ,  G06F17/2765 ,  G06F17/2795

Abstract: 本发明属于面向数学的自然语言处理技术领域，具体为一种针对初等数学题目的文本语义抽取、表示与建模方法及相应的初等数学题意分析系统。本发明方法为：对输入的数学题目，利用分词词库与正则表达式结合的形式进行分词，对分词后的结果，进行词类转换和词组合并，并利用指代消解对指代词进行目标替换；之后，利用处理得到的信息，借助一阶逻辑进行数学公式的抽取与翻译，得到基于一阶逻辑的数学题目表示；最后，利用深度神经网络对问题中的自然语言与公式进行语义建模与语义融合。本发明提出的有效的初等数学题目表示与建模方法，可以将数学题目转换成可以被计算机处理的语义表示形式，并对数学题目进行更精准的语义建模。