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