加权语法应用的定量约束逻辑编程
cmp-lg
2008-02-03 v1 计算与语言
摘要
约束逻辑语法为精确表达自然语言现象的复杂逻辑描述提供了强大的形式化手段。然而，描述其中某些现象可能需要某种分级区分，而此类语法无法提供这种区分。最近关于加权约束逻辑语法的研究尝试通过在底层 CLP 框架的推理方案中引入数值计算机制来解决这一问题。目前，这些超逻辑扩展与 CLP 操作语义的模型论对应物之间没有关联，即它们根本没有形式语义。本文的目的是为加权约束逻辑语法提供一种清晰的形式语义，该语义抽象于权重的具体解释，但仍然为这类加权语法的解析问题提供了见解。本文建立在 Hoehfeld 和 Smolka 1988 年 CLP 方案中约束逻辑语法的形式化基础上，该形式语义将由定量 CLP 给出。这种定量 CLP 方案对于独立于语法的 CLP 任务同样具有价值。
引用
@article{arxiv.cmp-lg/9705006,
title = {Quantitative Constraint Logic Programming for Weighted Grammar Applications},
author = {Stefan Riezler},
journal= {arXiv preprint arXiv:cmp-lg/9705006},
year = {2008}
}
备注
20 pages, uses llncs.sty