[论文解读] Abstract Machine for Typed Feature Structures

Shuly Wintner, Nissim Francez|ArXiv.org|Apr 13, 1995

Logic, programming, and type systems参考文献 10被引用 3

一句话总结

本文提出了一种用于HPSG等语法形式主义中类型化特征结构的抽象机器，通过编译的指令集实现对类型化、可能含环的特征结构的高效统一。该机器集成了短语结构语法解析的控制结构，为语言学语法作为声明式程序的正式操作语义提供了支持。

ABSTRACT

This paper describes an abstract machine for linguistic formalisms that are based on typed feature structures, such as HPSG. The core design of the abstract machine is given in detail, including the compilation process from a high-level language to the abstract machine language and the implementation of the abstract instructions. The machine's engine supports the unification of typed, possibly cyclic, feature structures. A separate module deals with control structures and instructions to accommodate parsing for phrase structure grammars. We treat the linguistic formalism as a high-level declarative programming language, applying methods that were proved useful in computer science to the study of natural languages: a grammar specified using the formalism is endowed with an operational semantics.

研究动机与目标

• 为基于类型化特征结构的语言学形式主义（如HPSG）提供正式的操作语义。
• 设计一种支持高效统一类型化、可能含环的特征结构的抽象机器。
• 将高层级的语言学规格说明编译为可在抽象机器上执行的低级指令集。
• 将短语结构语法中解析的控制结构整合到机器的指令集中。
• 将编程语言中成熟的编译与执行技术有效应用于自然语言处理形式主义。

提出的方法

• 通过专用于类型化特征结构操作与统一的核心指令集定义抽象机器。
• 设计编译过程，将高层级语言学形式主义转换为抽象机器的低级指令语言。
• 机器的执行引擎通过显式数据结构与控制流，实现对类型化、可能含环的特征结构的统一。
• 通过独立的控制指令管理解析行为，支持短语结构语法中的自顶向下或自底向上处理。
• 该设计将语言学形式主义视为具有明确定义操作语义的声明式编程语言。
• 实现采用基于栈的执行模型，显式处理特征结构的共享与环结构。

实验结果

研究问题

• RQ1 如何将HPSG类形式主义中的类型化特征结构编译为高效可执行的指令集？
• RQ2 什么样的抽象机器架构适合支持含环类型化特征结构的统一？
• RQ3 如何将用于解析的控制结构整合到专用于特征结构操作的机器中？
• RQ4 能否有效应用编程语言中成熟的编译与执行技术于语言学形式主义？
• RQ5 可为语言学形式主义定义何种操作语义，以实现精确且可执行的解释？

主要发现

• 该抽象机器通过明确定义的指令集，成功支持了类型化、可能含环的特征结构的统一。
• 从高层级语言学形式主义到抽象机器语言的编译过程是自包含且形式化指定的。
• 该机器的设计通过利用成熟的编译技术，实现了语言学语法的高效执行。
• 解析用的控制指令被无缝整合，使机器能够处理短语结构语法规则的解析。
• 该方法为HPSG类形式主义提供了正式的操作语义，支持精确执行与分析。
• 实现表明，语言学形式主义可被视为具有可执行语义的声明式编程语言。