\AE THEL：为荷兰语自动提取的类型逻辑推导
计算与语言
2020-09-30 v2
摘要
我们提出 {\AE}THEL，一个用于书面荷兰语的语义组合性数据集。{\AE}THEL 由两部分组成。首先，它包含约 900 000 个上下文中词的超标签词典。这些超标签对应于简单类型线性 lambda 演算的类型，并增强了捕获语法角色的依存修饰，作为函数-论元结构的补充。基于这些类型，{\AE}THEL 进一步提供 72 192 个经验证的推导，以四种格式呈现：自然演绎和序列式证明、线性逻辑证明网以及用于意义组合的相关程序（lambda 项）。{\AE}THEL 的类型和推导是通过将提取算法应用于 LASSY Small（书面荷兰语的黄金标准语料库）的句法分析而获得的。我们讨论了该提取算法，并展示原始 LASSY 标注中无界依存和并列现象中的“虚拟元素”如何产生高阶类型。我们提出了一些示例用例，突显了在句法-语义接口处采用类型驱动方法的优势。随 {\AE}THEL 开源的资源有：词与类型之间的词典映射、由 7 924 个语义解析组成的数据集子集，以及实现该提取算法的 Python 代码。
引用
@article{arxiv.1912.12635,
title = {\AE THEL: Automatically Extracted Typelogical Derivations for Dutch},
author = {Konstantinos Kogkalidis and Michael Moortgat and Richard Moot},
journal= {arXiv preprint arXiv:1912.12635},
year = {2020}
}
备注
8 pages plus abstract, LREC 2020