We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
SOLVING TEXTUAL ENTAILMENT WITH THE THEOREM PROVER FOR NATURAL LANGUAGE.
- Authors
Abzianidze, Lasha
- Abstract
We present a theorem prover for natural language and show how it processes various types of textual entailment problems. The prover itself is based on a tableau system for natural logic that employs logical forms similar to linguistic expressions. With respect to the problems drawn from textual entailment datasets, a wide-range of the judgments of the prover are discussed, including both correct and incorrect ones. The analysis shows that the false proofs, which are extremely rare, are mainly due to the wrong lexical senses or the noisy gold labels of the dataset. Knowledge sparsity is identified as the main reason for the failure in proof search.
- Subjects
NATURAL languages; CATEGORIAL grammar; COMBINATORY logic; NONCLASSICAL mathematical logic; LAMBDA calculus
- Publication
Applied Mathematics, Informatics & Mechanics, 2020, Vol 25, Issue 2, p114
- ISSN
1512-0074
- Publication type
Article