arXiv Artificial Intelligence· Xuyao Feng, Anthony Hunter·· 18 小时前AI 评分24
用神经符号方法识别自然语言论证中的蕴涵与矛盾关系
Identification of Entailment and Contradiction Relations for Natural Language Argumentation: A Neurosymbolic Approach
AI 导读
研究将自然语言文本经预训练 AMR 解析器转为抽象语义表示图，再翻译为命题逻辑并用 SAT 求解器自动推理，以识别论证中的蕴涵与矛盾关系。为应对措辞差异导致的常识性关系漏判，作者引入允许替换或遗忘部分命题的松弛方法。该方法在三个 RTE 数据集上表现良好，且前提、主张及所用松弛均有逻辑表示，可解释。
来源：arXiv Artificial Intelligence · arxiv.org