[论文解读] A Principled Framework for Constructing Natural Language Interfaces To Temporal Databases

Ioannis Androutsopoulos|arXiv (Cornell University)|Sep 23, 1996

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，以表达性且计算可处理的方式捕捉时间表达的语义。
• 通过引入新颖的时态与体貌分析，扩展头驱动短语结构语法（HPSG），将多样的英语时态查询映射为等价的Top表达式。
• 设计并形式化证明从Top表达式到T-SQL2（SQL-92的时态扩展）的翻译方法的正确性，确保语义等价性。
• 使用ALE语法开发系统和Prolog实现一个可运行的NLI-TDB原型，基于真实领域（空中交通管制）验证该框架。
• 采用特征结构表示和基于约束的解析，确保对复杂时态查询的精确语义解释。

实验结果

研究问题

• RQ1 如何系统地将自然语言时态表达（如动词时态、体貌类别和时间副词短语）映射到形式化时态语义？
• RQ2 何种形式化表示语言既具备捕捉英语中全部时态现象的表达能力，又能与数据库查询语言兼容？
• RQ3 如何扩展HPSG等语法形式化方法，以正确解释并映射时态语言结构到形式化语义表示？
• RQ4 从形式化时态语义表示（Top）到标准时态数据库语言（T-SQL2）的正确且可靠翻译方法是什么？
• RQ5 能否将一种系统性、基于语言学动机的框架实现为可运行原型，准确将涉及时间的自然语言问题翻译为可执行的数据库查询？

主要发现

• 该框架成功将广泛多样的英语时态查询（包括复杂时态、体貌类别和时间副词短语）映射为形式化语义表示（Top）。
• Top语言提供了一种系统且精确的方式，以兼容时态数据库系统的方式表示时间关系，如“在……之前”、“在……之后”、“在……期间”和“持续……”等。
• 从Top到T-SQL2的翻译已形式化证明正确，确保原始自然语言查询的语义在生成的数据库查询中得以完整保留。
• 使用ALE和Prolog实现的NLI-TDB原型，通过正确处理非平凡的英语时态查询片段，展示了该框架在实际应用中的可行性。
• 该方法能精确处理体貌（如状态、活动、完成性活动）之间的细微差别，及其与时间副词短语和从句（如“在……之前”和“在……之后”）的交互，具有清晰的语义边界。
• 该框架通过将时间表达建立在形式化时态逻辑基础上，消除了以往系统中常见的临时性或启发式解释，从而解决了时间表达的歧义。