Saved in:
Bibliographic Details
Main Authors: Peng, Yifei, Liu, Yaoli, Xia, Enbo, Jin, Yu, Dai, Wang-Zhou, Ren, Zhong, Ding, Yao-Xiang, Zhou, Kun
Format: Preprint
Published: 2025
Subjects:
Online Access:https://arxiv.org/abs/2509.21874
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866909808531079168
author Peng, Yifei
Liu, Yaoli
Xia, Enbo
Jin, Yu
Dai, Wang-Zhou
Ren, Zhong
Ding, Yao-Xiang
Zhou, Kun
author_facet Peng, Yifei
Liu, Yaoli
Xia, Enbo
Jin, Yu
Dai, Wang-Zhou
Ren, Zhong
Ding, Yao-Xiang
Zhou, Kun
contents We propose ILP-CoT, a method that bridges Inductive Logic Programming (ILP) and Multimodal Large Language Models (MLLMs) for abductive logical rule induction. The task involves both discovering logical facts and inducing logical rules from a small number of unstructured textual or visual inputs, which still remain challenging when solely relying on ILP, due to the requirement of specified background knowledge and high computational cost, or MLLMs, due to the appearance of perceptual hallucinations. Based on the key observation that MLLMs could propose structure-correct rules even under hallucinations, our approach automatically builds ILP tasks with pruned search spaces based on the rule structure proposals from MLLMs, and utilizes ILP system to output rules built upon rectified logical facts and formal inductive reasoning. Its effectiveness is verified through challenging logical induction benchmarks, as well as a potential application of our approach, namely text-to-image customized generation with rule induction. Our code and data are released at https://github.com/future-item/ILP-CoT.
format Preprint
id arxiv_https___arxiv_org_abs_2509_21874
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Abductive Logical Rule Induction by Bridging Inductive Logic Programming and Multimodal Large Language Models
Peng, Yifei
Liu, Yaoli
Xia, Enbo
Jin, Yu
Dai, Wang-Zhou
Ren, Zhong
Ding, Yao-Xiang
Zhou, Kun
Machine Learning
We propose ILP-CoT, a method that bridges Inductive Logic Programming (ILP) and Multimodal Large Language Models (MLLMs) for abductive logical rule induction. The task involves both discovering logical facts and inducing logical rules from a small number of unstructured textual or visual inputs, which still remain challenging when solely relying on ILP, due to the requirement of specified background knowledge and high computational cost, or MLLMs, due to the appearance of perceptual hallucinations. Based on the key observation that MLLMs could propose structure-correct rules even under hallucinations, our approach automatically builds ILP tasks with pruned search spaces based on the rule structure proposals from MLLMs, and utilizes ILP system to output rules built upon rectified logical facts and formal inductive reasoning. Its effectiveness is verified through challenging logical induction benchmarks, as well as a potential application of our approach, namely text-to-image customized generation with rule induction. Our code and data are released at https://github.com/future-item/ILP-CoT.
title Abductive Logical Rule Induction by Bridging Inductive Logic Programming and Multimodal Large Language Models
topic Machine Learning
url https://arxiv.org/abs/2509.21874