ACLMay, 2020

使用比较和广义量词进行逻辑推理

TL;DR本研究提出了一种基于组合范畴语法的组成性语义,并与基于自动定理证明的推理系统相结合,成功将英语中各种比较结构映射到语义表示中,本研究在包含比较、量词和数字的三个自然语言推理数据集上的实验证明该系统的表现优于之前的逻辑系统和最新的深度学习模型。