[논문 리뷰] A Framework for Creating Natural Language User Interfaces for Action-Based Applications

Stephen Chong, Riccardo Pucella|ArXiv.org|2004. 12. 17.

Semantic Web and Ontologies참고 문헌 14인용 수 5

한 줄 요약

이 논문은 유형-논리 문법과 동작 계산법을 사용하여 행동 기반 응용 프로그램을 위한 자연어 사용자 인터페이스(NLUI)를 구축하기 위한 모듈식 프레임워크를 제시한다. 자연어 문장을 응용 프로그램 전용 절차를 호출하는 재사용 가능한 응용 프로그램 인터페이스를 통해 실행 가능한 고차원 논리 표현식으로 번역함으로써, 최소한의 응용 프로그램 전용 코드로 모듈식이고 확장 가능한 NLUI 개발을 가능하게 한다.

ABSTRACT

In this paper we present a framework for creating natural language interfaces to action-based applications. Our framework uses a number of reusable application-independent components, in order to reduce the effort of creating a natural language interface for a given application. Using a type-logical grammar, we first translate natural language sentences into expressions in an extended higher-order logic. These expressions can be seen as executable specifications corresponding to the original sentences. The executable specifications are then interpreted by invoking appropriate procedures provided by the application for which a natural language interface is being created.

연구 동기 및 목표

• 각 응용 프로그램당 최소한의 맞춤형 개발을 요구하면서도 행동 기반 응용 프로그램을 위한 자연어 사용자 인터페이스(NLUI)를 구축하는 데 도전 과제를 해결하기 위해.
• 자연어 처리 논리와 응용 프로그램 전용 기능을 분리하여 다양한 응용 프로그램 간에 재사용이 가능하도록 하기 위해.
• 고차원 논리 기반의 동작 계산법을 통해 명령형 자연어 문장의 형식적이고 실행 가능한 의미를 제공하기 위해.
• 카테고리 문법과 유형화 람다 계산법을 사용하여 자연어에서 응용 프로그램 수준의 동작으로의 조합적이고 모듈식 번역을 보장하기 위해.
• 표준화된 응용 프로그램 인터페이스 추상화를 통해 의미적으로 정확하고 실행 가능한 NLUI를 구축할 수 있도록 하기 위해.

제안 방법

• 자연어 문장을 고차원 논리의 중간 의미 표현으로 분석하기 위해 카테고리 문법을 사용한다.
• 단어를 응용 프로그램 인터페이스 작업에 연결하는 어휘를 사용하여 분석된 문장을 동작 계산법—간단한 유형 람다 계산법에 동작을 추가한 것—의 표현식으로 매핑한다.
• 유형-논리 문법을 사용하여 조합적 의미론을 보장하여 문장 의미가 단어 의미와 문법적 구조에서 유도됨을 확보한다.
• 응용 프로그램 인터페이스를 통한 호출을 통해 결과적인 동작 계산법 표현식을 실행하여 상태를 수정하는 실제 절차를 제공한다.
• 응용 프로그램 상태의 모델과 상태 전이 규칙의 집합을 사용하여 동작 계산법의 형식적 의미론을 정의한다.
• 해당 어휘와 응용 프로그램 인터페이스를 제외하고는 응용 프로그램 간에 재사용 가능한 일반적인 동작 계산법 인터프리터와 문법 분석기를 활용한다.

실험 결과

연구 질문

• RQ1 어떻게 자연어 문장을 행동 기반 응용 프로그램을 위한 실행 가능한 동작으로 체계적이고 조합적으로 번역할 수 있는가?
• RQ2 어떤 형식적 프레임워크가 다양한 응용 프로그램 간에 재사용 가능한 구성 요소를 허용하면서 NLUI 개발의 모듈성을 지원하는가?
• RQ3 유형-논리 문법을 어떻게 사용하여 자연어 입력으로부터 실행 가능한 사양을 생성할 수 있는가?
• RQ4 표준화된 응용 프로그램 인터페이스는 어떻게 분리된 NLUI 개발을 가능하게 하는가?
• RQ5 어떻게 고차원 논리 기반의 동작 계산법을 사용하여 명령형 자연어의 의미론을 형식적으로 포착하고 실행할 수 있는가?

주요 결과

• 프레임워크는 자연어 처리와 응용 프로그램 로직을 성공적으로 분리하여, 문법 분석기와 동작 인터프리터를 다양한 응용 프로그램 간에 재사용할 수 있도록 한다.
• 유형-논리 문법의 사용은 조합적 의미론을 보장하여 문장 의미가 그 구성 요소의 의미와 문법적 구조에서 파생됨을 보장한다.
• 동작 계산법은 응용 프로그램 인터페이스 호출을 통해 해석될 수 있는 고차원 논리 표현식으로서 자연어 명령어의 형식적이고 실행 가능한 표현을 제공한다.
• 프레임워크는 오직 어휘와 응용 프로그램 인터페이스만을 각 응용 프로그램에 맞게 맞춤 설정하면 되므로, 응용 프로그램 전용 코드의 최소화를 지원한다.
• 동작 계산법의 형식적 의미론은 번역된 표현식의 실행이 대상 응용 프로그램의 의도된 상태 전이와 정확히 일치함을 보장한다.
• 프레임워크의 아키텍처는 GUI, 명령줄, 음성 등 다양한 사용자 인터페이스가 동일한 응용 프로그램 인터페이스를 공유할 수 있도록 하여 인터페이스 재사용과 확장성 향상을 촉진한다.