[论文解读] Multi-Dimensional Inheritance

Gregor Erbach|ArXiv.org|Nov 17, 1994

Natural Language Processing Techniques参考文献 10被引用 15

一句话总结

本文提出多维继承用于类型化特征结构，支持在独立层次结构（如词组类型和从句类型）之间直接建模语言学上的交叉分类。该方法将这些层次结构编译为Prolog项，通过标准Prolog统一机制实现高效统一，从而在无需自定义统一引擎的情况下，实现可扩展、高效的自然语言处理系统中的语法和词典表示。

ABSTRACT

In this paper, we present an alternative approach to multiple inheritance for typed feature structures. In our approach, a feature structure can be associated with several types coming from different hierarchies (dimensions). In case of multiple inheritance, a type has supertypes from different hierarchies. We contrast this approach with approaches based on a single type hierarchy where a feature structure has only one unique most general type, and multiple inheritance involves computation of greatest lower bounds in the hierarchy. The proposed approach supports current linguistic analyses in constraint-based formalisms like HPSG, inheritance in the lexicon, and knowledge representation for NLP systems. Finally, we show that multi-dimensional inheritance hierarchies can be compiled into a Prolog term representation, which allows to compute the conjunction of two types efficiently by Prolog term unification.

研究动机与目标

• 解决单层次类型系统在建模语言学交叉分类（如HPSG和系统分类）方面的局限性。
• 提供一个形式化框架，支持多个独立类型层次（维度），而无需依赖有界完全偏序（bcpo）。
• 通过在编译后的项表示上使用标准Prolog统一，实现类型合取的高效计算。
• 以可扩展且模块化的方式支持复杂语言现象，如析取性进入条件和选择性限制。
• 证明多维继承可利用现有Prolog技术高效编译与执行。

提出的方法

• 提出一个多维类型层次结构，其中每个类型属于一个或多个独立维度，从而在无需共同子类型的情况下实现交叉分类。
• 通过将类型层次结构解耦为正交维度，修改Carpenter的类型化特征逻辑，避免单层次系统中对最大下界的需求。
• 将每个类型编译为一个Prolog项，其中每个维度对应一个独立的项成分，从而通过标准Prolog统一实现合取运算。
• 通过在不同维度中引入互补类型（X' 和 ¬X）来处理析取性进入条件，有效将析取式转换为析取范式。
• 采用一种翻译策略，将系统分类网络映射为多维类型层次结构，在保留逻辑结构的同时，避免在有利情况下出现指数级膨胀。
• 在ProFIT中实现该系统，ProFIT是一个基于Prolog的编译器，可将类型化特征逻辑程序转换为标准Prolog代码以供执行。

实验结果

研究问题

• RQ1 如何在不依赖单一统一类型层次结构的前提下，对多个独立层次结构（如词组类型和从句类型）之间的语言学交叉分类进行建模？
• RQ2 多维继承能否被编译为支持类型化特征结构高效统一的Prolog项表示？
• RQ3 与现有方法相比，该方法在处理系统分类中的析取性进入条件时表现如何？
• RQ4 将具有析取性进入条件的系统分类网络翻译为多维类型系统的计算复杂度是多少？
• RQ5 在多维继承的实现中，现有Prolog技术能在多大程度上被利用以构建高效自然语言处理系统？

主要发现

• 所提出的多维继承模型可直接支持需要交叉分类的语言学分析（如HPSG），而无需通过人工子类型强制实现有界完备性。
• 通过标准Prolog统一实现类型合取的高效计算，避免了对自定义统一算法的需求。
• 通过在不同维度中引入对偶类型（X' 和 ¬X），系统能够表示析取性进入条件，实现模块化且可扩展的处理方式。
• 在实际案例中（如代词分类），该方法的翻译效率高于基于暴力法的Prolog编码，最坏情况下仅需8个节点的Prolog项表示。
• 当析取条件被局部化时，该方法可避免翻译过程中的指数级膨胀，如代词层次结构示例所示，系统性能优于暴力翻译方法。
• ProFIT中的实现表明，多维继承可被有效编译和执行，且可利用标准Prolog编译器的特性（如索引和逻辑相关机制）实现高效处理。