English
Related papers

Related papers: The DeepLog Neurosymbolic Machine

200 papers

DeepLog is an operational neurosymbolic framework that unifies logic and deep learning within standard PyTorch workflows. While existing neurosymbolic systems focus on a particular paradigm and semantics, DeepLog serves as a universal…

We introduce DeepProbLog, a probabilistic logic programming language that incorporates deep learning by means of neural predicates. We show how existing inference and learning techniques can be adapted for the new language. Our experiments…

Artificial Intelligence · Computer Science 2018-12-13 Robin Manhaeve , Sebastijan Dumančić , Angelika Kimmig , Thomas Demeester , Luc De Raedt

Neurosymbolic AI (NeSy) aims to integrate the statistical strengths of neural networks with the interpretability and structure of symbolic reasoning. However, current NeSy frameworks like DeepProbLog enforce a fixed flow where symbolic…

Artificial Intelligence · Computer Science 2025-09-10 Adem Kikaj , Giuseppe Marra , Floris Geerts , Robin Manhaeve , Luc De Raedt

We introduce DeepProbLog, a neural probabilistic logic programming language that incorporates deep learning by means of neural predicates. We show how existing inference and learning techniques of the underlying probabilistic logic…

Artificial Intelligence · Computer Science 2019-09-26 Robin Manhaeve , Sebastijan Dumančić , Angelika Kimmig , Thomas Demeester , Luc De Raedt

We present Scallop, a language which combines the benefits of deep learning and logical reasoning. Scallop enables users to write a wide range of neurosymbolic applications and train them in a data- and compute-efficient manner. It achieves…

Programming Languages · Computer Science 2023-04-12 Ziyang Li , Jiani Huang , Mayur Naik

Deep learning (DL) based language models achieve high performance on various benchmarks for Natural Language Inference (NLI). And at this time, symbolic approaches to NLI are receiving less attention. Both approaches (symbolic and DL) have…

Computation and Language · Computer Science 2021-06-11 Zeming Chen , Qiyue Gao , Lawrence S. Moss

Application domains that require considering relationships among objects which have real-valued attributes are becoming even more important. In this paper we propose NeuralLog, a first-order logic language that is compiled to a neural…

Machine Learning · Computer Science 2021-05-05 Victor Guimarães , Vítor Santos Costa

Knowledge representation and reasoning in neural networks have been a long-standing endeavor which has attracted much attention recently. The principled integration of reasoning and learning in neural networks is a main objective of the…

Artificial Intelligence · Computer Science 2025-05-28 Son Tran , Edjard Mota , Artur d'Avila Garcez

Recent advances in neural symbolic learning, such as DeepProbLog, extend probabilistic logic programs with neural predicates. Like graphical models, these probabilistic logic programs define a probability distribution over possible worlds,…

Artificial Intelligence · Computer Science 2021-06-24 Thomas Winters , Giuseppe Marra , Robin Manhaeve , Luc De Raedt

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…

Artificial Intelligence · Computer Science 2025-07-16 Lennert De Smet , Luc De Raedt

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

This perspective piece calls for the study of the new field of Intersymbolic AI, by which we mean the combination of symbolic AI, whose building blocks have inherent significance/meaning, with subsymbolic AI, whose entirety creates…

Artificial Intelligence · Computer Science 2024-10-21 André Platzer

Neurosymbolic (NeSy) AI aims to combine the strengths of neural architectures and symbolic reasoning to improve the accuracy, interpretability, and generalization capability of AI models. While logic inference on top of subsymbolic modules…

The remarkable advancements in artificial intelligence (AI), primarily driven by deep neural networks, are facing challenges surrounding unsustainable computational trajectories, limited robustness, and a lack of explainability. To develop…

Artificial Intelligence (AI) is a powerful new language of science as evidenced by recent Nobel Prizes in chemistry and physics that recognized contributions to AI applied to those areas. Yet, this new language lacks semantics, which makes…

Artificial Intelligence · Computer Science 2025-11-05 Artur d'Avila Garcez , Simon Odense

Neuro-symbolic artificial intelligence is a novel area of AI research which seeks to combine traditional rules-based AI approaches with modern deep learning techniques. Neuro-symbolic models have already demonstrated the capability to…

Artificial Intelligence · Computer Science 2021-09-14 Zachary Susskind , Bryce Arden , Lizy K. John , Patrick Stockton , Eugene B. John

Combining machine learning with logic-based expert systems in order to get the best of both worlds are becoming increasingly popular. However, to what extent machine learning can already learn to reason over rule-based knowledge is still an…

Neural and Evolutionary Computing · Computer Science 2019-03-11 Nuri Cingillioglu , Alessandra Russo

Neurosymbolic AI aims to integrate deep learning with symbolic AI. This integration has many promises, such as decreasing the amount of data required to train a neural network, improving the explainability and interpretability of answers…

Artificial Intelligence · Computer Science 2024-01-22 Emile van Krieken

Current advances in Artificial Intelligence and machine learning in general, and deep learning in particular have reached unprecedented impact not only across research communities, but also over popular media channels. However, concerns…

Artificial Intelligence · Computer Science 2019-05-16 Artur d'Avila Garcez , Marco Gori , Luis C. Lamb , Luciano Serafini , Michael Spranger , Son N. Tran

Neural-symbolic AI (NeSy) allows neural networks to exploit symbolic background knowledge in the form of logic. It has been shown to aid learning in the limited data regime and to facilitate inference on out-of-distribution data.…

Artificial Intelligence · Computer Science 2023-03-15 Lennert De Smet , Pedro Zuidberg Dos Martires , Robin Manhaeve , Giuseppe Marra , Angelika Kimmig , Luc De Raedt
‹ Prev 1 2 3 10 Next ›