| 1 |
1
프로세서(processor); 및프로세서를 통해 실행되는 적어도 하나의 명령이 저장된 메모리(memory); 를 포함하고, 상기 적어도 하나의 명령은 상기 프로세서가:(a) 프로그램 확장 장치를 이용하여 현재의 부분 프로그램에 추가될 새로운 프로그램 토큰을 생성하고, 해당 부분 프로그램과 토큰을 출력하는 단계;(b) 삽입 제약 조건 검사 장치가 삽입 제약 조건 목록 데이터에 포함된 제약 조건을 적용하여 전달 받은 부분 프로그램에 전달 받은 프로그램 토큰을 추가하기 적합한지 계산하는 단계; (c) 삽입 제약 조건 검사 장치가 사실이라는 토큰 삽입 적합성을 전달 받았고 전달된 프로그램이 감축 가능하다면 (d) 단계를 실행하고, 그렇지 않으면 (a) 단계가 실행되는 단계;(d) 감축 제약 조건 검사 장치가 감축 제약 조건 목록 데이터(30)에 포함된 제약 조건을 적용하여 전달 받은 부분 프로그램이 감축하기 적합한지 계산하는 단계; 및(e) 감축 제약 조건 검사 장치에서 사실이라는 감축 적합성을 전달 받았고, 전달 받은 프로그램이 완전하다면, 최종 프로그램을 출력하고 종료하고, 그렇지 않으면 (a) 단계가 실행되는 단계; 를 수행하도록 구성되는,제약 조건을 이용하는 질의 응답 시스템
|
| 2 |
2
청구항 1에 있어서, (a) 프로그램 확장 장치를 이용하여 현재의 부분 프로그램에 추가될 새로운 프로그램 토큰을 생성하고, 해당 부분 프로그램과 토큰을 출력하는 단계는,만약 이후 단계에서 부분 프로그램을 전달 받지 못했거나 더 이상 생성한 프로그램 토큰이 없다면, 빔 탐색(beam search) 등의 탐색 알고리즘을 적용하여 다른 상태에서 프로그램 확장 장치를 이용하여 현재의 부분 프로그램에 추가될 새로운 프로그램 토큰을 생성하고, 출력하는 과정을 다시 수행하는 단계인,제약 조건을 이용하는 질의 응답 시스템
|
| 3 |
3
청구항 1에 있어서, (b) 삽입 제약 조건 검사 장치가 삽입 제약 조건 목록 데이터에 포함된 제약 조건을 적용하여 전달 받은 부분 프로그램에 전달 받은 프로그램 토큰을 추가하기 적합한지 계산하는 단계는,토큰 삽입 적합성이 사실로 판명이 되면, 프로그램에 토큰을 삽입하고 토큰이 삽입된 부분 프로그램과 토큰 삽입 적합성을 출력하고, 토큰 삽입 적합성이 거짓으로 판명되면, 토큰 삽입 적합성만 출력하는 단계인,제약 조건을 이용하는 질의 응답 시스템
|
| 4 |
4
청구항 1에 있어서, (d) 감축 제약 조건 검사 장치가 감축 제약 조건 목록 데이터에 포함된 제약 조건을 적용하여 전달 받은 부분 프로그램이 감축하기 적합한지 계산하는 단계는,감축 적합성이 사실로 판명이 되면, 프로그램을 감축하고 감축된 부분 프로그램과 감축 적합성을 출력하고, 검사 결과가 거짓으로 판명 되면 감축 적합성만 출력하는 단계인,제약 조건을 이용하는 질의 응답 시스템
|
| 5 |
5
청구항 1에 있어서, 상기 시스템은,사용자 질의 데이터와 부분 프로그램을 입력으로 해당 부분 프로그램과 새로운 프로그램 토큰을 출력하는 프로그램 확장 장치; 부분 프로그램과 삽입 제약 조건 목록 데이터를 입력으로 하여 토큰이 삽입된 부분 프로그램과 토큰 삽입 적합성을 출력하는 삽입 제약 조건 검사 장치; 부분 프로그램과 감축 제약 조건 목록 데이터를 입력으로 하여 감축된 부분 프로그램과 감축 적합성을 출력하는 감축 제약 조건 검사 장치;사용자 질의 데이터, 삽입 제약 조건 목록 데이터 및 감축 제약 조건 목록 데이터를 입력받아 질의 응답 프로그램을 출력하는 질의 응답 프로그램 생성 장치; 및프로그램과 지식 베이스 데이터를 입력으로 프로그램을 실행시키고 그 결과를 정답 데이터로 출력하는 프로그램 실행 장치; 를 포함하는,제약 조건을 이용하는 질의 응답 시스템
|
| 6 |
6
청구항 5에 있어서, 사용자 질의 데이터는,사용자의 자연어 발화에 대응되는 텍스트를 의미하고, 사용자 질의 데이터가 요구하는 기준에 충족하는 정답을 질의 응답 시스템이 출력하는,제약 조건을 이용하는 질의 응답 시스템
|
| 7 |
7
청구항 5에 있어서, 삽입 제약 조건 목록 데이터는,여러 삽입 제약 조건(insertion constraint)들을 포함하는 목록을 의미하고, 각 삽입 제약 조건(insertion constraint)은 부분 프로그램과 프로그램 토큰을 입력으로 프로그램 토큰이 부분 프로그램에 삽입되었을 때 적합한 프로그램이 될 수 있는지를 출력하는 함수인, 제약 조건을 이용하는 질의 응답 시스템
|
| 8 |
8
청구항 5에 있어서, 감축 제약 조건 목록 데이터는,여러 감축 제약 조건(reduction constraint)들을 포함하는 목록이다
|
| 9 |
9
청구항 5에 있어서, 지식 베이스 데이터는,정답 데이터를 계산하기 위한 정형 데이터의 집합이고, 최종적으로 질의 응답 시스템이 출력한 결과인,제약 조건을 이용하는 질의 응답 시스템
|
| 10 |
10
청구항 5에 있어서, 삽입 제약 조건은,003c#and003e# 토큰이 여러 개의 003c#bool003e# 타입의 인자를 포함하므로 다른 003c#and003e# 토큰을 인자로 받을 필요가 없고,삽입 제약 조건은 현재 부분 프로그램이 "(program
|
| 11 |
11
청구항 5에 있어서, 감축 제약 조건은, 003c#lambda003e# 토큰이 선언된 변수가 사용되지 않으면 의미가 없으므로 선언된 변수가 003c#lambda003e# 토큰의 몸통(body)에 포함되고,해당 제약 조건은 "program
|
| 12 |
12
제약 조건을 이용하는 질의 응답 시스템의 정보 제공 방법에 있어서,(a) 프로그램 확장 장치를 이용하여 현재의 부분 프로그램에 추가될 새로운 프로그램 토큰을 생성하고, 해당 부분 프로그램과 토큰을 출력하는 단계;(b) 삽입 제약 조건 검사 장치가 삽입 제약 조건 목록 데이터에 포함된 제약 조건을 적용하여 전달 받은 부분 프로그램에 전달 받은 프로그램 토큰을 추가하기 적합한지 계산하는 단계; (c) 삽입 제약 조건 검사 장치가 사실이라는 토큰 삽입 적합성을 전달 받았고 전달된 프로그램이 감축 가능하다면 (d) 단계를 실행하고, 그렇지 않으면 (a) 단계가 실행되는 단계;(d) 감축 제약 조건 검사 장치가 감축 제약 조건 목록 데이터에 포함된 제약 조건을 적용하여 전달 받은 부분 프로그램이 감축하기 적합한지 계산하는 단계; 및(e) 감축 제약 조건 검사 장치에서 사실이라는 감축 적합성을 전달 받았고, 전달 받은 프로그램이 완전하다면, 최종 프로그램을 출력하고 종료하고, 그렇지 않으면 (a) 단계가 실행되는 단계; 를 포함하는,제약 조건을 이용하는 질의 응답 시스템의 정보 제공 방법
|
| 13 |
13
청구항 12에 있어서, (a) 프로그램 확장 장치를 이용하여 현재의 부분 프로그램에 추가될 새로운 프로그램 토큰을 생성하고, 해당 부분 프로그램과 토큰을 출력하는 단계는, 프로그램 확장 장치를 이용하여 현재의 부분 프로그램에 추가될 새로운 프로그램 토큰을 생성하고, 해당 부분 프로그램과 토큰을 출력하고,만약 이후 단계에서 부분 프로그램을 전달 받지 못했거나 더 이상 생성한 프로그램 토큰이 없다면, 빔 탐색(beam search) 등의 탐색 알고리즘을 적용하여 다른 상태에서 프로그램 확장 장치(100)를 이용하여 현재의 부분 프로그램에 추가될 새로운 프로그램 토큰을 생성하고, 출력하는 과정을 다시 수행하는,제약 조건을 이용하는 질의 응답 시스템의 정보 제공 방법
|
| 14 |
14
청구항 12에 있어서, (b) 삽입 제약 조건 검사 장치가 삽입 제약 조건 목록 데이터에 포함된 제약 조건을 적용하여 전달 받은 부분 프로그램에 전달 받은 프로그램 토큰을 추가하기 적합한지 계산하는 단계는, 삽입 제약 조건 검사 장치는 삽입 제약 조건 목록 데이터에 포함된 제약 조건을 적용하여 전달 받은 부분 프로그램에 전달 받은 프로그램 토큰을 추가하기 적합한지 계산하고,토큰 삽입 적합성이 사실로 판명이 되면, 프로그램에 토큰을 삽입하고 토큰이 삽입된 부분 프로그램과 토큰 삽입 적합성을 출력하고,토큰 삽입 적합성이 거짓으로 판명되면, 토큰 삽입 적합성만 출력하는,제약 조건을 이용하는 질의 응답 시스템의 정보 제공 방법
|
| 15 |
15
청구항 12에 있어서, (c) 삽입 제약 조건 검사 장치가 사실이라는 토큰 삽입 적합성을 전달 받았고 전달된 프로그램이 감축 가능하다면 (d) 단계를 실행하고, 그렇지 않으면 (a) 단계가 실행되는 단계는, 삽입 제약 조건 검사 장치에서 사실이라는 토큰 삽입 적합성을 전달 받았고 전달된 프로그램이 감축 가능하다면, (d) 단계로 이동하고,그렇지 않으면 (a) 단계의 프로그램 확장 장치를 이용하여 프로그램 토큰을 생성하고 출력하는 단계가 실행되는,제약 조건을 이용하는 질의 응답 시스템의 정보 제공 방법
|
| 16 |
16
청구항 12에 있어서, (d) 감축 제약 조건 검사 장치가 감축 제약 조건 목록 데이터에 포함된 제약 조건을 적용하여 전달 받은 부분 프로그램이 감축하기 적합한지 계산하는 단계는, 감축 제약 조건 검사 장치가 감축 제약 조건 목록 데이터에 포함된 제약 조건을 적용하여 전달 받은 부분 프로그램이 감축하기 적합한지 계산하고,감축 적합성이 사실로 판명이 되면, 프로그램을 감축하고 감축된 부분 프로그램과 감축 적합성을 출력하고,검사 결과가 거짓으로 판명되면 감축 적합성만 출력하는,제약 조건을 이용하는 질의 응답 시스템의 정보 제공 방법
|
| 17 |
17
청구항 12에 있어서, (e) 감축 제약 조건 검사 장치에서 사실이라는 감축 적합성을 전달 받았고, 전달 받은 프로그램이 완전하다면, 최종 프로그램을 출력하고 종료하고, 그렇지 않으면 (a) 단계가 실행되는 단계는, 감축 제약 조건 검사 장치에서 사실이라는 감축 적합성을 전달받았고, 전달받은 프로그램이 완전하다면, 최종 프로그램을 출력하고 종료하고,그렇지 않으면 (a) 단계의 프로그램 토큰을 생성하고 출력하는 단계가 실행되는,제약 조건을 이용하는 질의 응답 시스템의 정보 제공 방법
|
| 18 |
18
청구항 12에 있어서, 상기 방법은,자연어 발화 x ∈ X가 입력되었을 때, 대응되는 프로그램 z ∈ Z를 출력하는 S2S 기반 시맨틱 파서 fθ:X → Z 를 학습하고,시맨틱 파서는 수학식 1 및 수학식 2와 같이 정의되는, 제약 조건을 이용하는 질의 응답 시스템의 정보 제공 방법
|
| 19 |
19
청구항 12 내지 청구항 18중 어느 한 항의 제약 조건을 이용하는 질의 응답 시스템의 정보 제공 방법을 구현하기 위한 컴퓨터 판독 가능한 기록매체에 저장된 컴퓨터 프로그램
|
| 20 |
20
청구항 12내지 청구항 18중 어느 한 항의 제약 조건을 이용하는 질의 응답 시스템의 정보 제공 방법의 프로그램을 구현하기 위한 컴퓨터 판독 가능한 기록매체
|
