A Tableau Prover for Natural Logic and Language

Lasha Abzianidze

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

32 Citations (Scopus)
262 Downloads (Pure)


Modeling the entailment relation over sentences is one of the generic problems of natural language understanding. In order to account for this problem, we design a theorem prover for Natural Logic, a logic whose terms resemble natural language expressions. The prover is based on an analytic tableau method and employs syntactically and semantically motivated schematic rules. Pairing the prover with a preprocessor, which generates formulas of Natural Logic from linguistic expressions, results in a proof system for natural language. It is shown that the system obtains a comparable accuracy (81%) on the unseen SICK data while achieving the state-of-the-art precision (98%).
Original languageEnglish
Title of host publicationProceedings of the 2015 Conference on Empirical Methods in Natural Language Processing
PublisherAssociation for Computational Linguistics (ACL)
Number of pages11
Publication statusPublished - 2015


Dive into the research topics of 'A Tableau Prover for Natural Logic and Language'. Together they form a unique fingerprint.

Cite this