We introduce a new dataset of logical entailments for the purpose of
measuring models' ability to capture and exploit the structure of logical
expressions against an entailment prediction task. We use this task to compare
a series of architectures which are ubiquitous in the sequence-processing
literature, in addition to a new model class---PossibleWorldNets---which
computes entailment as a "convolution over possible worlds". Results show that
convolutional networks present the wrong inductive bias for this class of
problems relative to LSTM RNNs, tree-structured neural networks outperform LSTM
RNNs due to their enhanced ability to exploit the syntax of logic, and
PossibleWorldNets outperform all benchmarks.

介绍了一个新的逻辑蕴涵的数据集，用于测量模型在逻辑表达式的结构方面捕捉和利用的能力，比较了多个体系结构以及一个新的模型类 PossibleWorldNets，并表明卷积网络在这类问题上呈现了错误的归纳偏差，相对于 LSTM RNNs，树状神经网络由于其增强了利用逻辑语法的能力而优于 LSTM RNNs，而 PossibleWorldNets 优于所有基准。