arXiv · cs.AI · Aboubaker Seddiq Benterki, J\"uri Vain, Gert Kanter, Leelo Aino J\"urgenstein2026-11-04 13:00 · 4 小时前模型评分36

ALBI：用大语言模型（LLM，Large Language Model）驱动归纳逻辑编程的迭代生成-测试-约束框架

ALBI: LLM-Guided Inductive Logic Programming via Iterative Generate-Test-Constrain Refineme

导读

ALBI 是一个神经符号归纳逻辑编程（ILP，Inductive Logic Programming）框架，用大语言模型（LLM，Large Language Model）替换 LFF 范式中基于 ASP 的假设生成器，并保留 SWI-Prolog 作为形式验证器。

分类置信度

中 · 待人工复核

来源级别：媒体与个人

事件类型：研究发布

证据摘录

“We introduce ALBI (Agent for Learning By Induction), a neuro-symbolic ILP framework that replaces the ASP-based hypothesis generator in the Learning from Failures (LFF) paradigm with a Large Language Model (LLM), while retaining SWI-Prolog as a formal verifier.”

来源：arXiv · cs.AI · arxiv.org

ALBI：用 大语言模型（LLM，Large Language Model） 驱动归纳逻辑编程的迭代生成-测试-约束框架