[论文解读] LexGram - a practical categorial grammar formalism -

Esther König|arXiv (Cornell University)|Apr 24, 1995

Natural Language Processing Techniques被引用 10

一句话总结

LexGram 将 Lambek 类范畴语法与主控短语结构语法（HPSG）整合为一个统一的形式系统，支持实用且可扩展的语法开发。该系统表明，这种混合方法能够在保持计算效率和语言表达力的同时，实现精确的句法分析。

ABSTRACT

We present the LexGram system, an amalgam of (Lambek) categorial grammar and Head Driven Phrase Structure Grammar (HPSG), and show that the grammar formalism it implements is a well-structured and useful tool for actual grammar development.

研究动机与目标

• 开发一种形式语法系统，结合 Lambek 类范畴语法与 HPSG 的优势，以实现稳健的语言建模。
• 通过整合 HPSG 的丰富特征结构机制，解决纯范畴语法学在处理复杂句法现象方面的局限性。
• 创建一种实用且可实现的语法形式系统，适用于现实世界中的自然语言处理应用。
• 评估该形式系统在高精度建模句法结构方面的充分性与效率。

提出的方法

• 设计一种混合形式系统，继承 Lambek 类范畴语法的类型理论组合性，同时结合 HPSG 的特征结构。
• 扩展范畴语法，引入 HPSG 风格的特征结构，以在统一框架中表示句法和语义信息。
• 在 LexGram 系统中实现该形式系统，以支持语法编写、解析和语言学分析。
• 使用类型驱动的组合规则，确保句法推导的正确性与一致性。
• 将词汇类与短语类与特征约束相结合，以建模句法依赖关系与选择限制。
• 通过语法开发任务验证系统，以评估其表达力与计算性能。

实验结果

研究问题

• RQ1 结合范畴语法与 HPSG 的形式系统是否能在语法开发中同时实现语言学精确性与实际可实现性？
• RQ2 HPSG 的特征结构集成如何增强范畴语法的表达能力？
• RQ3 LexGram 系统在多大程度上支持以最小工程开销构建复杂、现实世界的语法？
• RQ4 与纯范畴语法或纯 HPSG 系统相比，该混合方法在计算与语言学方面存在哪些权衡？

主要发现

• LexGram 形式系统成功结合了范畴语法的类型理论严谨性与 HPSG 的结构表达力。
• 该系统支持开发既在语言学上充分又在计算上可行的语法。
• 特征结构的整合增强了形式系统对选择限制与句法依赖关系的建模能力。
• LexGram 展现出在语法工程中的实际可行性，支持可扩展且可维护的语法实现。