Semantic Vector Models and Functional Models for Pregroup Grammars
Semantic Vector Models and Functional Models for Pregroup Grammars
复制标题
预群语法的语义向量模型和功能模型
DOI：
10.1007/s10849-011-9132-2
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
M. Sadrzadeh
中科院分区：
文献类型：
--
作者：
A. Preller;M. Sadrzadeh
我们证明了两类一阶逻辑中的向量空间语义和函数语义对于预群文法是等价的。我们提出了一个算法，将函数表达式转换为向量表达式，反之亦然。语义是组合的，变量自由的和不变的顺序或多重性的变化。它包括信息检索系统的语义向量模型，并有一个内部逻辑，允许一个理解模式。一个句子在内部逻辑中为真，当且仅当翻译该句子的“通常”一阶公式成立。这些例子包括否定、全称量词和关系代词。
We show that vector space semantics and functional semantics in two-sorted first order logic are equivalent for pregroup grammars. We present an algorithm that translates functional expressions to vector expressions and vice-versa. The semantics is compositional, variable free and invariant under change of order or multiplicity. It includes the semantic vector models of Information Retrieval Systems and has an interior logic admitting a comprehension schema. A sentence is true in the interior logic if and only if the ‘usual’ first order formula translating the sentence holds. The examples include negation, universal quantifiers and relative pronouns.