[论文解读] Parsing with Typed Feature Structures

Shuly Wintner, Nissim Francez|arXiv (Cornell University)|Jan 31, 1996

Natural Language Processing Techniques被引用 3

一句话总结

本文提出了一种在 ALE 形式化语言的受限版本中使用类型特征结构（TFS）进行解析的正式框架，引入了抽象类型特征结构（AFSs）和多根特征结构（MRSs），以建模语法规则和词组符号。该框架定义了 AFS 上的合并操作，并实现了一个正确的自底向上图表解析器，为基于操作语义的抽象机器奠定了基础。

ABSTRACT

In this paper we provide for parsing with respect to grammars expressed in a general TFS-based formalism, a restriction of ALE. Our motivation being the design of an abstract (WAM-like) machine for the formalism, we consider parsing as a computational process and use it as an operational semantics to guide the design of the control structures for the abstract machine. We emphasize the notion of abstract typed feature structures (AFSs) that encode the essential information of TFSs and define unification over AFSs rather than over TFSs. We then introduce an explicit construct of multi-rooted feature structures (MRSs) that naturally extend TFSs and use them to represent phrasal signs as well as grammar rules. We also employ abstractions of MRSs and give the mathematical foundations needed for manipulating them. We then present a simple bottom-up chart parser as a model for computation: grammars written in the TFS-based formalism are executed by the parser. Finally, we show that the parser is correct.

研究动机与目标

• 开发一种用于解析基于 TFS 形式化的语法的正式计算模型。
• 设计一种受 Warren 抽象机器（WAM）启发的抽象机器，以高效执行基于 TFS 的语法。
• 在抽象类型特征结构（AFSs）上定义合并操作，而非具体的 TFS，以简化计算。
• 引入多根特征结构（MRSs）作为 TFS 的自然扩展，用于表示词组符号和语法规则。
• 为操纵 AFSs 和 MRSs 提供数学基础，以支持解析操作。

提出的方法

• 本文将抽象类型特征结构（AFSs）作为 TFS 的计算抽象，聚焦于解析所需的关键信息。
• 定义了 AFS 上的合并操作，以支持解析过程中高效且正确的推理。
• 引入了多根特征结构（MRSs）作为 TFS 的扩展，用于在一个结构中表示多个句法核心。
• 该形式化语言使用 MRSs 以统一方式编码词组符号和语法规则。
• 设计了一种自底向上的图表解析器作为计算模型，通过合并和基于图表的搜索执行基于 TFS 的语法。
• 利用从解析过程中导出的操作语义，形式化证明了该解析器的正确性。

实验结果

研究问题

• RQ1 如何对类型特征结构进行抽象化，以在正式计算模型中支持高效且正确的解析？
• RQ2 多根特征结构（MRSs）在表示词组符号和语法规则中扮演什么角色？
• RQ3 如何在抽象类型特征结构（AFSs）上定义合并操作，以在不完全实例化 TFS 的情况下支持解析？
• RQ4 需要哪些数学基础，才能以支持解析的方式操纵 AFSs 和 MRSs？
• RQ5 如何形式化指定并证明针对基于 TFS 的语法的自底向上图表解析器的正确性？

主要发现

• 本文成功定义了在抽象类型特征结构（AFSs）上的正式合并机制，实现了无需完全操作 TFS 的高效解析。
• 多根特征结构（MRSs）被证明能自然地在一个统一形式化中表示词组符号和语法规则。
• 所提出的自底向上图表解析器被形式化证明对基于 TFS 的语法是正确的，确立了其作为计算模型的可靠性。
• 该框架为操纵 AFSs 和 MRSs 提供了坚实的数学基础，支持为基于 TFS 的计算设计抽象机器。
• 该工作建立了基于 TFS 语法的清晰操作语义，为设计类似 WAM 的抽象机器提供了指导。