Neural Unification for Logic Reasoning over Natural Language

09/20/2021
by   Gabriele Picco, et al.
0

Automated Theorem Proving (ATP) deals with the development of computer programs being able to show that some conjectures (queries) are a logical consequence of a set of axioms (facts and rules). There exists several successful ATPs where conjectures and axioms are formally provided (e.g. formalised as First Order Logic formulas). Recent approaches, such as (Clark et al., 2020), have proposed transformer-based architectures for deriving conjectures given axioms expressed in natural language (English). The conjecture is verified through a binary text classifier, where the transformers model is trained to predict the truth value of a conjecture given the axioms. The RuleTaker approach of (Clark et al., 2020) achieves appealing results both in terms of accuracy and in the ability to generalize, showing that when the model is trained with deep enough queries (at least 3 inference steps), the transformers are able to correctly answer the majority of queries (97.6%) that require up to 5 inference steps. In this work we propose a new architecture, namely the Neural Unifier, and a relative training procedure, which achieves state-of-the-art results in term of generalisation, showing that mimicking a well-known inference procedure, the backward chaining, it is possible to answer deep queries even when the model is trained only on shallow ones. The approach is demonstrated in experiments using a diverse set of benchmark data.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 4

04/21/2018

Stochastic Answer Networks for Natural Language Inference

We propose a stochastic answer network (SAN) to explore multi-step infer...
11/28/2016

Learning a Natural Language Interface with Neural Programmer

Learning a natural language interface for database tables is a challengi...
10/14/2020

Neural Databases

In recent years, neural networks have shown impressive performance gains...
12/31/2021

Transformer Embeddings of Irregularly Spaced Events and Their Participants

We propose an approach to modeling irregularly spaced sequences of discr...
06/02/2021

Database Reasoning Over Text

Neural models have shown impressive performance gains in answering queri...
10/19/2019

MonaLog: a Lightweight System for Natural Language Inference Based on Monotonicity

We present a new logic-based inference engine for natural language infer...
12/16/2021

Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability

Investigating the reasoning abilities of transformer models, and discove...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.