arXiv · AI· Luise Ge, Brendan Juba·2026-10-27 12:00· 1 天前AI 评分21面向提升推理的查询驱动学习算法研究Query-Driven Learning for Lifted ReasoningAI 导读研究提出查询驱动推理机制，解决数据与知识库互补验证问题。 算法支持一阶逻辑，具备准多项式时间复杂度，在空间受限下具备健全性与完备性。来源：arXiv · AI · arxiv.org推理能力论文研究#论文/研究#推理查看事件全部后续