맞춤기술찾기

이전대상기술

인간의 전략을 인공신경망에 적용한 문장형 대수 문제 풀이 방법 및 장치

  • 기술번호 : KST2024000050
  • 담당센터 : 서울동부기술혁신센터
  • 전화번호 : 02-2155-3662
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 문제 풀이 장치 및 방법을 제시한다. 문제 풀이 장치는 데이터를 입력받고, 이를 연산 처리한 결과를 출력하기 위한 입출력부, 문제 풀이 방법을 수행하기 위한 프로그램이 저장되는 저장부, 및 적어도 하나의 프로세스를 포함하며, 상기 프로그램을 실행시킴으로써 상기 입출력부를 통해 수신된 데이터를 분석하는 제어부를 포함하고, 상기 제어부는, 문장형 수학 문제를 입력받아 인코더-디코더 기반의 설명문 생성 모델을 통해 상기 문장형 수학 문제에 내포된 숫자와 변수에 관한 설명문을 생성하여 출력하고, 상기 문장형 수학 문제, 상기 생성된 설명문, 또는 이들의 조합을 입력받아 인코더-디코더 기반의 수학식 생성 모델을 통해 수학식을 생성하여 출력한다.
Int. CL G06N 3/0455 (2023.01.01) G06F 40/284 (2020.01.01) G06F 40/211 (2020.01.01) G06F 40/56 (2020.01.01)
CPC G06N 3/0455(2013.01) G06F 40/284(2013.01) G06F 40/211(2013.01) G06F 40/56(2013.01)
출원번호/일자 1020220172570 (2022.12.12)
출원인 서울대학교산학협력단
등록번호/일자
공개번호/일자 10-2023-0166853 (2023.12.07) 문서열기
공고번호/일자
국제출원번호/일자
국제공개번호/일자
우선권정보 대한민국  |   1020220066373   |   2022.05.30
법적상태 공개
심사진행상태 수리
심판사항
구분 국내출원/신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2022.12.12)
심사청구항수 10

출원인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 출원인 표입니다.
번호 이름 국적 주소
1 서울대학교산학협력단 대한민국 서울특별시 관악구

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 권가진 서울특별시 관악구
2 김부근 서울특별시 관악구
3 기경서 서울특별시 관악구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 특허법인 아이스퀘어 대한민국 서울특별시 강남구 선릉로***,**층 ***호(대치동)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
최종권리자 정보가 없습니다
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [특허출원]특허출원서
[Patent Application] Patent Application
2022.12.12 수리 (Accepted) 1-1-2022-1332682-36
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
데이터를 입력받고, 이를 연산 처리한 결과를 출력하기 위한 입출력부;문제 풀이 방법을 수행하기 위한 프로그램이 저장되는 저장부; 및적어도 하나의 프로세스를 포함하며, 상기 프로그램을 실행시킴으로써 상기 입출력부를 통해 수신된 데이터를 분석하는 제어부를 포함하고,상기 제어부는,문장형 수학 문제를 입력받아 인코더-디코더 기반의 설명문 생성 모델을 통해 상기 문장형 수학 문제에 내포된 숫자와 변수에 관한 설명문을 생성하여 출력하고,상기 문장형 수학 문제, 상기 생성된 설명문, 또는 이들의 조합을 입력받아 인코더-디코더 기반의 수학식 생성 모델을 통해 수학식을 생성하여 출력하는, 문제 풀이 장치
2 2
제 1 항에 있어서,상기 설명문 생성 모델의 상기 인코더는 상기 문장형 수학 문제를 입력받아 토큰으로 분절하고 각 토큰마다 상기 문장형 수학 문제의 맥락 정보를 나타내는 문제 맥락 벡터를 출력하고,상기 설명문 생성 모델은 상기 설명문 생성 모델의 상기 인코더 및 상기 디코더 사이에 연결된 변수 예측기를 포함하고, 상기 변수 예측기는 상기 문제 맥락 벡터를 입력받아 대푯값을 변형하여 상기 문장형 수학 문제를 풀기 위해 필요한 상기 변수의 개수를 예측하고,상기 설명문 생성 모델의 상기 디코더는 상기 문제 맥락 벡터, 상기 변수의 개수를 고려한 변수, 및 상기 문장형 수학 문제의 숫자를 입력받아 이전에 생성된 설명 토큰을 기반으로 상기 디코더의 은닉 상태를 계산하고,상기 설명문 생성 모델은 상기 디코더에 연결된 포인터 생성기를 포함하고, 상기 포인터 생성기는 상기 디코더의 상기 은닉 상태를 입력받아 다음 설명 토큰을 예측하는, 문제 풀이 장치
3 3
제 1 항에 있어서,상기 제어부는, 상기 설명문 생성 모델을 통해 상기 문장형 수학 문제에서 상기 숫자가 위치하는 문맥을 선별하여 생성한 상기 숫자에 관한 설명문을 제1 문장으로 재구조화하고, 상기 설명문 생성 모델을 통해 상기 변수의 인덱스를 이용하여 생성한 상기 변수에 관한 설명문을 제2 문장으로 재구조화하고,재구조화한 상기 제1 문장 및 상기 제2 문장을 결합하여 재결합 문제를 생성하는, 문제 풀이 장치
4 4
제 3 항에 있어서,상기 제어부는,상기 재결합 문제 및 상기 문장형 수학 문제를 상기 수학식 생성 모델의 상기 인코더에 입력하고, 상기 수학식 생성 모델의 상기 인코더는 상기 재결합 문제 및 상기 문장형 수학 문제를 입력받아 재결합 맥락 벡터를 출력하고, 상기 수학식 생성 모델의 상기 디코더는 상기 재결합 맥락 벡터를 입력받아 연산자와 필요한 피연산자를 그룹화한 표현식 토큰 단위를 사용하여 상기 수학식을 생성하는, 문제 풀이 장치
5 5
문제 풀이 장치에 의한 문제 풀이 방법에 있어서,문장형 수학 문제를 입력받아 인코더-디코더 기반의 설명문 생성 모델을 통해 상기 문장형 수학 문제에 내포된 숫자와 변수에 관한 설명문을 생성하여 출력하는 단계; 및 상기 문장형 수학 문제, 상기 생성된 설명문, 또는 이들의 조합을 입력받아 인코더-디코더 기반의 수학식 생성 모델을 통해 수학식을 생성하여 출력하는 단계를 포함하는, 문제 풀이 방법
6 6
제 5 항에 있어서,상기 설명문 생성 모델의 상기 인코더는 상기 문장형 수학 문제를 입력받아 토큰으로 분절하고 각 토큰마다 상기 문장형 수학 문제의 맥락 정보를 나타내는 문제 맥락 벡터를 출력하고,상기 설명문 생성 모델은 상기 설명문 생성 모델의 상기 인코더 및 상기 디코더 사이에 연결된 변수 예측기를 포함하고, 상기 변수 예측기는 상기 문제 맥락 벡터를 입력받아 대푯값을 변형하여 상기 문장형 수학 문제를 풀기 위해 필요한 상기 변수의 개수를 예측하고,상기 설명문 생성 모델의 상기 디코더는 상기 문제 맥락 벡터, 상기 변수의 개수를 고려한 변수, 및 상기 문장형 수학 문제의 숫자를 입력받아 이전에 생성된 설명 토큰을 기반으로 상기 디코더의 은닉 상태를 계산하고, 상기 설명문 생성 모델은 상기 디코더에 연결된 포인터 생성기를 포함하고, 상기 포인터 생성기는 상기 디코더의 상기 은닉 상태를 입력받아 다음 설명 토큰을 예측하는, 문제 풀이 방법
7 7
제 5 항에 있어서,상기 수학식을 생성하여 출력하는 단계는,상기 설명문 생성 모델을 통해 상기 문장형 수학 문제에서 상기 숫자가 위치하는 문맥을 선별하여 생성한 상기 숫자에 관한 설명문을 제1 문장으로 재구조화하고, 상기 설명문 생성 모델을 통해 상기 변수의 인덱스를 이용하여 생성한 상기 변수에 관한 설명문을 제2 문장으로 재구조화하고,재구조화한 상기 제1 문장 및 상기 제2 문장을 결합하여 재결합 문제를 생성하는, 문제 풀이 방법
8 8
제 7 항에 있어서,상기 수학식을 생성하여 출력하는 단계는,상기 재결합 문제 및 상기 문장형 수학 문제를 상기 수학식 생성 모델의 상기 인코더에 입력하고,상기 수학식 생성 모델의 상기 인코더는 상기 재결합 문제 및 상기 문장형 수학 문제를 입력받아 재결합 맥락 벡터를 출력하고, 상기 수학식 생성 모델의 상기 디코더는 상기 재결합 맥락 벡터를 입력받아 연산자와 필요한 피연산자를 그룹화한 표현식 토큰 단위를 사용하여 상기 수학식을 생성하는, 문제 풀이 방법
9 9
제 5 항에 기재된 방법을 수행하는 프로그램이 기록된 컴퓨터 판독 가능한 기록 매체
10 10
문제 풀이 장치에 의해 수행되며, 제 5 항에 기재된 방법을 수행하기 위해 기록 매체에 저장된 컴퓨터 프로그램
지정국 정보가 없습니다
패밀리정보가 없습니다
국가 R&D 정보가 없습니다.