DeepAI
Log In Sign Up

Neural Proof Nets

09/26/2020
by   Konstantinos Kogkalidis, et al.
0

Linear logic and the linear λ-calculus have a long standing tradition in the study of natural language form and meaning. Among the proof calculi of linear logic, proof nets are of particular interest, offering an attractive geometric representation of derivations that is unburdened by the bureaucratic complications of conventional prooftheoretic formats. Building on recent advances in set-theoretic learning, we propose a neural variant of proof nets based on Sinkhorn networks, which allows us to translate parsing as the problem of extracting syntactic primitives and permuting them into alignment. Our methodology induces a batch-efficient, end-to-end differentiable architecture that actualizes a formally grounded yet highly efficient neuro-symbolic parser. We test our approach on ÆThel, a dataset of type-logical derivations for written Dutch, where it manages to correctly transcribe raw text sentences into proofs and terms of the linear λ-calculus with an accuracy of as high as 70

READ FULL TEXT

page 1

page 2

page 3

page 4

08/10/2018

Proof Nets and the Linear Substitution Calculus

Since the very beginning of the theory of linear logic it is known how t...
10/07/2021

A Logic-Based Framework for Natural Language Inference in Dutch

We present a framework for deriving inference relations between Dutch se...
01/07/2020

Pomset logic: a logical and grammatical alternative to the Lambek calculus

Thirty years ago, I introduced a non commutative variant of classical li...
02/10/2021

Interpreting a concurrent λ-calculus in differential proof nets (extended version)

In this paper, we show how to interpret a language featuring concurrency...
02/13/2020

The Abstract Machinery of Interaction (Long Version)

This paper revisits the Interaction Abstract Machine (IAM), a machine ba...
12/23/2019

Proof nets through the lens of graph theory: a compilation of remarks

This document is intended to eventually gather a few small remarks on th...
04/06/2018

Chart Parsing Multimodal Grammars

The short note describes the chart parser for multimodal type-logical gr...

Code Repositories

neural-proof-nets

A neural parser for typelogical grammars based on Sinkhorn Networks and Proof Nets.


view repo