自然语言推理综述

Robust textual inference via learning and abductive reasoning：利用依存关系将前提和假设分别表示成两组子命题的和取形式，然后通过溯因推理机制尝试从前提推理出假设并计算其代价，并因此判别前提和假设是否有蕴含关系。
Semantic inference at the Lexical-Syntactic level：采用了类似上篇论文的“演算思想”，抛弃了严格的数学逻辑表达式，转而利用语言分析技术，例如句法分析，语义角色标注。
SNLI是一个新的免费的带标记的句子对集合。