-
公开(公告)号：CN103250149B
公开(公告)日：2015-11-25
申请号：CN201180059052.0
申请日：2011-12-07
Applicant: SK电信有限公司
Abstract: 本发明的实施方式涉及一种用于从数学语句提取语义距离并且按照语义距离对数学语句分类的方法、用于该方法的装置和计算机可读记录介质。本发明的实施方式提供一种用于从数学语句提取语义距离并且按照语义距离对数学语句分类的方法、用于该方法的装置和计算机可读记录介质，其中所述方法包括：从用户接收查询的用户查询输入步骤；提取所输入的用户查询中包括的关键词的查询解析步骤；参照其中对包含语义信息的自然语言标记和数学公式标记编索引的信息，通过测量所提取的关键词和语义信息之间的语义距离获得相似性的步骤。
-
公开(公告)号：CN103299292B
公开(公告)日：2016-01-20
申请号：CN201180064528.X
申请日：2011-12-02
Applicant: SK电信有限公司
IPC: G06F17/20
Abstract: 公开了自然语言和数学公式处理方法及其设备。一种自然语言和数学公式处理设备包括：自然语言和数学公式输入单元，其接收自然语言和数学公式；自然语言和数学公式结构化单元，其分析具有所述自然语言和所述数学公式的组合的组合数据，根据具体含义划分分析的数据，并且重组所划分的数据；自然语言和数学公式索引单元，其对所述组合数据进行索引；运算信息提取单元，其从所述组合数据提取利用逻辑条件的运算信息；运算结构化单元，其将所述运算信息结构化；以及信息生成单元，其从所述组合数据生成关于所述数学公式的解析语义信息。根据本实施方式，本发明使得：提供了独立的输入工具，使得用户能够输入自然语言和数学公式；将所述自然语言和所述数学公式结构化，使得基于组合了所述自然语言和所述数学公式的数据的经分析的内容作为重组数据管理所述自然语言和所述数学公式；基于语义信息将对用户查询进行了结构化的信息与所述自然语言和所述数学公式一起索引；自动提取所述语义信息；表达包括所述自然语言和所述数学公式的复杂句子，以自动具有逻辑关系；以及另外生成语义信息。
-
公开(公告)号：CN103250149A
公开(公告)日：2013-08-14
申请号：CN201180059052.0
申请日：2011-12-07
Applicant: SK电信有限公司 , 智力科学研究室股份公司
Abstract: 本发明的实施方式涉及一种用于从数学语句提取语义距离并且按照语义距离对数学语句分类的方法、用于该方法的装置和计算机可读记录介质。本发明的实施方式提供一种用于从数学语句提取语义距离并且按照语义距离对数学语句分类的方法、用于该方法的装置和计算机可读记录介质，其中所述方法包括：从用户接收查询的用户查询输入步骤；提取所输入的用户查询中包括的关键词的查询解析步骤；参照其中对包含语义信息的自然语言标记和数学公式标记编索引的信息，通过测量所提取的关键词和语义信息之间的语义距离获得相似性的步骤。
-
Patent Agency Ranking
公开(公告)号：CN103201733B
公开(公告)日：2016-11-09
申请号：CN201180053172.X
申请日：2011-11-03
Applicant: SK电信有限公司
CPC classification number: G06F15/18 , G06F15/02 , G06F17/10 , G06F17/215
Abstract: 本实施方式涉及用于输入方程式的方法和设备。本实施方式提供了一种方程式输入设备，该方程式输入设备包括：学习情况识别单元，其提取与提供有学习内容的学习者有关的学习情况信息；目标方程式组提取单元，其生成包括根据所述学习情况信息提取的目标数学符号的目标方程式组；以及预测方程式提供单元，其选择与由用户从所述目标方程式组输入或选择的信息有关的预测数学符号列表，并将从所述预测数学符号列表选择的方程式反映在所输入或选择的信息中。根据本实施方式，用户能够选择多个有关数学符号中的一个来输入方程式，而无需在整个课程数学符号中搜索特定符号。
-
公开(公告)号：CN103210415A
公开(公告)日：2013-07-17
申请号：CN201180052819.7
申请日：2011-10-31
Applicant: SK电信有限公司 , 智力科学研究室股份公司
Abstract: 本发明的一个实施方式涉及一种用于诊断学习能力的设备和方法。根据本发明的所述实施方式的用于诊断学习能力的所述设备包括：接收单元，其从终端接收针对要对学生执行学习能力诊断的单元或问题的单元相关信息或问题相关信息；以及语义信息生成单元，其针对包含在所述单元相关信息或问题相关信息中的各条问题信息生成结构信息，其中，所述结构信息包括针对特定科目的问题信息和语义信息，并且所述问题信息与语义信息彼此分离。
-
公开(公告)号：CN103201733A
公开(公告)日：2013-07-10
申请号：CN201180053172.X
申请日：2011-11-03
Applicant: SK电信有限公司 , 智力科学研究室股份公司
CPC classification number: G06F15/18 , G06F15/02 , G06F17/10 , G06F17/215
Abstract: 本实施方式涉及用于输入方程式的方法和设备。本实施方式提供了一种方程式输入设备，该方程式输入设备包括：学习情况识别单元，其提取与提供有学习内容的学习者有关的学习情况信息；目标方程式组提取单元，其生成包括根据所述学习情况信息提取的目标数学符号的目标方程式组；以及预测方程式提供单元，其选择与由用户从所述目标方程式组输入或选择的信息有关的预测数学符号列表，并将从所述预测数学符号列表选择的方程式反映在所输入或选择的信息中。根据本实施方式，用户能够选择多个有关数学符号中的一个来输入方程式，而无需在整个课程数学符号中搜索特定符号。
-
公开(公告)号：CN103299338A
公开(公告)日：2013-09-11
申请号：CN201280005046.1
申请日：2012-01-11
Applicant: SK电信有限公司 , 智力科学研究室股份公司
IPC: G06Q50/20
Abstract: 公开了一种数学教育服务系统、其服务方法、用于分析和生成数学问题的装置及其方法。根据本发明一实施方式的数学教育服务系统向通过网络连接的学生终端提供数学教育服务，包括：问题存储单元，用于存储多种类型的数学问题；变更执行单元，用于执行多种问题变更，包括通过操纵数字和数学公式的问题变更、通过改写的问题变更和通过操纵命题的问题变更；问题分离单元，用于收集在数学问题中使用的公式，解析收集的公式以分离至少一项，从分离的每一项分离常数和变量；问题生成单元，用于生成新问题，涉及通过向收集的公式、分离的常数和变量应用至少一种问题变更的数学问题的应用。因而，本发明的数学教育服务系统向学生终端提供数学问题和生成的新问题。
-
公开(公告)号：CN103299292A
公开(公告)日：2013-09-11
申请号：CN201180064528.X
申请日：2011-12-02
Applicant: SK电信有限公司
IPC: G06F17/20
Abstract: 公开了自然语言和数学公式处理方法及其设备。一种自然语言和数学公式处理设备包括：自然语言和数学公式输入单元，其接收自然语言和数学公式；自然语言和数学公式结构化单元，其分析具有所述自然语言和所述数学公式的组合的组合数据，根据具体含义划分分析的数据，并且重组所划分的数据；自然语言和数学公式索引单元，其对所述组合数据进行索引；运算信息提取单元，其从所述组合数据提取利用逻辑条件的运算信息；运算结构化单元，其将所述运算信息结构化；以及信息生成单元，其从所述组合数据生成关于所述数学公式的解析语义信息。根据本实施方式，本发明使得：提供了独立的输入工具，使得用户能够输入自然语言和数学公式；将所述自然语言和所述数学公式结构化，使得基于组合了所述自然语言和所述数学公式的数据的经分析的内容作为重组数据管理所述自然语言和所述数学公式；基于语义信息将对用户查询进行了结构化的信息与所述自然语言和所述数学公式一起索引；自动提取所述语义信息；表达包括所述自然语言和所述数学公式的复杂句子，以自动具有逻辑关系；以及另外生成语义信息。
-
-
-
-
-
-
-
Search Results
8
records
(took 0.018 seconds)
