[论文解读] Principles and Implementation of Deductive Parsing

Stuart M. Shieber, Yves Schabes+1 more|ArXiv.org|Apr 26, 1994

Natural Language Processing Techniques参考文献 24被引用 9

一句话总结

本文提出了一种统一框架，通过归约逻辑实现解析器，其中解析算法被编码为由单一推理引擎执行的演绎系统。该方法通过将解析视为逻辑演绎，使开发者能够快速原型实现多种形式语法（如树附接语法、范畴语法和限定子句语法）的解析器，并提供了完整的 Prolog 代码用于实例化和验证。

ABSTRACT

We present a system for generating parsers based directly on the metaphor of parsing as deduction. Parsing algorithms can be represented directly as deduction systems, and a single deduction engine can interpret such deduction systems so as to implement the corresponding parser. The method generalizes easily to parsers for augmented phrase structure formalisms, such as definite-clause grammars and other logic grammar formalisms, and has been used for rapid prototyping of parsing algorithms for a variety of formalisms including variants of tree-adjoining grammars, categorial grammars, and lexicalized context-free grammars.

研究动机与目标

• 建立一个基于逻辑演绎的通用、可扩展的解析器实现框架。
• 通过将多种解析形式语法统一于单一推理机制之下，克服传统自定义解析器实现的局限性。
• 实现对复杂形式语法（如词法化上下文无关语法和树附接语法）的解析器快速原型开发。
• 证明使用单一演绎引擎执行多种解析算法的可行性和效率。
• 通过提供完整的可执行规范（即完整的 Prolog 代码），确保方法的可重现性和可扩展性。

提出的方法

• 将解析算法表示为形式演绎系统，其中每个解析步骤对应一个逻辑推理规则。
• 使用通用演绎引擎，解释这些规则系统，通过前向或后向链式推理执行解析。
• 将语法形式语法（如限定子句语法、范畴语法）编码为一组逻辑公理和推理规则。
• 通过扩展演绎系统以支持约束和合一机制，实现对增强短语结构形式语法的支持。
• 使用 Prolog 实现系统，以利用其内置的回溯和合一机制，实现高效且声明式的解析器构建。
• 通过定义新的规则集，无需修改核心引擎即可模块化扩展系统以支持新形式语法。

实验结果

研究问题

• RQ1 能否使用单一通用演绎引擎实现多种解析算法？
• RQ2 如何自然地将树附接语法等复杂形式语法的解析编码为逻辑演绎？
• RQ3 演绎方法在多大程度上简化了新解析算法的实现与原型开发？
• RQ4 与手工编码的解析器相比，基于逻辑的解析在性能和表达力方面存在哪些权衡？
• RQ5 通过规则重配置，同一推理引擎能否同时支持自底向上和自顶向下的解析策略？

主要发现

• 演绎解析框架成功使用单一推理引擎实现了多种形式语法（包括限定子句语法、词法化上下文无关语法和树附接语法）的解析器。
• 通过将新算法编码为规则集，该系统显著减少了实现时间和复杂度，实现了新解析算法的快速原型开发。
• 提供了完整的 Prolog 代码，证明了该方法的端到端正确性与可扩展性。
• 该方法自然推广至增强短语结构形式语法，支持合一与约束，实现更丰富的语言建模能力。
• 该方法实现了模块化与可重用性，核心引擎保持不变，新语法通过规则定义添加。
• 实证验证表明，通过适当的规则排序和推理控制，该框架能够同时支持自顶向下和自底向上的解析策略。