Learning Algorithms via Neural Logic Networks

04/02/2019
by   Ali Payani, et al.
0

We propose a novel learning paradigm for Deep Neural Networks (DNN) by using Boolean logic algebra. We first present the basic differentiable operators of a Boolean system such as conjunction, disjunction and exclusive-OR and show how these elementary operators can be combined in a simple and meaningful way to form Neural Logic Networks (NLNs). We examine the effectiveness of the proposed NLN framework in learning Boolean functions and discrete-algorithmic tasks. We demonstrate that, in contrast to the implicit learning in MLP approach, the proposed neural logic networks can learn the logical functions explicitly that can be verified and interpreted by human. In particular, we propose a new framework for learning the inductive logic programming (ILP) problems by exploiting the explicit representational power of NLN. We show the proposed neural ILP solver is capable of feats such as predicate invention and recursion and can outperform the current state of the art neural ILP solvers using a variety of benchmark tasks such as decimal addition and multiplication, and sorting on ordered list.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/08/2019

Inductive Logic Programming via Differentiable Deep Neural Logic Networks

We propose a novel paradigm for solving Inductive Logic Programming (ILP...
research
12/06/2021

Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks

Recent work on neuro-symbolic inductive logic programming has led to pro...
research
10/06/2019

Semantic Interpretation of Deep Neural Networks Based on Continuous Logic

Combining deep neural networks with the concepts of continuous logic is ...
research
10/04/2022

Logic and learning in network cascades

Critical cascades are found in many self-organizing systems. Here, we ex...
research
03/02/2021

Differentiable Inductive Logic Programming for Structured Examples

The differentiable implementation of logic yields a seamless combination...
research
09/17/2021

On the Convergence of Tsetlin Machines for the AND and the OR Operators

The Tsetlin Machine (TM) is a novel machine-learning algorithm based on ...
research
09/01/2022

Learning with Differentiable Algorithms

Classic algorithms and machine learning systems like neural networks are...

Please sign up or login with your details

Forgot password? Click here to reset