Differentiable Probabilistic Logic Networks

07/10/2019
by   Alexey Potapov, et al.
0

Probabilistic logic reasoning is a central component of such cognitive architectures as OpenCog. However, as an integrative architecture, OpenCog facilitates cognitive synergy via hybridization of different inference methods. In this paper, we introduce a differentiable version of Probabilistic Logic networks, which rules operate over tensor truth values in such a way that a chain of reasoning steps constructs a computation graph over tensors that accepts truth values of premises from the knowledge base as input and produces truth values of conclusions as output. This allows for both learning truth values of premises and formulas for rules (specified in a form with trainable weights) by backpropagation combining subsymbolic optimization and symbolic reasoning.

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
06/23/2020

Logical Neural Networks

We propose a novel framework seamlessly providing key properties of both...
research
08/05/2023

dPASP: A Comprehensive Differentiable Probabilistic Answer Set Programming Environment For Neurosymbolic Learning and Reasoning

We present dPASP, a novel declarative probabilistic logic programming fr...
research
02/27/2023

PyReason: Software for Open World Temporal Logic

The growing popularity of neuro symbolic reasoning has led to the adopti...
research
12/28/2020

Paraconsistent Foundations for Probabilistic Reasoning, Programming and Concept Formation

It is argued that 4-valued paraconsistent logic can serve as a conceptua...
research
03/13/2013

A Symbolic Approach to Reasoning with Linguistic Quantifiers

This paper investigates the possibility of performing automated reasonin...

Please sign up or login with your details

Forgot password? Click here to reset