LangPro: Natural Language Theorem Prover

08/30/2017
by   Lasha Abzianidze, et al.
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

research
07/27/2017

Determining Semantic Textual Similarity using Natural Deduction Proofs

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

A Logic-Based Framework for Natural Language Inference in Dutch

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

Logical Semantics, Dialogical Argumentation, and Textual Entailment

In this chapter, we introduce a new dialogical system for first order cl...
research
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...
research
10/17/2017

System Description: Russell - A Logical Framework for Deductive Systems

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

Semantic Construction Grammar: Bridging the NL / Logic Divide

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

Please sign up or login with your details

Forgot password? Click here to reset