DeepAI AI Chat
Log In Sign Up

LangPro: Natural Language Theorem Prover

08/30/2017
by   Lasha Abzianidze, et al.
University of Groningen
0

LangPro is an automated theorem prover for natural language (https://github.com/kovvalsky/LangPro). Given a set of premises and a hypothesis, it is able to prove semantic relations between them. The prover is based on a version of analytic tableau method specially designed for natural logic. The proof procedure operates on logical forms that preserve linguistic expressions to a large extent. obtainable from syntactic trees. Grammar derivation trees. The nature of proofs is deductive and transparent. On the FraCaS and SICK textual entailment datasets, the prover achieves high results comparable to state-of-the-art.

READ FULL TEXT

page 1

page 2

page 3

page 4

07/27/2017

Determining Semantic Textual Similarity using Natural Deduction Proofs

Determining semantic textual similarity is a core research subject in na...
10/07/2021

A Logic-Based Framework for Natural Language Inference in Dutch

We present a framework for deriving inference relations between Dutch se...
08/17/2020

Logical Semantics, Dialogical Argumentation, and Textual Entailment

In this chapter, we introduce a new dialogical system for first order cl...
04/30/2023

How to enumerate trees from a context-free grammar

I present a simple algorithm for enumerating the trees generated by a Co...
10/17/2017

System Description: Russell - A Logical Framework for Deductive Systems

Russell is a logical framework for the specification and implementation ...
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...
12/10/2021

Semantic Construction Grammar: Bridging the NL / Logic Divide

In this paper, we discuss Semantic Construction Grammar (SCG), a system ...

Code Repositories

LangPro

Tableau-based Theorem Prover for Natural Logic and Language


view repo