arrow
返回

Learning differentiable logic programs for abstract visual reasoning

delete2024-10-26
delete0
delete
OA
AI
H
Hikaru Shindo *
V
Viktor Pfanschilling
D
Devendra Singh Dhami
K
Kristian Kersting
DOI:10.1007/s10994-024-06610-2delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
Visual reasoning is essential for building intelligent agents that understand the world and perform problem-solving beyond perception. Differentiable forward reasoning has been developed to integrate reasoning with gradient-based machine learning paradigms. However, due to the memory intensity, most existing approaches do not bring the best of the expressivity of first-order logic, excluding a crucial ability to solve abstract visual reasoning, where agents need to perform reasoning by using analogies on abstract concepts in different scenarios. To overcome this problem, we propose NEUro-symbolic Message-pAssiNg reasoNer (NEUMANN), which is a graph-based differentiable forward reasoner, passing messages in a memory-efficient manner and handling structured programs with functors. Moreover, we propose a computationally-efficient structure learning algorithm to perform explanatory program induction on complex visual scenes. To evaluate, in addition to conventional visual reasoning tasks, we propose a new task, visual reasoning behind-the-scenes, where agents need to learn abstract programs and then answer queries by imagining scenes that are not observed. We empirically demonstrate that NEUMANN solves visual reasoning tasks efficiently, outperforming neural, symbolic, and neuro-symbolic baselines.
Keyword:
Neuro-symbolic AI
Differentiable reasoning
Inductive logic programming
Graph neural network

期刊

Machine Learning 封面图
Machine Learning
IF:
2.9
论文数:
2.7K
被引数:
3.4W

机构

T
Technical University of Darmstadt
学者数:
1.3W
论文数: 10.0K
被引数: 1.2W
引用论文

引用论文

err分享
err收藏
The machine learning algorithm for the diagnosis of schizophrenia on the basis of gene expression in peripheral blood
err2021-02-01
err0
PREAI
errLulu Zhu; Xulong Wu; Bingyi Xu; Zhi Zhao; Jialei Yang; Jianxiong Long; Li Su
err分享
err收藏
Identification and Characterization of Latex-Specific Proteins in Opium Poppy
err1985-10-01
err0
errOAAI
errCraig L. Nessler; Randy D. Allen; Samuel Galewsky
err分享
err收藏
Visual Genome: Connecting Language and Vision Using Crowdsourced Dense Image Annotations视觉基因组: 使用众包密集图像注释连接语言和视觉
err2017-02-06
err3.1K
errOAAI
errKrishna, Ranjay; Zhu, Yuke; Groth, Oliver; Johnson, Justin; Hata, Kenji; Kravitz, Joshua; Chen, Stephanie; Kalantidis, Yannis; Li, Li-Jia; Shamma, David A.; Bernstein, Michael S.; Li Fei-Fei
err分享
err收藏
学者 查看更多内容