LP 约束的确定性一致性检验
cmp-lg
2016-08-31 v2 计算与语言
摘要
本文提供了一个基于约束的线性优先计算模型，用于 HPSG 语法形式化。描述了一种扩展的特征逻辑，增加了大量涉及优先关系的约束。给出了 sound、complete 且终止的确定性约束求解过程。通过弱化逻辑，使其足以适用于涉及词序的语言学应用，从而实现了确定性计算模型。
引用
@article{arxiv.cmp-lg/9502016,
title = {Higher-order Linear Logic Programming of Categorial Deduction},
author = {Glyn Morrill},
journal= {arXiv preprint arXiv:cmp-lg/9502016},
year = {2016}
}
备注
8 pages LaTeX, uses eaclap.sty, to appear EACL95