一阶提升推理的查询驱动学习算法提出

Luise Ge 与 Brendan Juba 将查询驱动学习从命题情形扩展到一阶设定，提出验证或反驳全称查询的充要条件“有界隐藏”，并给出在一阶提升层面求解该任务的拟多项式时间算法。 据该研究，算法相对空间有界提升证明具备可靠性与完备性保证，并具有拟多项式样本与运行时间界，表明即使无限制的知识库学习不可行，提升层面的查询驱动推理仍可高效完成。

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

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