A Logic-Based Framework for Natural Language Inference in Dutch. (arXiv:2110.03323v3 [cs.CL] UPDATED)

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 ${\lambda}$-calculi, used as syntactic and semantic theories,
respectively. Sentences are first converted to syntactic proofs and terms of
the linear ${\lambda}$-calculus using a choice of two parsers: an Alpino-based
pipeline, and Neural Proof Nets. The …

arxiv framework language natural natural language