Abstract
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 language | English |
|---|---|
| Pages | 40-49 |
| Number of pages | 10 |
| Publication status | Published - 16 Dec 2015 |
| Event | Amsterdam Colloquium 2015 - Amsterdam, Netherlands Duration: 16 Dec 2015 → 18 Dec 2015 http://www.illc.uva.nl/AC/AC2015/ |
Other
| Other | Amsterdam Colloquium 2015 |
|---|---|
| Country/Territory | Netherlands |
| City | Amsterdam |
| Period | 16/12/15 → 18/12/15 |
| Internet address |
Keywords
- natural reasoning
- natural logic
- semantic tableau
- textual entailments