A Pure Logic-Based Approach to Natural Reasoning

Lasha Abzianidze

Research output: Contribution to conferencePaperOther research output

62 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 - Amsterdam, Netherlands
Duration: 16 Dec 201518 Dec 2015


OtherAmsterdam Colloquium 2015
Internet address


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

Fingerprint Dive into the research topics of 'A Pure Logic-Based Approach to Natural Reasoning'. Together they form a unique fingerprint.

Cite this