TensorLog: Deep Learning Meets Probabilistic DBs

07/17/2017
by   William W. Cohen, et al.
0

We present an implementation of a probabilistic first-order logic called TensorLog, in which classes of logical queries are compiled into differentiable functions in a neural-network infrastructure such as Tensorflow or Theano. This leads to a close integration of probabilistic logical reasoning with deep-learning infrastructure: in particular, it enables high-performance deep learning frameworks to be used for tuning the parameters of a probabilistic logic. Experimental results show that TensorLog scales to problems involving hundreds of thousands of knowledge-base triples and tens of thousands of examples.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/27/2017

Differentiable Learning of Logical Rules for Knowledge Base Reasoning

We study the problem of learning probabilistic first-order logical rules...
research
06/14/2016

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

We propose Logic Tensor Networks: a uniform framework for integrating au...
research
01/14/2019

Integrating Learning and Reasoning with Deep Logic Models

Deep learning is very effective at jointly learning feature representati...
research
12/22/2011

Improving the Efficiency of Approximate Inference for Probabilistic Logical Models by means of Program Specialization

We consider the task of performing probabilistic inference with probabil...
research
04/09/2018

First Experiments with a Flexible Infrastructure for Normative Reasoning

A flexible infrastructure for normative reasoning is outlined. A small-s...
research
06/28/2022

Learning Symmetric Rules with SATNet

SATNet is a differentiable constraint solver with a custom backpropagati...
research
09/28/2021

DeepPSL: End-to-end perception and reasoning with applications to zero shot learning

We introduce DeepPSL a variant of Probabilistic Soft Logic (PSL) to prod...

Please sign up or login with your details

Forgot password? Click here to reset