Abstract:Neuro-symbolic models of artificial intelligence (AI) have been recently developed to perform tasks involving abstract visual reasoning that is a hallmark of human intelligence but remains challenging for deep neural network methods. However, most of the current neuro-symbolic models also rely on supervised learning and auxiliary annotations, different from human cognitive processes that are much dependent on the general cognitive abilities of entity and rule recognitions, rather than learning how to solve the specific tasks from examples. In this work, we propose a neuro-symbolic model by self-supervised contrastive learning (NS-SSCL) with unique and invariant representations of entities and rules in the perception and reasoning modules, respectively, to solve Raven’s Progressive Matrices (RPMs) and its variant, a typical type of visual reasoning task used to test human intelligence. The perception module parses each object into invariant representations of attributes. The reasoning module grounds the representations of object attributes to form the latent rule representations also through SSCL. Further, the relationships between the neural representations of object attributes and symbols used for rule reasoning are coherently mapped. Finally, the scene generation engine aggregates all attribute and rule representation distributions to produce a probabilistic representation of the target. NS-SSCL obtains state-of-the-art performance in unsupervised models to solve the RAVEN and V-PROM benchmarks, even better than most of the supervised models. The success of the proposed model suggests that construction of general cognitive abilities like humans may render the AI algorithms to solve complex tasks involving higher-level cognition such as abstract reasoning in a human-like manner.

Untrained neural networks can demonstrate memorization-independent abstract reasoning

Measuring abstract reasoning in neural networks

Abstract Reasoning with Distracting Features

Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning

The Surprising Effectiveness of Test-Time Training for Abstract Reasoning

Learning Algebraic Representation for Abstract Spatial-Temporal Reasoning

Neural Algorithmic Reasoning Without Intermediate Supervision

Neural networks for abstraction and reasoning: Towards broad generalization in machines

A Cognitively-Inspired Neural Architecture for Visual Abstract Reasoning Using Contrastive Perceptual and Conceptual Processing

On Memorization of Large Language Models in Logical Reasoning

Evolutionary Training and Abstraction Yields Algorithmic Generalization of Neural Computers

Learning to reason over visual objects

Towards Neural Network-based Reasoning

A Feature-based Generalizable Prediction Model for Both Perceptual and Abstract Reasoning

Neural representation of abstract task structure during generalization

Discrete Neural Algorithmic Reasoning

Abstract Visual Reasoning by Self-supervised Contrastive Learning

Multi-Granularity Modularized Network for Abstract Visual Reasoning

Bridging Logic and Learning: A Neural-Symbolic Approach for Enhanced Reasoning in Neural Models (ASPER)

Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation

Learning Differentiable Logic Programs for Abstract Visual Reasoning