跳到正文
arXiv cs.AI· Ioannis Konstantoulas, Iliana Loi, Kyriakos Sgarbas·· 2 小时前AI 评分34

Predicate Neuron:基于梯度学习的谓词关系可微量化方法

Predicate Neuron: Differentiable Quantization of Predicate Relations in Gradient-based Learning

AI 导读

研究者提出 Native Predicate Neuron,一种可微分的逻辑推理神经模块,通过一阶逻辑量化将符号推理能力嵌入标准神经网络。该神经元仅用一个可训练参数在运算间切换,训练时执行硬逻辑运算同时保持反向传播可微,可近似连续与非连续函数。

正文 · 原文

View PDF HTML (experimental)

Abstract:In machine learning, symbolic reasoning approaches often rely on static architectures that hinder integration into deep neural networks and gradient-based optimization. To address this, we introduce the Native Predicate Neuron, a differentiable logic-reasoning neural module that enriches standard architectures with symbolic reasoning capabilities via first-order logic quantization. The proposed neuron models relational logic by learning to alternate between operations using a single trainable parameter. It features a tailored gradient mechanism with a dual-nature formulation: executing hard logical operations during training while maintaining differentiability for backpropagation. By quantizing both its input and choice state, the Predicate Neuron approximates continuous and non-continuous functions, effectively resolving discontinuities that standard deep learning architectures struggle with. We evaluate the Predicate Neuron across Fully-Connected, Convolutional, Recurrent, and Transformer architectures on benchmarks like MNIST and Wikitext. Results show that incorporating Predicate Neurons accelerates convergence, boosts accuracy, and lowers loss in general, with particularly strong improvements in tasks requiring monotonic reasoning or handling discontinuities. Overall, the Predicate Neuron natively integrates into standard neural networks to enable fuzzy logic operations and is available in Keras and PyTorch.
Comments: 23 pages, 9 figures
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)
Cite as: arXiv:2610.37727 [cs.LG]
  (or arXiv:2610.37727v1 [cs.LG] for this version)
  https://doi.org/10.48550/arXiv.2610.37727

arXiv-issued DOI via DataCite

Submission history

From: Kyriakos Sgarbas [view email]
[v1] Tue, 27 Oct 2026 12:07:22 UTC (4,573 KB)

来源:arXiv cs.AI · arxiv.org