English
Related papers

Related papers: REASON: Accelerating Probabilistic Logical Reasoni…

200 papers

High-level reasoning can be defined as the capability to generalize over knowledge acquired via experience, and to exhibit robust behavior in novel situations. Such form of reasoning is a basic skill in humans, who seamlessly use it in a…

Artificial Intelligence · Computer Science 2023-11-15 Alessandro Oltramari

A key objective in the field of artificial intelligence is to develop cognitive models that can exhibit human-like intellectual capabilities. One promising approach to achieving this is through neural-symbolic systems, which combine the…

Artificial Intelligence · Computer Science 2025-02-25 Dongran Yu , Xueyan Liu , Shirui Pan , Anchen Li , Bo Yang

Neuro-Symbolic Artificial Intelligence (NeSy AI) has emerged as a promising direction for integrating neural learning with symbolic reasoning. Typically, in the probabilistic variant of such systems, a neural network first extracts a set of…

Neurosymbolic artificial intelligence (AI) systems combine neural network and classical symbolic AI mechanisms to exploit the complementary strengths of large scale, generalizable learning and robust, verifiable reasoning. Numerous…

Artificial Intelligence · Computer Science 2025-07-15 Aniruddha Chattopadhyay , Raj Dandekar , Kaushik Roy

Despite their linguistic competence, Large Language Models (LLMs) often struggle to reason reliably and flexibly. To identify these shortcomings, we introduce the Non-Linear Reasoning (NLR) dataset, a collection of 55 unique, hand-designed…

Computation and Language · Computer Science 2025-12-02 Nasim Borazjanizadeh , Steven T. Piantadosi

Knowledge graph reasoning is pivotal in various domains such as data mining, artificial intelligence, the Web, and social sciences. These knowledge graphs function as comprehensive repositories of human knowledge, facilitating the inference…

Artificial Intelligence · Computer Science 2024-12-17 Lihui Liu , Zihao Wang , Hanghang Tong

In this paper, we introduce Neural Probabilistic Soft Logic (NeuPSL), a novel neuro-symbolic (NeSy) framework that unites state-of-the-art symbolic reasoning with the low-level perception of deep neural networks. To model the boundary…

Machine Learning · Computer Science 2023-05-24 Connor Pryor , Charles Dickens , Eriq Augustine , Alon Albalak , William Wang , Lise Getoor

We propose a fully spectral, neuro\-symbolic reasoning architecture that leverages Graph Signal Processing (GSP) as the primary computational backbone for integrating symbolic logic and neural inference. Unlike conventional reasoning models…

Artificial Intelligence · Computer Science 2025-08-22 Andrew Kiruluta

Neurosymbolic AI is growing in popularity thanks to its ability to combine neural perception and symbolic reasoning in end-to-end trainable models. However, recent findings reveal these are prone to shortcut reasoning, i.e., to learning…

Machine Learning · Computer Science 2026-02-02 Luca Andolfi , Eleonora Giunchiglia

Advocates for Neuro-Symbolic Artificial Intelligence (NeSy) assert that combining deep learning with symbolic reasoning will lead to stronger AI than either paradigm on its own. As successful as deep learning has been, it is generally…

Artificial Intelligence · Computer Science 2022-12-16 Kyle Hamilton , Aparna Nayak , Bojan Božić , Luca Longo

Probabilistic reasoning is an essential tool for robust decision-making systems because of its ability to explicitly handle real-world uncertainty, constraints and causal relations. Consequently, researchers are developing hybrid models by…

Hardware Architecture · Computer Science 2021-03-02 Nimish Shah , Laura I. Galindez Olascoaga , Wannes Meert , Marian Verhelst

Neural-symbolic methods have demonstrated efficiency in enhancing the reasoning abilities of large language models (LLMs). However, existing methods mainly rely on syntactically mapping natural languages to complete formal languages like…

Computation and Language · Computer Science 2024-06-04 Yiming Wang , Zhuosheng Zhang , Pei Zhang , Baosong Yang , Rui Wang

General logical reasoning, defined as the ability to reason deductively on domain-agnostic tasks, continues to be a challenge for large language models (LLMs). Current LLMs fail to reason deterministically and are not interpretable. As…

Artificial Intelligence · Computer Science 2025-08-06 Michael K. Chen

This paper introduces a novel automated system for generating architecture schematic designs aimed at streamlining complex decision-making at the multifamily real estate development project's outset. Leveraging the combined strengths of…

Artificial Intelligence · Computer Science 2024-02-02 Milin Kodnongbua , Lawrence H. Curtis , Adriana Schulz

Neuro-Symbolic AI (NSAI) is an emerging paradigm that integrates neural networks with symbolic reasoning to enhance the transparency, reasoning capabilities, and data efficiency of AI systems. Recent NSAI systems have gained traction due to…

Hardware Architecture · Computer Science 2025-04-30 Hanchen Yang , Zishen Wan , Ritik Raj , Joongun Park , Ziwei Li , Ananda Samajdar , Arijit Raychowdhury , Tushar Krishna

Knowledge graph reasoning is the fundamental component to support machine learning applications such as information extraction, information retrieval, and recommendation. Since knowledge graphs can be viewed as the discrete symbolic…

Artificial Intelligence · Computer Science 2021-04-01 Jing Zhang , Bo Chen , Lingxi Zhang , Xirui Ke , Haipeng Ding

Neural-symbolic learning, an intersection of neural networks and symbolic reasoning, aims to blend neural networks' learning capabilities with symbolic AI's interpretability and reasoning. This paper introduces an approach designed to…

Artificial Intelligence · Computer Science 2025-06-10 Fadi Al Machot

Human reasoning can often be understood as an interplay between two systems: the intuitive and associative ("System 1") and the deliberative and logical ("System 2"). Neural sequence models -- which have been increasingly successful at…

Artificial Intelligence · Computer Science 2021-12-16 Maxwell Nye , Michael Henry Tessler , Joshua B. Tenenbaum , Brenden M. Lake

Graph neural networks (GNNs) excel at predictive tasks on graph-structured data but often lack the ability to incorporate symbolic domain knowledge and perform general reasoning. Relational Bayesian Networks (RBNs), in contrast, enable…

Artificial Intelligence · Computer Science 2025-07-30 Raffaele Pojer , Andrea Passerini , Kim G. Larsen , Manfred Jaeger

Deep learning has largely improved the performance of various natural language processing (NLP) tasks. However, most deep learning models are black-box machinery, and lack explicit interpretation. In this chapter, we will introduce our…

Computation and Language · Computer Science 2023-09-26 Xianggen Liu , Zhengdong Lu , Lili Mou