[论文解读] Amalia -- A Unified Platform for Parsing and Generation

Shuly Wintner, Evgeniy Gabrilovich+1 more|ArXiv.org|Sep 24, 1997

Logic, programming, and type systems被引用 7

一句话总结

Amalia 提供了一个统一平台，用于计算语言学中的双向语法处理，通过单一语法表示实现解析与生成。它将语法规则编译为抽象机器指令，并反转以支持生成，通过共享解释器执行两者，实现在如 HPSG 这类声明式框架内的高效、可逆语法处理。

ABSTRACT

Contemporary linguistic theories (in particular, HPSG) are declarative in nature: they specify constraints on permissible structures, not how such structures are to be computed. Grammars designed under such theories are, therefore, suitable for both parsing and generation. However, practical implementations of such theories don't usually support bidirectional processing of grammars. We present a grammar development system that includes a compiler of grammars (for parsing and generation) to abstract machine instructions, and an interpreter for the abstract machine language. The generation compiler inverts input grammars (designed for parsing) to a form more suitable for generation. The compiled grammars are then executed by the interpreter using one control strategy, regardless of whether the grammar is the original or the inverted version. We thus obtain a unified, efficient platform for developing reversible grammars.

研究动机与目标

• 解决声明式语言理论（如 HPSG）实际实现中缺乏双向支持的问题。
• 实现单一语法同时用于解析与生成，无需分别实现。
• 开发一种编译器，将面向解析的语法反转为适合生成的形式。
• 通过统一的控制策略统一执行原始语法与反转语法。
• 提供一个高效、可重用的平台，用于计算语言学中可逆语法的开发。

提出的方法

• 系统将语法规则编译为抽象机器指令，实现语法规则定义与执行的解耦。
• 它将原始解析语法反转，生成一种针对生成优化的形式，同时保留语言约束。
• 单一解释器使用相同的控制策略执行原始语法与反转语法。
• 抽象机器指令通过一个语法编译器生成，该编译器同时支持解析与生成模式。
• 该方法依赖声明式语法规范，利用 HPSG 风格约束的内在可逆性。
• 通过保持语法规则的单一源，系统确保了解析与生成之间的一致性。

实验结果

研究问题

• RQ1 如何在声明式语言框架中有效使用单一语法实现双向处理（解析与生成）？
• RQ2 何种编译策略能够实现面向解析语法的高效反转，以支持生成任务？
• RQ3 统一解释器能否以一致的控制流执行原始语法与反转语法？
• RQ4 何种架构设计可在不复制语法逻辑的前提下支持双向处理？
• RQ5 将语法定义与执行分离如何提升效率与可维护性？

主要发现

• 该系统成功实现了使用单一语法的双向处理，消除了对独立解析与生成语法的需要。
• 语法反转过程保留了语言约束，确保了解析与生成输出之间的一致性。
• 原始语法与反转语法的执行由单一解释器管理，简化了实现与维护。
• 抽象机器编译模型无论处理方向如何，均能实现高效执行。
• 该平台证明了 HPSG 类声明式语法可被高效且可逆地编译与执行。
• 该方法为自然语言处理系统中可逆语法的开发提供了可扩展的基础。