TDL-A Type Description Language for Constraint-Based Grammars
TDL-A Type Description Language for Constraint-Based Grammars
复制标题
基于约束的语法的 TDL-A 类型描述语言
DOI：
10.3115/991250.991292
复制
发表时间：
1994
期刊：
影响因子：
--
通讯作者：
Ulrich Schäfer
中科院分区：
文献类型：
--
作者：
Hans;Ulrich Schäfer
本文提出了一种基于类型特征的表示语言和推理系统TDL。TDL中的类型定义由布尔连词上的类型约束和特性约束组成。TDL支持对类型进行开放和封闭的推理，并允许分区和不兼容的类型。可以使用部分扩展类型和完全扩展类型。TDL中的高效推理是通过专门的模块来实现的。
This paper presents TDL, a typed feature-based representation language and inference system. Type definitions in TDL consist of type and feature constraints over the boolean counectives. TDL 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 TDL is accomplished through specialized modules.