[論文レビュー] A Framework for Natural Language Interfaces to Temporal Databases

Ion Androutsopoulos, Graéme Ritchie+1 more|ArXiv.org|Nov 25, 1996

Constraint Satisfaction and Optimization参考文献 23被引用数 4

ひとこと要約

本論文は、時間的変動データを扱う時系列データベース向けに、自然言語クエリを時系列データベースクエリに翻訳するための形式的枠組み、TOP（Temporal Object-oriented Predicate logic）を提示する。HPSGに基づく構文解析と、TSQL2への証明可能に正しい翻訳手順を統合することで、時系列データの自然言語による正確かつ意味論的に根拠のあるアクセスを可能にする。

ABSTRACT

Over the past thirty years, there has been considerable progress in the design of natural language interfaces to databases. Most of this work has concerned snapshot databases, in which there are only limited facilities for manipulating time-varying information. The database community is becoming increasingly interested in temporal databases, databases with special support for time-dependent entries. We have developed a framework for constructing natural language interfaces to temporal databases, drawing on research on temporal phenomena within logic and linguistics. The central part of our framework is a logic-like formal language, called TOP, which can capture the semantics of a wide range of English sentences. We have implemented an HPSG-based sentence analyser that converts a large set of English queries involving time into TOP formulae, and have formulated a provably correct procedure for translating TOP expressions into queries in the TSQL2 temporal database language. In this way we have established a sound route from English to a general-purpose temporal database language.

研究の動機と目的

• 時系列データを扱う時系列データベースに対する自然言語インターフェースの欠落を補うこと、これは従来のスナップショットデータベースとは対照的である。
• 自然言語に現れる複雑な時系列現象を捉えることができる形式的意味論的表現言語を開発すること。
• 自然言語クエリを実行可能なTSQL2時系列データベース言語への正確で正しい翻訳を可能にすること。
• 言語学的および論理的形式的体系を用いて、英語の発話から時系列データベースクエリに至る、論理的で堅牢なパイプラインを確立すること。
• 原理的かつ拡張可能で、幅広い英語の時系列表現を扱えるアーキテクチャを提供すること。

提案手法

• 時系列自然言語文の意味を表現するための、論理に類似した形式的言語TOP（Temporal Object-oriented Predicate logic）の設計。
• 時間を含む多様な英語クエリをTOP式にマッピングするHPSGに基づく文解析器の開発。
• TOP式からTSQL2（時系列データベースの標準言語）への、証明可能に正しい翻訳手順の規定。
• 言語学的解析（HPSG）、形式的意味論（TOP）、データベースクエリ生成（TSQL2）を統合した統一された処理パイプラインへの統合。
• 論理学および言語学における時系列現象に関する知見を活用し、翻訳における意味の正確性を保証すること。
• TOPからTSQL2への翻訳の正しさを保証する形式的証明の活用により、意味の損失がないことを保証すること。

実験結果

リサーチクエスチョン

• RQ1 時間的要因を含む自然言語クエリを、時系列的意味を十分に捉えられるだけの表現力を持つ形式的表現でどのように記述できるか？
• RQ2 自然言語における時間関連表現を信頼性高く解析・解釈するために、どのような言語学的および論理的要素が必要か？
• RQ3 自然言語の意味論から標準時系列データベース言語（TSQL2）への、証明可能に正しい翻訳を達成できるか？
• RQ4 意味の正確性を保ちながら、広範な英語の時系列クエリを処理できる枠組みをどのように設計できるか？
• RQ5 形式的意味論的表現は、自然言語理解と時系列データベースクエリの間を橋渡しするために、どのような役割を果たすか？

主な発見

• TOP形式的表現は、時間的関係が複雑な英語文を含め、広範な文の意味を効果的に捉えている。
• HPSGに基づく解析器は、時間的表現を含む多数の自然言語クエリを効果的に処理し、それらをTOP式に変換している。
• TOPからTSQL2への翻訳は形式的に正しく証明されており、元のクエリの意味がデータベースクエリに正確に保持されていることが保証されている。
• 本フレームワークは、自然言語入力から実行可能なTSQL2クエリに至る、信頼性の高いエンドツーエンドパイプラインを確立している。
• 本アプローチは、スナップショットデータベースと比較してこれまであまり研究が進んでいなかった分野である時系列データベース向け自然言語インターフェースの実現可能性と正しさを示している。
• 本システムのアーキテクチャは拡張可能であり、形式的論理および言語学理論に根拠を置いているため、将来的な拡張およびより広範な応用が可能である。