DeepAI AI Chat
Log In Sign Up

LangPro: Natural Language Theorem Prover

by   Lasha Abzianidze, et al.
University of Groningen

LangPro is an automated theorem prover for natural language ( 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.


page 1

page 2

page 3

page 4


Determining Semantic Textual Similarity using Natural Deduction Proofs

Determining semantic textual similarity is a core research subject in na...

A Logic-Based Framework for Natural Language Inference in Dutch

We present a framework for deriving inference relations between Dutch se...

Logical Semantics, Dialogical Argumentation, and Textual Entailment

In this chapter, we introduce a new dialogical system for first order cl...

How to enumerate trees from a context-free grammar

I present a simple algorithm for enumerating the trees generated by a Co...

System Description: Russell - A Logical Framework for Deductive Systems

Russell is a logical framework for the specification and implementation ...

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

Tackling Natural Language Inference with a logic-based method is becomin...

Semantic Construction Grammar: Bridging the NL / Logic Divide

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

Code Repositories


Tableau-based Theorem Prover for Natural Logic and Language

view repo