16、自然逻辑与自然语言推理：理论基础与应用

自然逻辑与自然语言推理：理论基础与应用

自然语言推理（NLI）旨在确定一个前提（premise）和一个假设（hypothesis）之间的逻辑关系。传统的单调性演算虽然在语义包含关系上有一定的解释能力，但无法处理语义排除关系以及蕴含词与单调性之间的相互作用。为了解决这些问题，我们提出了一种新的自然逻辑模型，该模型扩展了单调性演算，将语义排除关系纳入其中，并部分整合了Nairn等人对蕴含词的解释。

1. 基本蕴含关系的清单

在NLI任务中，最简单的表述是将前提和假设之间的关系分为蕴含（entailment）和非蕴含（non - entailment）两种情况。而三分类表述则进一步将非蕴含细分为矛盾（contradiction）和兼容（compatibility）。单调性演算则将蕴含解释为语义包含关系，类似于集合包含关系，从而可以区分正向蕴含（forward entailment）和反向蕴含（reverse entailment）。然而，它缺乏表示矛盾（语义排除）的方法。

我们通过与集合关系进行类比，将论域U中所有子集的有序对⟨x, y⟩划分为16个等价类。其中，9个类代表了x或y为空集或全集的退化情况，这些表达式在语义上是空洞的，在实际的自然语言推理模型中，我们通常假设所遇到的表达式是非空的。因此，我们关注剩下的7个类，将其定义为基本蕴含关系的集合B，具体如下表所示：

符号	名称	示例	集合论定义
x ≡ y