paper-with-me

홈 › Papers

$Π$-NeSy: A Possibilistic Neuro-Symbolic Approach

2025-04-09 · Ismaïl Baaj, Pierre Marquis

In this article, we introduce a neuro-symbolic approach that combines a low-level perception task performed by a neural network with a high-level reasoning task performed by a possibilistic rule-based system. The goal is to be able to derive for each input instance the degree of possibility that it belongs to a target (meta-)concept. This (meta-)concept is connected to intermediate concepts by a possibilistic rule-based system. The probability of each intermediate concept for the input instance is inferred using a neural network. The connection between the low-level perception task and the high-level reasoning task lies in the transformation of neural network outputs modeled by probability distributions (through softmax activation) into possibility distributions. The use of intermediate concepts is valuable for the explanation purpose: using the rule-based system, the classification of an input instance as an element of the (meta-)concept can be justified by the fact that intermediate concepts have been recognized. From the technical side, our contribution consists of the design of efficient methods for defining the matrix relation and the equation system associated with a possibilistic rule-based system. The corresponding matrix and equation are key data structures used to perform inferences from a possibilistic rule-based system and to learn the values of the rule parameters in such a system according to a training data sample. Furthermore, leveraging recent results on the handling of inconsistent systems of fuzzy relational equations, an approach for learning rule parameters according to multiple training data samples is presented. Experiments carried out on the MNIST addition problems and the MNIST Sudoku puzzles problems highlight the effectiveness of our approach compared with state-of-the-art neuro-symbolic ones.

📄 PDF Abstract BibTeX arXiv:2504.07055

Code (0)

등록된 구현이 없습니다.

Methods 이 논문이 사용한 방법론

Softmax The Softmax output function transforms a previous layer's output into a vector of probabilities. It is commonly used for multiclass classification. Given an input vector $x$…

Similar Papers 제목 키워드 기반

NeSyA: Neurosymbolic Automata

2024-12-10 · Nikolaos Manginas, George Paliouras, Luc De Raedt

Neurosymbolic (NeSy) AI has emerged as a promising direction to integrate neural and symbolic reasoning. Unfortunately, little effort has been given to developing NeSy systems tailored to sequential/temporal problems. We…

Neurosymbolic Diffusion Models

2025-05-19 · Emile van Krieken, Pasquale Minervini, Edoardo Ponti, Antonio Vergari

Neurosymbolic (NeSy) predictors combine neural perception with symbolic reasoning to solve tasks like visual reasoning. However, standard NeSy predictors assume conditional independence between the symbols they extract, …

Autonomous DrivingUncertainty QuantificationVisual Reasoning

Neurosymbolic Decision Trees

2025-03-11 · Matthias Möller, Arvid Norlander, Pedro Zuidberg Dos Martires, Luc De Raedt

Neurosymbolic (NeSy) AI studies the integration of neural networks (NNs) and symbolic reasoning based on logic. Usually, NeSy techniques focus on learning the neural, probabilistic and/or fuzzy parameters of NeSy models.…

EM-NeSy: Expectation Maximization for Neurosymbolic Learning

2026-06-12 · Annegret Seibt, Luc De Raedt, Giuseppe Marra arxiv

Neurosymbolic (NeSy) models integrate neural networks and symbolic reasoning for robust and interpretable AI. State-of-the-art NeSy models require that the symbolic component is expressed in a differentiable way, often c…

Computational Efficiency

Neurosymbolic Reasoning Shortcuts under the Independence Assumption

2025-07-15 · Emile van Krieken, Pasquale Minervini, Edoardo Ponti, Antonio Vergari

The ubiquitous independence assumption among symbolic concepts in neurosymbolic (NeSy) predictors is a convenient simplification: NeSy predictors use it to speed up probabilistic reasoning. Recent works like van Krieken …