Defining neurosymbolic AI

• URL: http://arxiv.org/abs/2507.11127v1
• Date: Tue, 15 Jul 2025 09:23:22 GMT
• Title: Defining neurosymbolic AI
• Authors: Lennert De Smet, Luc De Raedt,
• Abstract summary: We introduce a formal definition for neurosymbolic AI that makes abstraction of its key ingredients.<n>We show that our neurosymbolic AI definition makes abstraction of key representative neurosymbolic AI systems.
• Score: 10.159501412046508
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Neurosymbolic AI focuses on integrating learning and reasoning, in particular, on unifying logical and neural representations. Despite the existence of an alphabet soup of neurosymbolic AI systems, the field is lacking a generally accepted formal definition of what neurosymbolic models and inference really are. We introduce a formal definition for neurosymbolic AI that makes abstraction of its key ingredients. More specifically, we define neurosymbolic inference as the computation of an integral over a product of a logical and a belief function. We show that our neurosymbolic AI definition makes abstraction of key representative neurosymbolic AI systems.

Related papers

• Reasoning in Neurosymbolic AI [2.25467522343563]
  principled integration of reasoning and learning in neural networks is a main objective of the area of neurosymbolic Artificial Intelligence.<n>A simple energy-based neurosymbolic AI system is described that can represent and reason formally about any propositional logic formula.
  arXiv  Detail & Related papers  (2025-05-22T11:57:04Z)
• Neural Brain: A Neuroscience-inspired Framework for Embodied Agents [58.58177409853298]
  Current AI systems, such as large language models, remain disembodied, unable to physically engage with the world.<n>At the core of this challenge lies the concept of Neural Brain, a central intelligence system designed to drive embodied agents with human-like adaptability.<n>This paper introduces a unified framework for the Neural Brain of embodied agents, addressing two fundamental challenges.
  arXiv  Detail & Related papers  (2025-05-12T15:05:34Z)
• Compositional Generalization Across Distributional Shifts with Sparse Tree Operations [77.5742801509364]
  We introduce a unified neurosymbolic architecture called the Differentiable Tree Machine.<n>We significantly increase the model's efficiency through the use of sparse vector representations of symbolic structures.<n>We enable its application beyond the restricted set of tree2tree problems to the more general class of seq2seq problems.
  arXiv  Detail & Related papers  (2024-12-18T17:20:19Z)
• Formal Explanations for Neuro-Symbolic AI [28.358183683756028]
  This paper proposes a formal approach to explaining the decisions of neuro-symbolic systems. It first computes a formal explanation for the symbolic component of the system, which serves to identify a subset of the individual parts of neural information that needs to be explained. This is followed by explaining only those individual neural inputs, independently of each other, which facilitates succinctness of hierarchical formal explanations.
  arXiv  Detail & Related papers  (2024-10-18T07:08:31Z)
• Psychology of Artificial Intelligence: Epistemological Markers of the Cognitive Analysis of Neural Networks [0.0]
  The psychology of artificial intelligence, as predicted by Asimov (1950), aims to study this AI probing and explainability-sensitive matter. A prerequisite for examining the latter is to clarify some milestones regarding the cognitive status we can attribute to its phenomenology.
  arXiv  Detail & Related papers  (2024-07-04T12:53:05Z)
• The Roles of Symbols in Neural-based AI: They are Not What You Think! [25.450989579215708]
  We present a novel neuro-symbolic hypothesis and a plausible architecture for intelligent agents. Our hypothesis and associated architecture imply that symbols will remain critical to the future of intelligent systems.
  arXiv  Detail & Related papers  (2023-04-26T15:33:41Z)
• A Semantic Framework for Neuro-Symbolic Computing [0.36832029288386137]
  The field of neuro-symbolic AI aims to benefit from the combination of neural networks and symbolic systems.<n>No common definition of encoding exists that can enable a precise, theoretical comparison of neuro-symbolic methods.<n>This paper addresses this problem by introducing a semantic framework for neuro-symbolic AI.
  arXiv  Detail & Related papers  (2022-12-22T22:00:58Z)
• Constraints on the design of neuromorphic circuits set by the properties of neural population codes [61.15277741147157]
  In the brain, information is encoded, transmitted and used to inform behaviour. Neuromorphic circuits need to encode information in a way compatible to that used by populations of neuron in the brain.
  arXiv  Detail & Related papers  (2022-12-08T15:16:04Z)
• Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computing [73.0977635031713]
  Neural-symbolic computing (NeSy) has been an active research area of Artificial Intelligence (AI) for many years. NeSy shows promise of reconciling the advantages of reasoning and interpretability of symbolic representation and robust learning in neural networks.
  arXiv  Detail & Related papers  (2022-10-28T04:38:10Z)
• Neuromorphic Artificial Intelligence Systems [58.1806704582023]
  Modern AI systems, based on von Neumann architecture and classical neural networks, have a number of fundamental limitations in comparison with the brain. This article discusses such limitations and the ways they can be mitigated. It presents an overview of currently available neuromorphic AI projects in which these limitations are overcome.
  arXiv  Detail & Related papers  (2022-05-25T20:16:05Z)
• Neuro-Symbolic Learning of Answer Set Programs from Raw Data [54.56905063752427]
  Neuro-Symbolic AI aims to combine interpretability of symbolic techniques with the ability of deep learning to learn from raw data. We introduce Neuro-Symbolic Inductive Learner (NSIL), an approach that trains a general neural network to extract latent concepts from raw data. NSIL learns expressive knowledge, solves computationally complex problems, and achieves state-of-the-art performance in terms of accuracy and data efficiency.
  arXiv  Detail & Related papers  (2022-05-25T12:41:59Z)
• Neurocompositional computing: From the Central Paradox of Cognition to a new generation of AI systems [120.297940190903]
  Recent progress in AI has resulted from the use of limited forms of neurocompositional computing. New, deeper forms of neurocompositional computing create AI systems that are more robust, accurate, and comprehensible.
  arXiv  Detail & Related papers  (2022-05-02T18:00:10Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.