Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge

14 Jun 2016Luciano SerafiniArtur d'Avila Garcez

We propose Logic Tensor Networks: a uniform framework for integrating automatic learning and reasoning. A logic formalism called Real Logic is defined on a first-order language whereby formulas have truth-value in the interval [0,1] and semantics defined concretely on the domain of real numbers... (read more)

PDF Abstract

Results from the Paper

  Submit results from this paper to get state-of-the-art GitHub badges and help the community compare results to other papers.