arXiv发布查询驱动抬升推理学习算法

2026年10月27日，arXiv预印本发布了一篇由Luise Ge和Brendan Juba撰写的AI领域研究。该工作提出了一种查询驱动的抬升推理学习算法，旨在解决在部分数据和知识库条件下验证或反驳通用查询的问题。 该算法的核心贡献在于将先前工作扩展至一阶逻辑设定，研究人员指出这对于实际应用至关重要，因为接地原子数量通常呈快速增长态势。在理论层面，该算法具备准多项式时间复杂度，并在空间受限条件下实现了健全性与完备性。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。