A Logic-Based Framework for Natural Language Inference in Dutch

10/07/2021
by   Lasha Abzianidze, et al.
0

We present a framework for deriving inference relations between Dutch sentence pairs. The proposed framework relies on logic-based reasoning to produce inspectable proofs leading up to inference labels; its judgements are therefore transparent and formally verifiable. At its core, the system is powered by two λ-calculi, used as syntactic and semantic theories, respectively. Sentences are first converted to syntactic proofs and terms of the linear λ-calculus using a choice of two parsers: an Alpino-based pipeline, and Neural Proof Nets. The syntactic terms are then converted to semantic terms of the simply typed λ-calculus, via a set of hand designed type- and term-level transformations. Pairs of semantic terms are then fed to an automated theorem prover for natural logic which reasons with them while using lexical relations found in the Open Dutch WordNet. We evaluate the reasoning pipeline on the recently created Dutch natural language inference dataset, and achieve promising results, remaining only within a 1.1-3.2% performance margin to strong neural baselines. To the best of our knowledge, the reasoning pipeline is the first logic-based system for Dutch.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/26/2020

Neural Proof Nets

Linear logic and the linear λ-calculus have a long standing tradition in...
research
10/29/2020

Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference

Tackling Natural Language Inference with a logic-based method is becomin...
research
08/30/2017

LangPro: Natural Language Theorem Prover

LangPro is an automated theorem prover for natural language (https://git...
research
03/05/2018

The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs

The sequent calculus is a formalism for proving validity of statements f...
research
05/06/2020

Probing the Natural Language Inference Task with Automated Reasoning Tools

The Natural Language Inference (NLI) task is an important task in modern...
research
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...
research
12/30/2019

The Challenge of Unifying Semantic and Syntactic Inference Restrictions

While syntactic inference restrictions don't play an important role for ...

Please sign up or login with your details

Forgot password? Click here to reset