[论文解读] A Computational Treatment of HPSG Lexical Rules as Covariation in Lexical Entries

Detmar Meurers, Guido Minnen|ArXiv.org|Apr 4, 1995

Natural Language Processing Techniques被引用 8

一句话总结

本文提出了一种编译器，将HPSG词法规则转换为词法条目中的协变约束，从而实现未修改属性的自动传播，并为词法规则提供计算语义。通过利用程序转换技术，该方法确保规则能够高效地即时应用，同时以计算可执行的形式保留语言学一般化。

ABSTRACT

We describe a compiler which translates a set of HPSG lexical rules and their interaction into definite relations used to constrain lexical entries. The compiler ensures automatic transfer of properties unchanged by a lexical rule. Thus an operational semantics for the full lexical rule mechanism as used in HPSG linguistics is provided. Program transformation techniques are used to advance the resulting encoding. The final output constitutes a computational counterpart of the linguistic generalizations captured by lexical rules and allows ``on the fly'' application.

研究动机与目标

• 为HPSG词法规则提供计算语义，以准确建模其语言学行为。
• 确保未被词法规则修改的属性自动传递至词法条目。
• 将词法规则编码为确定性关系，以计算高效的方式约束词法条目。
• 利用程序转换技术优化生成的规则编码以提升性能。
• 为HPSG词法一般化建立形式化且可执行的对应物，以供计算语言学系统使用。

提出的方法

• 编译器将一组HPSG词法规则转换为约束词法条目的确定性关系。
• 未被规则修改的属性通过转换过程自动传播。
• 该方法将词法规则建模为词法条目中特征之间的协变，以确保一致性。
• 应用程序转换技术以优化生成代码的效率和正确性。
• 生成的编码支持在解析或生成过程中即时应用规则。
• 该系统确保规则所捕获的语言学一般化在计算表示中得以保留。

实验结果

研究问题

• RQ1 如何以形式化方式编码HPSG词法规则，以计算方式保留其语言学语义？
• RQ2 何种机制可确保在规则应用过程中未修改的属性自动传递？
• RQ3 如何将词法规则编译为一种形式，以实现在计算系统中高效、即时的应用？
• RQ4 程序转换技术在优化词法规则计算表示中扮演何种角色？
• RQ5 如何在词法条目中有效建模特征之间的协变，以反映规则之间的相互作用？

主要发现

• 编译器成功将HPSG词法规则转换为约束词法条目的确定性关系，实现了精确的计算建模。
• 未修改的属性通过转换过程自动传播，消除了手动追踪的需要。
• 生成的系统支持规则的即时应用，提升了语言处理的效率。
• 程序转换技术显著提升了生成代码的性能和正确性。
• 该方法为HPSG词法一般化提供了形式化且可执行的对应物，弥合了语言学理论与计算之间的鸿沟。
• 最终编码在保持与原始语言学规则完全一致的同时，具备计算高效性。