Knowledge Tree
Logic Tensor Networks
Also known as: Logic Tensor Network
Facts (15)
Sources
A Comprehensive Review of Neuro-symbolic AI for Robustness ... link.springer.com Dec 9, 2025 9 facts
referenceS. Badreddine, A. Garcez, L. Serafini, and M. Spranger published 'Logic tensor networks' in the journal Artificial Intelligence in 2022.
claimLogic Tensor Networks (LTN) and Logical Neural Networks (LNN) implement first-order logic using real-valued truth tensors and learnable fuzzy operators.
referenceBadreddine, Garcez, Serafini, and Spranger (2022) present Logic Tensor Networks as a framework for neuro-symbolic integration.
claimResearch frameworks such as DeepProbLog, Neural Theorem Provers, Logic Tensor Networks, and Scallop enable the embedding of logical inference into end-to-end neural network learning by making symbolic reasoning differentiable.
procedureLogic Tensor Networks (LTN) use continuously valued logic with fuzzy semantics to train neural networks that satisfy given logical axioms, such as enforcing that the truth degree of a premise is less than or equal to the truth degree of a conclusion.
referenceGreco, G., Alberici, F., Palmonari, M., and Cosentini, A. developed a method for the declarative encoding of fairness within logic tensor networks, presented at ECAI 2023.
referenceThe 'Neuro[Symbolic]' architecture directly encodes symbolic structures into the architecture of neural networks, using techniques like Tensor Product Representations (TPRs) and Logic Tensor Networks (LTNs) to embed logical constraints into learning dynamics.
referenceFrameworks such as the Neuro-Symbolic Concept Learner (NS-CL) and Logic Tensor Networks (LTNs) enhance interpretability and abstraction in visual understanding by fusing deep learning's feature extraction with symbolic AI's structured knowledge representation.
referenceSerafini and Garcez (2016) published 'Learning and reasoning with logic tensor networks' in the Conference of the Italian Association for Artificial Intelligence, introducing Logic Tensor Networks as a method for neuro-symbolic integration.
Neuro-symbolic AI - Wikipedia en.wikipedia.org 4 facts
referenceThe 'NeuralSymbolic' approach uses a neural network generated from symbolic rules, such as the Neural Theorem Prover, which constructs a neural network from an AND-OR proof tree generated from knowledge base rules and terms; Logic Tensor Networks also fall into this category.
referenceLuciano Serafini and Artur d'Avila Garcez authored the 2016 paper 'Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge', published on arXiv.
referenceLogic Tensor Networks are a neuro-symbolic implementation that encodes logical formulas as neural networks while simultaneously learning term encodings, term weights, and formula weights.
referenceLuciano Serafini and Artur d'Avila Garcez authored 'Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge', which discusses integrating deep learning with logical reasoning.
Neuro-Symbolic AI: The Hybrid Future of Intelligent Systems - LinkedIn linkedin.com Aug 26, 2025 1 fact
claimNeuro-symbolic systems improve reliability, data efficiency, and abstract reasoning by integrating methods such as logic tensor networks and neural theorem provers.
Papers - Dr Vaishak Belle vaishakbelle.github.io 1 fact
referenceN. Uperti and Vaishak Belle authored the paper 'Logic Tensor Network-Enhanced Generative Adversarial Network', published in ICLP in 2025.