|
钻瓜专利网为您找到相关结果 93729个,建议您 升级VIP下载更多相关专利
- [发明专利]用于处理自然语言和数学公式的方法及其设备-CN201180064528.X有效
-
朴镛吉;朴根兑;李东学;崔炯仁;魏南淑;李斗锡;孙正教;金幸文
-
SK电信有限公司
-
2011-12-02
-
2013-09-11
-
G06F17/20
- 公开了自然语言和数学公式处理方法及其设备。一种自然语言和数学公式处理设备包括:自然语言和数学公式输入单元,其接收自然语言和数学公式;自然语言和数学公式结构化单元,其分析具有所述自然语言和所述数学公式的组合的组合数据,根据具体含义划分分析的数据,并且重组所划分的数据;自然语言和数学公式索引单元,其对所述组合数据进行索引;运算信息提取单元,其从所述组合数据提取利用逻辑条件的运算信息;运算结构化单元,其将所述运算信息结构化;以及信息生成单元,其从所述组合数据生成关于所述数学公式的解析语义信息根据本实施方式,本发明使得:提供了独立的输入工具,使得用户能够输入自然语言和数学公式;将所述自然语言和所述数学公式结构化,使得基于组合了所述自然语言和所述数学公式的数据的经分析的内容作为重组数据管理所述自然语言和所述数学公式;基于语义信息将对用户查询进行了结构化的信息与所述自然语言和所述数学公式一起索引;自动提取所述语义信息;表达包括所述自然语言和所述数学公式的复杂句子,以自动具有逻辑关系;以及另外生成语义信息。
- 用于处理自然语言数学公式方法及其设备
- [发明专利]用计算机程序验证数学证明合法性的方法-CN201610123179.9在审
-
陈晋飞
-
陈晋飞
-
2016-03-05
-
2016-06-15
-
G06F9/44
- 目前,数学证明日益复杂,导致要严格的对一个数学证明的合法性进行验证非常困难,一些数学证明的验证需要多个数学家用长达数月的时间进行验证,才能验证证明的正确性,数学公式采用图形化的方式描述,数学没有一个完全形式化的,表达能力足够的,能使用计算机进行分析的计算机化的数学语言,使得对数学证明的验证非常困难,数学证明的表达也不严格;本发明的目的是解决现有当前数学证明的不完全严格性,不利于使用计算机进行分析的弊端;本发明提出一种包含一阶逻辑的,对数学家足够直观的计算机化的语言,使得数学证明能用这种语言表达,用计算机程序迅速的判断出证明的合法性。
- 用计程序验证数学证明合法性方法
- [发明专利]数学题解答方法及装置-CN201910591038.3有效
-
丁克玉;刘一凡
-
科大讯飞股份有限公司
-
2019-07-02
-
2023-04-18
-
G06N5/04
- 本发明公开了一种数学题解答方法及装置,其中,数学题解答方法针对现有的自然语言处理技术在数学解答场景中的弊端,提出利用基于第一训练数据预先构建的题目表示模型对数学题目进行自动的结构转化,为数学题及其背后的公理和定理提供链接桥梁,之后以此为基础再利用基于第二训练数据预先构建的解题规则模型对转化后的数学题目进行解答。可见本发明的构思在于通过两个各司其职的模型完成自然语言处理无法实现的特定数学语言表达以及相应的解题处理过程,使得计算机可以更加迅速且准确地自动运算出题目的答案,由此还可以更佳地辅助其他计算机批改系统和推荐类似题目系统
- 数学题解答方法装置
|