通过情境推理计算前提条件

本文描述了如何通过更精细地编码情境来更有效地应用于自然语言处理中的自动推理方法。我们的工作基于对情境的形式化方法，我们提供了一个情境推理的表法演算。通过考虑前提条件投影问题中的一个例子来加以说明。