arxiv LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers

阅 读

Star 0
名称
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
首页
https://yiyibooks.cn/arxiv/2310.15164v2/index.html
原始地址
https://arxiv.org/abs/2310.15164
描述
逻辑推理，即从一组前提演绎地推断出结论的真值，是人工智能的一项重要任务，对科学、数学和社会具有广泛的潜在影响 ...