基于受限收缩 Lambek 演算的带指代省略的类型驱动向量语义
计算与语言
2019-05-07 v1 人工智能
计算机科学中的逻辑
逻辑
摘要
我们利用基于 Jäger (2006) 的受限收缩 Lambek 演算（LCC）的类型驱动组合分布语义，为动词短语省略与指代发展了一种向量空间语义。分布语义对基于统计共现的内容词意义有很多论述，但对如何处理功能词几乎无指导。形式语义则拥有处理关系代词、协调词等的强大机制。类型驱动组合分布语义将这两种模型结合在一起。我们回顾了 Coecke 等人 (2010, 2013) 的 DisCoCat 框架中关系代词、协调以及受限省略账户的组合分布模型。我们展示了 DisCoCat 无法处理依赖信息复制的一般形式省略，并发展了一种将类型逻辑语法与分布语义连接的新方法，即以 Muskens & Sadrzadeh (2016) 的风格为 LCC 的推导分配向量可解释 lambda 项。由此得到一种（动词短语）省略的账户，其中词意可被复制：句子的意义现在是一个对个体词嵌入具有非线性访问权限的程序。我们给出了理论设定，推导了示例，并在受数据启发的玩具分布模型上演示了结果。
引用
@article{arxiv.1905.01647,
title = {A Typedriven Vector Semantics for Ellipsis with Anaphora using Lambek Calculus with Limited Contraction},
author = {Gijs Wijnholds and Mehrnoosh Sadrzadeh},
journal= {arXiv preprint arXiv:1905.01647},
year = {2019}
}
备注
Forthcoming in: Journal of Logic, Language and Information