Deep Inductive Logic Programming meets Reinforcement Learning

08/30/2023
by   Andreas Bueff, et al.
0

One approach to explaining the hierarchical levels of understanding within a machine learning model is the symbolic method of inductive logic programming (ILP), which is data efficient and capable of learning first-order logic rules that can entail data behaviour. A differentiable extension to ILP, so-called differentiable Neural Logic (dNL) networks, are able to learn Boolean functions as their neural architecture includes symbolic reasoning. We propose an application of dNL in the field of Relational Reinforcement Learning (RRL) to address dynamic continuous environments. This represents an extension of previous work in applying dNL-based ILP in RRL settings, as our proposed model updates the architecture to enable it to solve problems in continuous RL environments. The goal of this research is to improve upon current ILP methods for use in RRL by incorporating non-linear continuous predicates, allowing RRL agents to reason and make decisions in dynamic and continuous environments.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/23/2020

Incorporating Relational Background Knowledge into Reinforcement Learning via Differentiable Inductive Logic Programming

Relational Reinforcement Learning (RRL) can offers various desirable fea...
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
11/13/2017

Learning Explanatory Rules from Noisy Data

Artificial Neural Networks are powerful function approximators capable o...
research
02/23/2023

Extensions to Generalized Annotated Logic and an Equivalent Neural Architecture

While deep neural networks have led to major advances in image recogniti...
research
04/26/2019

Neural Logic Machines

We propose the Neural Logic Machine (NLM), a neural-symbolic architectur...
research
08/13/2022

Differentiable Inductive Logic Programming in High-Dimensional Space

Synthesizing large logic programs through Inductive Logic Programming (I...
research
01/15/2020

SMT + ILP

Inductive logic programming (ILP) has been a deeply influential paradigm...

Please sign up or login with your details

Forgot password? Click here to reset