[论文解读] TDL--- A Type Description Language for Constraint-Based Grammars

Hans‐Ulrich Krieger, Ulrich Schäfer|arXiv (Cornell University)|Jun 8, 1994

Semantic Web and Ontologies被引用 5

一句话总结

本文提出TDL，一种基于类型的特征语言，用于基于约束的语法，通过布尔连接的类型和特征约束支持对类型的开放世界与封闭世界推理。它通过专用模块实现高效推理，支持部分或完全展开的类型，为语言类型描述提供形式化框架，支持不相容类型和类型划分。

ABSTRACT

This paper presents dl, a typed feature-based representation language and inference system. Type definitions in dl\ consist of type and feature constraints over the boolean connectives. dl\ supports open- and closed-world reasoning over types and allows for partitions and incompatible types. Working with partially as well as with fully expanded types is possible. Efficient reasoning in dl\ is accomplished through specialized modules.

研究动机与目标

• 为计算语言学中的基于约束的语法设计一种形式化的类型描述语言。
• 支持对语言类型进行开放世界与封闭世界推理。
• 支持对部分展开和完全展开类型的推理，提升语言表征的灵活性。
• 在类型特征框架内提供定义不相容类型和类型划分的机制。
• 通过类型推理系统中的专用模块组件确保高效推理。

提出的方法

• TDL使用基于类型的特征表示语言，对布尔连接词（如合取、析取、否定）施加约束。
• 类型定义通过布尔运算符组合类型约束和特征约束表达。
• 系统支持开放世界推理（未知项可能存在）和封闭世界推理（穷举否定）。
• 通过专门的模块优化推理，高效处理不同推理任务。
• 形式化建模划分和不相容类型，防止不一致的类型分配。
• 该框架支持部分展开和完全展开的类型结构，支持增量推理。

实验结果

研究问题

• RQ1 如何设计一种类型描述语言，以在语言类型系统中同时支持开放世界与封闭世界推理？
• RQ2 何种机制可实现在基于约束的语法中对复杂类型和特征约束的高效推理？
• RQ3 如何在类型特征框架内形式化表示并强制执行不相容类型和类型划分？
• RQ4 部分展开与完全展开的类型在保持推理效率与表达力方面起到何种作用？
• RQ5 布尔连接词如何以语言学上有意义的方式组合和约束类型与特征？

主要发现

• TDL成功将布尔连接的类型和特征约束整合到基于约束的语法的统一框架中。
• 该系统支持开放世界与封闭世界推理，实现灵活且稳健的类型推理。
• 通过专用推理模块实现高效推理，降低计算开销。
• 语言支持不相容类型和类型划分，防止不一致的类型分配。
• 支持部分展开和完全展开的类型，实现增量且可扩展的语言分析。
• 该框架展现出适合计算语法中复杂语言表征的形式化表达力。