arXiv ID:
2604.27960
作为ASP程序员的LLM:自我修正实现任务无关的非单调推理 / LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning
1️⃣ 一句话总结
本文提出了一种名为“LLM+ASP”的框架,让大型语言模型自动将自然语言问题转换为回答集程序(一种能处理默认规则和例外的非单调逻辑),并通过求解器的结构化反馈进行自我修正,从而在不依赖人工定制知识的情况下,在多种推理任务上显著优于传统方法。