[논문 리뷰] A Principled Framework for Constructing Natural Language Interfaces To Temporal Databases

Ioannis Androutsopoulos|arXiv (Cornell University)|1996. 09. 23.

Semantic Web and Ontologies참고 문헌 118인용 수 15

한 줄 요약

이 논문은 시제 이론, 시간 논리, 관계형 데이터베이스 의미론을 통합하여 시간 기반 데이터베이스(NLI-TDB)를 위한 체계적인 프레임워크를 제시한다. 시간 의미 표현 언어(Top)를 정의하고, HPSG 문법을 확장하여 영어 시간 쿼리를 Top 표현식으로 매핑하며, Top에서 T-SQL2로의 정확한 번역을 증명함으로써 시간 인식 데이터베이스에 대한 정확한 쿼리가 가능하게 한다.

ABSTRACT

Most existing natural language interfaces to databases (NLIDBs) were designed to be used with ``snapshot'' database systems, that provide very limited facilities for manipulating time-dependent data. Consequently, most NLIDBs also provide very limited support for the notion of time. The database community is becoming increasingly interested in _temporal_ database systems. These are intended to store and manipulate in a principled manner information not only about the present, but also about the past and future. This thesis develops a principled framework for constructing English NLIDBs for _temporal_ databases (NLITDBs), drawing on research in tense and aspect theories, temporal logics, and temporal databases. I first explore temporal linguistic phenomena that are likely to appear in English questions to NLITDBs. Drawing on existing linguistic theories of time, I formulate an account for a large number of these phenomena that is simple enough to be embodied in practical NLITDBs. Exploiting ideas from temporal logics, I then define a temporal meaning representation language, TOP, and I show how the HPSG grammar theory can be modified to incorporate the tense and aspect account of this thesis, and to map a wide range of English questions involving time to appropriate TOP expressions. Finally, I present and prove the correctness of a method to translate from TOP to TSQL2, TSQL2 being a temporal extension of the SQL-92 database language. This way, I establish a sound route from English questions involving time to a general-purpose temporal database language, that can act as a principled framework for building NLITDBs. To demonstrate that this framework is workable, I employ it to develop a prototype NLITDB, implemented using ALE and Prolog.

연구 동기 및 목표

• 기존 자연어 데이터베이스 인터페이스(NLI-DDB)에서 시간적 요소에 대한 견고한 지원이 부족한 문제를 해결하되, 주로 현재 시제 쿼리만 다루고 복잡한 시간 표현을 忽略하는 경향이 있음.
• 시간 현상(예: 동사 시제, 어간, 시간 부사어, 복합 문장)을 언어학적으로 근거를 두고 통합된 공식 의미론 프레임워크 내에서 해석하는 방법을 개발함.
• 시간을 포함하는 자연어 질문을 표준 시간 기반 데이터베이스 언어(T-SQL2)로 정확하게 변환하는 정확하고 체계적인 번역 파이프라인을 확립함.
• ALE 문법 시스템과 Prolog를 사용하여 개발된 기능 프로토타입을 통해 프레임워크의 실현 가능성을 입증함. 이 프로토타입은 비트리비얼한 영어 시간 쿼리 조각을 처리할 수 있음.

제안 방법

• 시제 이론과 시간 논리의 통찰을 활용하여 시간 언어 현상(시제, 어간, 부사어, 복합 문장)을 공식화함.
• 시간 표현의 의미를 표현력 있고 계산적으로 타당한 방식으로 포괄할 수 있는 시간 의미 표현 언어(Top)를 정의함.
• 다양한 영어 시간 쿼리를 동일한 Top 표현식으로 매핑할 수 있도록 HPSG를 새로운 시제 및 어간 이론으로 확장함.
• Top 표현식에서 T-SQL2(.SQL-92의 시간 확장)로의 번역 방법을 설계하고, 의미적 동치성을 보장하는 정확성에 대해 공식적으로 증명함.
• ALE 문법 개발 시스템과 Pro로그를 사용하여 프로토타입 NLI-TDB를 구현함. 실질적인 도메인(항공 교통 관제)에서 프레임워크를 검증함.
• 기능-구조 표현과 제약 기반 파싱을 활용하여 복잡한 시간 쿼리의 정밀한 의미 해석을 보장함.

실험 결과

연구 질문

• RQ1 어떻게 자연어 시간 표현(예: 동사 시제, 어간 클래스, 시간 부사어)을 공식적 시간 의미론으로 체계적으로 매핑할 수 있는가?
• RQ2 영어에서 발생하는 시간 현상의 전반을 포괄할 수 있고, 데이터베이스 쿼리 언어와 호환되는 공식 표현 언어는 무엇인가?
• RQ3 HPSG와 같은 문법 형식은 어떻게 확장되어 자연어 시간 구조를 공식 의미 표현으로 정확히 해석하고 매핑할 수 있는가?
• RQ4 공식적 시간 의미 표현(Top)에서 표준 시간 기반 데이터베이스 언어(T-SQL2)로의 번역에 대해 정확하고 타당한 방법은 무엇인가?
• RQ5 체계적이고 언어학적으로 근거를 둔 프레임워크는 실제로 작동 가능한 프로토타입으로 구현되어 자연어 질문에서 시간을 포함하는 쿼리를 실행 가능한 데이터베이스 쿼리로 정확히 변환할 수 있는가?

주요 결과

• 프레임워크는 복잡한 시제, 어간 클래스, 시간 부사어를 포함한 다양한 영어 시간 쿼리를 공식 의미 표현(Top)으로 성공적으로 매핑함.
• Top 언어는 '이전', '이후', '동안', '동안' 등의 시간 관계를 시간 기반 데이터베이스 시스템과 호환되는 방식으로 정확하고 체계적으로 표현할 수 있음.
• Top에서 T-SQL2로의 번역 과정은 공식적으로 정확성이 입증되어 원본 자연어 쿼리의 의미가 생성된 데이터베이스 쿼리에 그대로 유지됨을 보장함.
• ALE와 Prolog를 사용하여 구현된 프로토타입 NLI-TDB는 비트리비얼한 영어 시간 쿼리 조각을 정확히 처리함으로써 프레임워크의 실용적 실현 가능성을 입증함.
• 상태, 활동, 완료 행동 등의 미묘한 어간 차이와 시간 부사어, '전', '후' 등의 복합 문장과의 상호작용을 정밀한 의미 경계로 처리함.
• 기존 시스템에서 흔히 볼 수 있는 부호화나 히وري스틱적 해석을 피하기 위해, 공식적 시간 논리에 기반하여 시간 표현의 모호성을 해결함.