意义组装的线性逻辑
cmp-lg
2008-02-03 v1 计算与语言
摘要
自然语言的语义理论通过为词汇项提供含义以及根据各部分的含义确定更大单元含义的规则，将含义与语句关联起来。含义通常被认为通过函数应用进行组合，这在成分结构树用于引导语义组合时效果良好。然而，我们认为词汇功能语法(Lexical-Functional Grammar)的功能结构最适合提供约束推导所需的句法信息，以实现跨语言统一的格式。然而，将这种方法与函数应用的含义组合相协调一直存在困难。与组合方法相反，我们提出了一种基于约束推理(reasoning with constraints)的意义组装演绎方法，这与功能结构中信息的无序特性很好地契合。我们使用线性逻辑作为组装含义的“胶水”，能够对LFG的完备性与一致性(completeness and coherence)要求以及修饰与量化(modification and quantification)进行连贯的处理。
引用
@article{arxiv.cmp-lg/9504012,
title = {Linear Logic for Meaning Assembly},
author = {Mary Dalrymple and John Lamping and Fernando Pereira and Vijay Saraswat},
journal= {arXiv preprint arXiv:cmp-lg/9504012},
year = {2008}
}
备注
19 pages, uses lingmacros.sty, fullname.sty, tree-dvips.sty, latexsym.sty, requires the new version of Latex