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

Please sign up or login with your details

Forgot password? Click here to reset