Logic tensor networks

DOI10.1016/J.ARTINT.2021.103649MaRDI QIDQ2667828zbMATH OpenOpenAlexFDO

Authors Samy Badreddine, Luciano Serafini, Michael Spranger, A. S. d'Avila Garcez

Publication date 2 March 2022

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2012.13635

zbMATH Keywords

many-valued logicsdeep learning and reasoningneurosymbolic AI

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Cites work

• scientific article; zbMATH DE number 1911276 (Why is no real title available?)
• scientific article; zbMATH DE number 6276266 (Why is no real title available?)
• Algorithms for Weighted Boolean Optimization
• Analyzing differentiable fuzzy logic operators
• Learning and reasoning with logic tensor networks
• Learning explanatory rules from noisy data
• Lifted relational neural networks: efficient learning of latent relational structures
• Markov logic networks
• Meta-interpretive learning: application to grammatical inference
• Metamathematics of fuzzy logic
• Neural probabilistic logic programming in DeepProbLog
• Neural-Symbolic Cognitive Reasoning
• Perspectives of neural-symbolic integration.
• Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
• Semi-supervised learning using differentiable reasoning
• TensorLog: a probabilistic database implemented using deep-learning infrastructure
• The harmonic mind--from neural computation to optimality-theoretic grammar. Volume 1. Cognitive architecture
• The many valued and nonmonotonic turn in logic
• Triangular norms

Cited in

(10)

• From statistical relational to neurosymbolic artificial intelligence: a survey
• Logical activation functions for training arbitrary probabilistic Boolean operations
• Conceptual orthospaces -- convexity meets negation
• \(\alpha\)ILP: thinking visual scenes as differentiable logic programs
• Refining neural network predictions using background knowledge
• \(\mathrm{CCN}^+\): a neuro-symbolic framework for deep learning with requirements
• Embedding ontologies in the description logic \(\mathcal{ALC}\) by axis-aligned cones
• Neural logic rule layers
• Explainable and interpretable machine learning and data mining
• Declarative probabilistic logic programming in discrete-continuous domains

Describes a project that uses

Uses Software

• UCI
• TensorFlow
• ImageNet
• Adam
• TensorLog
• AlexNet
• DL2
• DeepProbLog

This page was built for publication: Logic tensor networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2667828)