Related Experiment Video
Updated: Apr 24, 2026

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems
Published on: June 13, 2025
Systematic Abductive Reasoning via Diverse Relation Representations in Vector-Symbolic Architecture
Abstract:
In abstract visual reasoning, monolithic deep learning models suffer from limited interpretability and generalization, while existing neuro-symbolic approaches fall short in capturing the diversity and systematicity of attribute and relation representations. To address these challenges, we propose a systematic abductive reasoning model with diverse relation representations (Rel-SAR) in vector-symbolic architecture (VSA) to solve Raven's progressive matrices (RPM). To derive attribute representations with symbolic reasoning potential, we introduce not only various types of atomic high-dimensional (HD) encodings that capture numeric, periodic, and logical semantics, but also the structured HD representation (SHDR) for the overall grid component. For systematic reasoning, we further propose novel numerical and logical relation functions and perform rule abduction and execution in a unified framework built upon these relation representations. Experimental results demonstrate that Rel-SAR achieves significant performance improvements on RPM tasks. By synergistically combining HD attribute representations with symbolic reasoning, Rel-SAR enables systematic abductive reasoning with both interpretable and computable semantics.
Related Concept Videos
Deductive Reasoning
For example, a researcher can deduce specific predictions...
Inductive Reasoning
Inductive reasoning is common in descriptive science. A life scientist makes observations and records them. This data can be qualitative or...
Reasoning
Inductive reasoning involves deriving generalizations from specific observations. This type of reasoning helps form beliefs about the world. For example,...
Multi-input and Multi-variable systems
In the absence of...
Relation between Mathematical Equations and Block Diagrams
Storage
