使省略三段论逻辑理解中的隐式前提显式化

现实文本与对话中的论证常为省略三段论，即部分前提或结论隐含。现有 NLP 方法虽能识别却难解码其底层逻辑，而基于逻辑的方法又依赖完备知识库。为此，本文提出一种集成流水线：首先利用大语言模型基于显式前提和结论生成中间隐式前提；其次用另一模型将自然语言转化为逻辑公式；最后通过基于 SAT 求解器的神经符号推理机判定逻辑蕴含。在两个数据集上的评估显示，该方法在选择正确隐式前提方面表现优异。