摘要
arXiv:2504.07640v1 公告类型: 新
摘要: 大型语言模型(LLMs)在自然语言处理方面展示了令人印象深刻的性能,但它们也遭受着被称为幻觉的不准确性和逻辑不一致性的困扰。这影响了它们的可靠性,特别是在需要事实准确性的领域中尤为明显。我们提出了一种神经符号方法,将符号本体推理和机器学习方法结合起来,以增强LLM输出的连贯性和可靠性。我们的工作流程利用了OWL本体,一个符号推理器(例如HermiT)进行一致性检查,以及一个轻量级的机器学习模型(逻辑回归)将自然语言陈述映射为与本体兼容的逻辑形式。当检测到LLM输出与本体之间的一致性问题时,系统将生成解释性反馈,以引导LLM在迭代改进循环中产生一个逻辑上一致的修正响应。我们展示了这一管道的可运行Python原型。在定义领域的实验结果表明,在语义连贯性和事实准确性方面对LLM输出有显著改进,展示了将LLM的 fluency 与形式语义的 rigor 结合起来的潜力。