Textual logical reasoning, especially question answering (QA) tasks with logical reasoning, requires awareness of particular logical structures. The passage-level logical relations represent entailment or contradiction between propositional units (e.g., a concluding sentence). However, such structures are unexplored as current QA systems focus on entity-based relations. In this work, we propose logic structural-constraint modeling to solve the logical reasoning QA and introduce discourse-aware graph networks (DAGNs). The networks perform two procedures: (1) logic graph construction that leverages in-line discourse connectives as well as generic logic theories, (2) logic representation learning by graph networks that produces structural logic features. This pipeline is applied to a general encoder, whose fundamental features are joined with the high-level logic features for answer prediction. Experiments on three textual logical reasoning datasets demonstrate the reasonability of the logical structures built in DAGNs and the effectiveness of the learned logic features. Moreover, zero-shot transfer results show the features' generality to unseen logical texts.
翻译:逻辑逻辑推理,特别是有逻辑推理的解答(QA)任务,要求了解特定的逻辑结构。通过水平逻辑关系代表了标语单位之间的必然或矛盾(例如,最后一句)。然而,由于当前的质量评估系统侧重于实体关系,这种结构没有被探索。在这项工作中,我们提出了逻辑结构约束模型,以解决逻辑推理QA,并引入了有逻辑解析图网络(DAGNs)。网络执行两种程序:(1)逻辑图形构建,利用线性话语连接和通用逻辑理论,(2)通过图形网络进行逻辑表述学习,产生结构逻辑逻辑逻辑特征。这一管道用于一个普通编码器,其基本特征与高层次逻辑特征相结合,用于回答预测。对三种文字逻辑推理数据集的实验表明DAGNs所建逻辑结构的合理性以及所学逻辑特征的有效性。此外,零光传输结果显示这些特征对可视逻辑文本的一般性。