A Pure Logic-Based Approach to Natural Reasoning

Lasha Abzianidze

Research output: Contribution to conferencePaperOther research output

56 Downloads (Pure)


The paper presents a model for natural reasoning that combines theorem proving techniques with natural logic. The model is a tableau system for a higher-order logic the formulas of which resemble linguistic expressions. A textual entailment system LangPro, an implementation of the model, represents a tableau-based prover that directly operates on linguistic expressions. After training and evaluating on a textual entailment dataset, the prover shows accuracy comparable to the state-of-the-art results with almost perfect precision. Due to its reliable judgements, the system is also able to detect dubious problems in the dataset.
Original languageEnglish
Number of pages10
Publication statusPublished - 16 Dec 2015
EventAmsterdam Colloquium 2015 -
Duration: 16 Dec 201518 Dec 2015


OtherAmsterdam Colloquium 2015
Internet address



  • natural reasoning
  • natural logic
  • semantic tableau
  • textual entailments

Cite this

Abzianidze, L. (2015). A Pure Logic-Based Approach to Natural Reasoning. 40-49. Paper presented at Amsterdam Colloquium 2015, .