[论文解读] Applying Constraint Handling Rules to HPSG

Gerald Penn|ArXiv.org|Jul 7, 2000

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

一句话总结

本文提出将约束处理规则（CHR）集成到属性逻辑引擎（ALE）中，以增强头驱动短语结构语法（HPSG）的语法开发，实现对复杂约束（如特征共现和递归关系）的高效、声明式处理。通过利用CHR基于次序的规则应用和变量实例化触发机制，该方法消除了非终止风险，并在性能上相比SICStus Prolog的传统延迟机制最高提升60倍。

ABSTRACT

Constraint Handling Rules (CHR) have provided a realistic solution to an over-arching problem in many fields that deal with constraint logic programming: how to combine recursive functions or relations with constraints while avoiding non-termination problems. This paper focuses on some other benefits that CHR, specifically their implementation in SICStus Prolog, have provided to computational linguists working on grammar design tools. CHR rules are applied by means of a subsumption check and this check is made only when their variables are instantiated or bound. The former functionality is at best difficult to simulate using more primitive coroutining statements such as SICStus when/2, and the latter simply did not exist in any form before CHR. For the sake of providing a case study in how these can be applied to grammar development, we consider the Attribute Logic Engine (ALE), a Prolog preprocessor for logic programming with typed feature structures, and its extension to a complete grammar development system for Head-driven Phrase Structure Grammar (HPSG), a popular constraint-based linguistic theory that uses typed feature structures. In this context, CHR can be used not only to extend the constraint language of feature structure descriptions to include relations in a declarative way, but also to provide support for constraints with complex antecedents and constraints on the co-occurrence of feature values that are necessary to interpret the type system of HPSG properly.

研究动机与目标

• 通过用CHR替换手动延迟语句，解决HPSG语法开发中约束逻辑编程的非终止问题。
• 在类型化特征结构中实现复杂约束（如特征共现和递归关系）的声明式规范。
• 通过利用CHR的高效规则应用和次序检查，提升语法开发系统的性能和可扩展性。
• 识别当前Prolog实现中的局限性（尤其是属性变量和全称量化），并指出未来语言层面增强的必要性。

提出的方法

• 扩展ALE预处理器，引入CHR规则，以管理HPSG中类型化特征结构上的约束。
• 利用CHR的次序检查机制，仅在变量被实例化时触发规则应用，避免过早或冗余计算。
• 将高层约束编译为原子CHR规则，通过守卫和统一操作处理类型约束和特征结构扩展。
• 采用基于守卫的机制，统计特征结构的一致扩展数量（0、1或>1），据此引导失败或扩展操作。
• 使用CHR的⇐>语法实现子类型覆盖规则，根据一致扩展的数量进行统一或失败。
• 通过编译德语HPSG语法并测量执行速度，与SICStus Prolog的when/2机制对比评估性能表现。

实验结果

研究问题

• RQ1 CHR如何用于消除HPSG语法开发中递归约束逻辑编程的非终止问题？
• RQ2 与Prolog中的传统协同机制相比，CHR在约束处理的表达力和效率方面有何改进？
• RQ3 CHR在语法解析和生成任务中相比SICStus Prolog的when/2机制具有哪些性能优势？
• RQ4 当前Prolog实现中的哪些局限性（尤其是属性变量和全称量化）阻碍了高效特征结构处理？
• RQ5 CHR-based约束处理在具有复杂类型系统的实际HPSG语法中是否可有效扩展？

主要发现

• CHR提供了一种声明式且稳健的方法，用于管理HPSG中的递归和复杂约束，无需手动编写延迟语句。
• CHR中的次序检查仅在变量绑定后触发，相比when/2等协同机制更加高效可靠。
• 在SICStus Prolog中直接实现CHR约束处理的性能最高比基于when/2的方法慢60倍，表明当前CHR库实现存在效率缺陷。
• 尽管如此，本文认为CHR在本质上更适合语法开发，因其具备声明式语义和对约束依赖关系的正确处理能力。
• 性能瓶颈被归因于SICStus Prolog底层的属性变量实现，该实现阻碍了高效特征结构编码。
• 作者指出，未来需在语言层面支持约束的全称量化和更高效的属性变量，以充分发挥CHR在HPSG系统中的潜力。