Coupling CCG and Hybrid Logic Dependency Semantics
Coupling CCG and Hybrid Logic Dependency Semantics
复制标题
CCG 与混合逻辑依赖语义的耦合
DOI：
10.3115/1073083.1073137
复制
发表时间：
2002
影响因子：
1.1
通讯作者：
G. Kruijff
中科院分区：
文献类型：
--
作者：
Jason Baldridge;G. Kruijff
范畴语法传统上使用λ演算来表示意义。我们提出了一个替代的，依赖性为基础的角度对语言的意义，并在计算环境中。这种观点是形式化的混合逻辑，并有一个丰富而清晰的命题本体，使各种各样的语义现象，以表示在一个单一的意义形式主义。最后，我们将展示如何将这种形式化与组合范畴语法结合起来，从而在组合上产生解释。
Categorial grammar has traditionally used the λ-calculus to represent meaning. We present an alternative, dependency-based perspective on linguistic meaning and situate it in the computational setting. This perspective is formalized in terms of hybrid logic and has a rich yet perspicuous propositional ontology that enables a wide variety of semantic phenomena to be represented in a single meaning formalism. Finally, we show how we can couple this formalization to Combinatory Categorial Grammar to produce interpretations compositionally.