将HPSG类型约束编译为确定性子句程序
cmp-lg
2008-02-03 v1 计算与语言
摘要
我们提出了一种处理 HPSG 的新方法：将表示为类型约束的 HPSG 语法编译为确定性子句程序。这在语言学理论与其实现之间提供了清晰且计算上有用的对应关系。编译器执行离线约束继承和代码优化。因此，我们能够高效地使用 HPSG 语法进行处理，而无需将其手动翻译为基于确定性子句或短语结构的系统。
引用
@article{arxiv.cmp-lg/9505003,
title = {Compiling HPSG type constraints into definite clause programs},
author = {Thilo Goetz and Walt Detmar Meurers},
journal= {arXiv preprint arXiv:cmp-lg/9505003},
year = {2008}
}
备注
7 pages, uuencoded compressed postscript