LP约束的确定性一致性检验
Deterministic Consistency Checking of LP Constraints
摘要：
我们提供了一个约束为基础的计算模型的线性优先HPSG文法形式主义。描述了一种扩展的特征逻辑，它增加了涉及优先级的各种约束。给出了一个合理、完整、可终止的确定性约束求解过程。确定性计算模型通过弱化逻辑来实现，使得它足以用于涉及词序的语言学应用。
英文摘要：
We provide a constraint based computational model of linear precedence as employed in the HPSG grammar formalism. An extended feature logic which adds a wide range of constraints involving precedence is described. A sound, complete and terminating deterministic constraint solving procedure is given. Deterministic computational model is achieved by weakening the logic such that it is sufficient for linguistic applications involving word-order.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
