Arrow Research search
Back to NeSy

NeSy 2025

Disentangling Neural Disjunctive Normal Form Models

Conference Paper Accepted Paper Artificial Intelligence · Logic in Computer Science · Neurosymbolic Artificial Intelligence

Abstract

Neural Disjunctive Normal Form (DNF) based models are powerful and interpretable approaches to neuro-symbolic learning and have shown promising results in classification and reinforcement learning settings without prior knowledge of the tasks. However, their performance is degraded by the thresholding of the post-training symbolic translation process. We show here that part of the performance degradation during translation is due to its failure to disentangle the learned knowledge represented in the form of the networks’ weights. We address this issue by proposing a new disentanglement method; by splitting nodes that encode nested rules into smaller independent nodes, we are able to better preserve the models’ performance. Through experiments on binary, multiclass, and multilabel classification tasks (including those requiring predicate invention), we demonstrate that our disentanglement method provides compact and interpretable logical representations for the neural DNF-based models, with performance closer to that of their pre-translation counterparts. Our code is available at https: //github. com/kittykg/disentangling-ndnf-classification.

Authors

Keywords

No keywords are indexed for this paper.

Context

Venue
International Conference on Neurosymbolic Learning and Reasoning
Archive span
2007-2025
Indexed papers
258
Paper id
67692618294613687
v2026.09.13