专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

KR101476230B1 자연어와 수학식이 포함된 복합문장의 시맨틱 정보 추출방법과 그를 위한 장치 및 컴퓨터로 읽을 수 있는 기록매체 有权
标题翻译：包括自然语言和数学公式的复合句子的语义信息提取方法，设备和计算机可读记录介质
公开(公告)号：KR101476230B1
公开(公告)日：2014-12-26
申请号：KR1020100138531
申请日：2010-12-30
申请人： 에스케이텔레콤 주식회사 , 주식회사 아이싸이랩
发明人： 박용길 , 박근태 , 최승락 , 이동학 , 이종헌 , 이명성 , 최형인 , 위남숙 , 이두석 , 손정교 , 김행문
IPC分类号： G06F17/27 , G06F15/16
摘要： 본발명의실시예는자연어와수학식이포함된복합문장의시맨틱정보추출방법과그를위한장치및 컴퓨터로읽을수 있는기록매체에관한것으로서, 자연어와수식이포함된복합문장을수신하는정보입력단계; 상기복합문장에서상기자연어및 상기수식을분리하는분리단계; 분리된상기자연어를토큰화하여자연어토큰을생성하는자연어처리단계; 분리된상기수식을파싱하고시맨틱의미를추출하여수학식토큰을생성하는수식처리단계; 자연어와수학식의논리적조건및 상기논리적조건에대응되는동작정보를결합한룰을저장하는룰저장단계; 및상기생성된자연어토큰과수학식토큰을상기저장된룰의논리적조건과비교하여상기저장된룰로부터상기복합문장의동작정보를추출하는동작추출단계를포함하는것을특징으로한다.

2. 发明公开

KR1020120070713A 자연어 및 수식 색인화 방법과 그를 위한 장치 및 컴퓨터로 읽을 수 있는 기록매체 有权
标题翻译：用于指导自然语言和数学公式的方法，具有程序的装置和计算机可读记录介质
公开(公告)号：KR1020120070713A
公开(公告)日：2012-07-02
申请号：KR1020100132141
申请日：2010-12-22
申请人： 에스케이텔레콤 주식회사 , 주식회사 아이싸이랩
发明人： 박용길 , 최승락 , 박근태 , 이동학 , 이종헌 , 이명성 , 최형인 , 위남숙 , 이두석 , 손정교 , 김행문
IPC分类号： G06F17/20 , G06F17/15 , G06F17/30 , G06F17/27
CPC分类号： G06F17/15 , G06F17/20 , G06F17/3025
摘要： PURPOSE: A natural language/formula indexing method, an apparatus for the same, and computer readable medium are provided to analyze similarity through an index of data which combines a natural language and a formula based on semantic information. CONSTITUTION: An information input unit(110) receives combination data consisting of the combination of a natural language and a formula. A semantic parsing unit(120) separates the natural language and the formula from combination data and generates semantic information by analyzing consist information. A data managing unit(130) recombines consist information, natural language, and formula information and stores the information as recombination data. A query parsing unit(160) extracts a keyword in a user query.
摘要翻译：目的：提供自然语言/公式索引方法，相同装置和计算机可读介质，以通过基于语义信息组合自然语言和公式的数据索引来分析相似性。构成：信息输入单元（110）接收由自然语言和公式的组合组成的组合数据。语义解析单元（120）将自然语言和公式与组合数据分离，并通过分析组合信息来生成语义信息。数据管理单元（130）重新组合组合信息，自然语言和公式信息，并将该信息存储为重组数据。查询解析单元（160）提取用户查询中的关键字。

3. 发明授权

KR101406000B1 자연어 및 수식 입력 제공 방법과 그를 위한 장치 및 컴퓨터로 읽을 수 있는 기록매체 有权
标题翻译：提供输入自然语言和数学公式，仪器和计算机可读记录介质的方法
公开(公告)号：KR101406000B1
公开(公告)日：2014-06-13
申请号：KR1020100122025
申请日：2010-12-02
申请人： 에스케이텔레콤 주식회사 , 주식회사 아이싸이랩
发明人： 최승락 , 최형인 , 위남숙 , 이두석 , 손정교 , 김행문 , 박용길 , 박근태 , 이동학 , 이종헌 , 이명성
IPC分类号： G06F17/20
摘要： 본 발명의 일 실시예는 자연어 및 수식 입력 제공 방법과 그를 위한 장치 및 컴퓨터로 읽을 수 있는 기록매체에 관한 것이다.
본 발명의 일 실시예는 자연어(Natural Language)를 입력받기 위한 텍스트(Text) 입력 툴(Tool)을 제공하는 자연어 입력 처리기; 수식(Mathematical Formula)을 입력받기 위한 수식 입력 툴을 제공하는 수식 입력 처리기; 입력된 상기 자연어 및 상기 수식을 취합한 취합 데이터를 전달하는 정보 처리부; 상기 취합 데이터를 수신하며, 상기 자연어와 상기 수식을 구성하고 있는 각각의 구성 정보를 분석하여 특정 의미에 따라 구분하는 시멘틱 정보를 생성하는 파싱부; 및 상기 구성 정보, 상기 자연어, 상기 수식 및 상기 시멘틱 정보 중 적어도 하나 이상의 정보를 재조합하여 저장하는 데이터 관리부를 포함하는 것을 특징으로 하는 자연어 및 수식 입력 제공 장치를 제공한다.
본 발명의 일 실시예에 의하면, 자연어 및 수식 입력 제공 장치를 통해 입력된 자연어 및 수식을 기계에서 이해할 수 있는 형태로 관리할 수 있으며, 자연어 및 수식에 대해 추출된 시멘틱 정보를 저장할 수 있는 효과가 있다.

4. 发明公开

KR1020120047160A 수식 입력 방법 및 장치 有权
标题翻译：用于数学公式的方法和装置
公开(公告)号：KR1020120047160A
公开(公告)日：2012-05-11
申请号：KR1020100108875
申请日：2010-11-03
申请人： 에스케이텔레콤 주식회사 , 주식회사 아이싸이랩
发明人： 최승락 , 위남숙 , 이두석 , 손정교 , 김행문 , 전성식 , 박용길 , 박근태 , 이동학
IPC分类号： G06F19/00
CPC分类号： G06F15/18 , G06F15/02 , G06F17/10 , G06F17/215
摘要： PURPOSE: A method and an apparatus for inputting a formula symbol are provided to configure a formula input window suitable for a learning condition when a learner feedbacks learning content. CONSTITUTION: A learning content recognizing unit(110) extracts learning case information about a learner who receives learning content information. A need formula group extracting unit(120) generates a formula group including needing formula symbol. A prediction formula supplying unit(130) selects a prediction formula symbol list.
摘要翻译：目的：提供一种用于输入公式符号的方法和装置，以在学习者反馈学习内容时配置适合于学习条件的公式输入窗口。构成：学习内容识别单元（110）提取关于接收学习内容信息的学习者的学习情况信息。需要公式组提取单元（120）生成包括需要公式符号的公式组。预测公式提供单元（130）选择预测公式符号列表。

5. 发明授权

KR101444671B1 수학식 시맨틱정보 생성방법과 그를 위한 장치 및 컴퓨터로 읽을 수 있는 기록매체 有权
标题翻译：提取数学公式，仪器和计算机可读记录介质的语义信息的方法
公开(公告)号：KR101444671B1
公开(公告)日：2014-09-30
申请号：KR1020110014968
申请日：2011-02-21
申请人： 에스케이텔레콤 주식회사 , 주식회사 아이싸이랩
发明人： 박근태 , 최형인 , 위남숙 , 이두석 , 손정교 , 김행문 , 박용길 , 최승락 , 이동학 , 이종헌 , 이명성
IPC分类号： G06F17/27 , G06F17/30
摘要： 본 발명의 실시예는 수학식 시맨틱정보 생성방법과 그를 위한 장치 및 컴퓨터로 읽을 수 있는 기록매체에 관한 것이다.
본 발명의 실시예는, 수식이 표현된 수식데이터를 입력받고 상기 수식데이터로부터 오퍼레이터 및 파라미터를 추출하여 구조화하고 구조화된 상기 오퍼레이터에 대하여 상기 오퍼레이터의 시맨틱의미를 추출하고 추출된 시맨틱 의미 및 상기 오퍼레이터와 연관된 파라미터를 결합하여 파싱 시맨틱정보를 생성하는 수학식 시맨틱정보 생성방법과 그를 위한 장치 및 컴퓨터로 읽을 수 있는 기록매체를 제공한다.

6. 发明公开

KR1020120079930A 자연어와 수학식이 포함된 복합문장의 논리적 표현 변환방법과 그를 위한 장치 및 컴퓨터로 읽을 수 있는 기록매체 有权
标题翻译：将包含自然语言和数学公式的复合语言转换为具有程序的逻辑表达形式的装置和计算机可读记录介质的方法
公开(公告)号：KR1020120079930A
公开(公告)日：2012-07-16
申请号：KR1020110001282
申请日：2011-01-06
申请人： 에스케이텔레콤 주식회사 , 주식회사 아이싸이랩
发明人： 박근태 , 최형인 , 위남숙 , 이두석 , 손정교 , 김행문 , 박용길 , 최승락 , 이동학 , 이종헌 , 이명성
IPC分类号： G06F17/27
CPC分类号： G06F17/27
摘要： PURPOSE: A method for converting a composite sentence including natural languages and mathematical formulas into logical expression, a device for the same, and a computer-readable recording medium for the same are provided to generate a rule required for searching mathematical questions based on natural language tokens. CONSTITUTION: An information inputting part(110) receives a composite sentence including natural languages and mathematical formulas. A sentence analyzing part(120) analyzes the structure of the composite sentence. The sentence analyzing part generates a mathematical formula token and a natural language token with respect to mathematical formula data and the natural languages. An action extracting part(130) extracts action information corresponding to the meaning of the natural language token. An action implementing part(140) structures the extracted action information to the mathematic formula token.
摘要翻译：目的：提供一种将包括自然语言和数学公式的复合句转换为逻辑表达式的方法，用于其的设备及其计算机可读记录介质，以产生基于自然语言搜索数学问题所需的规则令牌。构成：信息输入部分（110）接收包括自然语言和数学公式的复合句子。句子分析部分（120）分析复合句的结构。句子分析部分针对数学公式数据和自然语言生成数学公式令牌和自然语言令牌。动作提取部（130）提取与自然语言标记的含义对应的动作信息。动作实现部分（140）将所提取的动作信息构造到数学公式令牌。

7. 发明授权

KR101476229B1 수식 입력 방법 및 장치 有权
标题翻译：用于输入数学公式的方法和装置
公开(公告)号：KR101476229B1
公开(公告)日：2014-12-26
申请号：KR1020100108875
申请日：2010-11-03
申请人： 에스케이텔레콤 주식회사 , 주식회사 아이싸이랩
发明人： 최승락 , 위남숙 , 이두석 , 손정교 , 김행문 , 전성식 , 박용길 , 박근태 , 이동학
IPC分类号： G06F19/00
CPC分类号： G06F15/18 , G06F15/02 , G06F17/10 , G06F17/215
摘要： 본발명의일 실시예는수식입력방법및 장치에관한것이다.본발명의일 실시예는학습컨텐츠정보를제공받는학습자에대한학습정황정보를추출하는학습정황인식부; 상기학습정황정보에따라추출된필요수식기호를포함하는필요수식그룹을생성하는필요수식그룹추출부; 및상기필요수식그룹에서사용자의명령에의해입력또는선택된정보와연관되는예상수식기호리스트를선별하며, 상기예상수식기호리스트중 선택된수식이상기입력또는선택된정보에적용되도록하는예상수식제공부를포함하는것을특징으로하는수식입력장치를제공한다.본발명의일 실시예에의하면, 수식을입력하기위해사용자가수학교과과정전체수식기호중 특정기호를검색할필요없이연관된수식기호중 하나를선택할수 있도록하는효과가있다.

8. 发明授权

KR101431530B1 수학문장의 시맨틱거리 추출 및 시맨틱거리에 의한 수학문장의 분류방법과 그를 위한 장치 및 컴퓨터로 읽을 수 있는 기록매체 有权
标题翻译：用语义距离提取数学句子语义距离和分类数学句子的方法，具有程序的设备和计算机可读记录介质
公开(公告)号：KR101431530B1
公开(公告)日：2014-08-22
申请号：KR1020110130024
申请日：2011-12-07
申请人： 에스케이텔레콤 주식회사 , 주식회사 아이싸이랩
发明人： 박근태 , 박용길 , 최형인 , 위남숙 , 이두석 , 손정교 , 김행문 , 최승락 , 이동학
IPC分类号： G06F17/20 , G06F17/30
CPC分类号： G06F17/28 , G06F17/271 , G06F17/2785
摘要： 본 발명의 실시예는 수학문장의 시맨틱거리 추출 및 시맨틱거리에 의한 수학문장의 분류방법과 그를 위한 장치 및 컴퓨터로 읽을 수 있는 기록매체에 관한 것이다.
본 발명의 실시예는, 사용자로부터 퀴리를 수신하는 사용자쿼리 입력단계; 입력된 사용자 쿼리(Query)에 포함된 키워드(Key Word)를 추출하는 쿼리 파싱단계; 시맨틱 정보가 포함된 자연어토큰 및 수학식토큰가 색인화된 정보를 참조하여 상기 추출된 키워드와 상기 시맨틱 정보와의 시맨틱 거리를 측정하여 유사도를 획득하는 시맨틱거리 추출단계를 포함하는 것을 특징으로 하는 수학문장의 시맨틱거리 추출 및 시맨틱거리에 의한 수학문장의 분류방법과 그를 위한 장치 및 컴퓨터로 읽을 수 있는 기록매체를 제공한다.

9. 发明公开

KR1020120081314A 수학교육 서비스 시스템 및 그 서비스 방법, 수학문제 분석 및 생성 장치 및 그 방법 有权
标题翻译：数学教育服务系统与方法，数学问题分析与产生装置，云计算服务装置及方法
公开(公告)号：KR1020120081314A
公开(公告)日：2012-07-19
申请号：KR1020110002591
申请日：2011-01-11
申请人： 에스케이텔레콤 주식회사 , 주식회사 아이싸이랩
发明人： 박근태 , 위남숙 , 이두석 , 손정교 , 김행문 , 박용길 , 최승락 , 이동학 , 이종헌 , 이명성
IPC分类号： G06Q50/20
CPC分类号： G09B5/00 , G09B7/00
摘要： PURPOSE: A math education service system, a service method, a mathematical problem analysis and generating device, and a method thereof are provided to enable a learner to precisely understand the evaluation factors and are provided to increase the understanding of the learner, by transforming a mathematical problem and by suggesting the transformed mathematical problem. CONSTITUTION: A problem storage unit stores plural mathematical problem types. A modified method execution unit(220) executes plural problem transformation methods. A problem separator(210) collects the mathematical formulas, which are used in the mathematical problems. The problem separator(210) performs parsing for the collected formulas and separates at least one or more sections. The problem generator(230) generates the new applied problems.
摘要翻译：目的：提供数学教育服务系统，服务方法，数学问题分析和生成装置及其方法，使学习者能够准确地了解评估因素，并提供对学习者的理解，通过转换数学问题和建议转换的数学问题。构成：问题存储单元存储多个数学问题类型。修改方法执行单元（220）执行多个问题转换方法。问题分离器（210）收集在数学问题中使用的数学公式。问题分离器（210）对所收集的公式进行解析并分离至少一个或多个部分。问题生成器（230）生成新的应用问题。

10. 发明公开

KR1020120076810A 자연어와 수학식이 포함된 복합문장의 시맨틱 정보 추출방법과 그를 위한 장치 및 컴퓨터로 읽을 수 있는 기록매체 有权
标题翻译：提取包括自然语言和数学公式的复合语言的语义信息的方法，具有程序的设备和计算机可读记录介质
公开(公告)号：KR1020120076810A
公开(公告)日：2012-07-10
申请号：KR1020100138531
申请日：2010-12-30
申请人： 에스케이텔레콤 주식회사 , 주식회사 아이싸이랩
发明人： 박용길 , 박근태 , 최승락 , 이동학 , 이종헌 , 이명성 , 최형인 , 위남숙 , 이두석 , 손정교 , 김행문
IPC分类号： G06F17/27 , G06F15/16
摘要： PURPOSE: A semantic information extracting method, an apparatus for the same, and a recording media are provided to extract operation information of a complex sentence by automatically extracting semantic information from a mathematical problem consisting of natural language and standardized mathematical formula. CONSTITUTION: A separation unit(120) separates a complex sentence including natural language and mathematical formula into the natural language and the mathematical formula. A natural language processing unit(130) creates natural language token by tokenizing the natural language. A mathematical formula processing unit(140) parses the mathematical formula and extracts a semantic means and creates mathematical token. A rule storing unit(170) stores a rule combining a logical condition of the natural language and the mathematical formula, and operation information corresponding to the logical condition. An operation extracting unit(150) compares the natural language and the mathematical token with the logical condition of the rule and extracts the operation information of the complex sentence from the rule.
摘要翻译：目的：提供一种语义信息提取方法，一种装置和一种记录介质，通过从包括自然语言和标准化数学公式的数学问题自动提取语义信息来提取复杂句子的操作信息。构成：分离单元（120）将包括自然语言和数学公式的复杂句子分离成自然语言和数学公式。自然语言处理单元（130）通过对自然语言进行标记来创建自然语言令牌。数学公式处理单元（140）解析数学公式并提取语义手段并创建数学标记。规则存储单元（170）存储组合自然语言和数学公式的逻辑条件的规则以及与逻辑条件相对应的操作信息。操作提取单元（150）将自然语言和数学令牌与规则的逻辑条件进行比较，并从规则中提取复杂句子的操作信息。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式