Can Graph Neural Networks Help Logic Reasoning?

06/05/2019
by   Yuyu Zhang, et al.
0

Effectively combining logic reasoning and probabilistic inference has been a long-standing goal of machine learning: the former has the ability to generalize with small training data, while the latter provides a principled framework for dealing with noisy data. However, existing methods for combining the best of both worlds are typically computationally intensive. In this paper, we focus on Markov Logic Networks and explore the use of graph neural networks (GNNs) for representing probabilistic logic inference. It is revealed from our analysis that the representation power of GNN alone is not enough for such a task. We instead propose a more expressive variant, called ExpressGNN, which can perform effective probabilistic logic inference while being able to scale to a large number of entities. We demonstrate by several benchmark datasets that ExpressGNN has the potential to advance probabilistic logic reasoning to the next stage.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/29/2020

Efficient Probabilistic Logic Reasoning with Graph Neural Networks

Markov Logic Networks (MLNs), which elegantly combine logic rules and pr...
research
09/25/2019

Graph Neural Reasoning May Fail in Certifying Boolean Unsatisfiability

It is feasible and practically-valuable to bridge the characteristics be...
research
09/25/2019

Graph Neural Reasoning May Fail in Proving Boolean Unsatisfiability

It is feasible and practically-valuable to bridge the characteristics be...
research
08/05/2022

A Gaze into the Internal Logic of Graph Neural Networks, with Logic

Graph Neural Networks share with Logic Programming several key relationa...
research
07/03/2018

Domain Aware Markov Logic Networks

Combining logic and probability has been a long standing goal of AI. Mar...
research
03/15/2012

Probabilistic Similarity Logic

Many machine learning applications require the ability to learn from and...
research
09/21/2021

Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits

It has been recently shown that general policies for many classical plan...

Please sign up or login with your details

Forgot password? Click here to reset