Learning to Reason: Targeted Knowledge Discovery and Fuzzy Logic Update for Robust Image Recognition
Not on the map. Why?
Abstract (arXiv)
Integrating domain knowledge into deep neural networks is a promising way to improve generalization. Existing methods either encode prior knowledge in the loss function or apply post-processing modules, but both depend on identifying useful symbolic knowledge to integrate. Since such rules are often unavailable in real-world vision tasks, we propose a method for targeted knowledge discovery. We propose a Differentiable Knowledge Unit (DKU) that enables modulating the classifier logits, yielding refined class probabilities. The DKU uses implication rules to represent relationships between task classes and implicit concepts learned entirely from the main task supervision, without requiring concept labels. Concepts are identified by dedicated classifiers, whose probabilities are passed to DKU alongside the primary class probabilities. DKU computes a logic-based adjustment vector via fuzzy inference, which modulates the primary class logits to yield refined class probabilities. When concept classifiers represent concepts that do not support the logical rule structure, the resulting adjustments to the class probabilities do not directly minimize the supervision loss. Consequently, optimizing the supervision loss on these adjusted class probabilities implicitly trains the concept classifiers. We construct the rule base so that bidirectional logical relations connect concepts and classes. We enforce the concepts to be distinct from each other and with respect to the classes. This design enforces a clean supervision signal for concept learning. We evaluate our methods on the PASCAL-VOC, COCO, and MedMNIST datasets. We demonstrate improvement through our knowledge integration across these datasets. We conduct domain generalization and hard-sample ablation studies and find that our implicit knowledge discovery and integration outperforms the baseline.
Key facts. No citing papers in the map yet (data through 13 Oct 2026). Builds on 16 of its 26 references that are in the map. First posted on arXiv 30 Apr 2026.
Builds on
16 of 26 references.
References · 16
- 2014Microsoft COCO: Common Objects in Contextcited by 17,550
- 2016Wide Residual Networkscited by 3,063
- 2019Optuna: A Next-generation Hyperparameter Optimization Frameworkcited by 2,472
- 2021Swin Transformer V2: Scaling Up Capacity and Resolutioncited by 1,219
- 2020Concept Bottleneck Modelscited by 1,027
- 2021MedMNIST v2 -- A large-scale lightweight benchmark for 2D and 3D biomedical image classificationcited by 685
- 2019Neural Probabilistic Logic Programming in DeepProbLogcited by 390
- 2017A Semantic Loss Function for Deep Learning with Symbolic Knowledgecited by 268
- 2020Logic Tensor Networkscited by 197
- 2019Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoningcited by 150
- 2016Harnessing Deep Neural Networks with Logic Rulescited by 135
- 2020Analyzing Differentiable Fuzzy Logic Operatorscited by 100
4 more
- 2017Logic Tensor Networks for Semantic Image Interpretationcited by 92
- 2022Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computingcited by 34
- 2023LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and Reasoningcited by 17
- 2021Faster-LTN: a neuro-symbolic, end-to-end object detection architecturecited by 10
Built on by
Not cited yet.