Is there a place for logic in recognizing textual entailment

Johan Bos


Abstract
From a purely theoretical point of view, it makes sense to approach recognizing textual entailment (RTE) with the help of logic. After all, entailment matters are all about logic. In practice, only few RTE systems follow the bumpy road from words to logic. This is probably because it requires a combination of robust, deep semantic analysis and logical inference—and why develop something with this complexity if you perhaps can get away with something simpler? In this article, with the help of an RTE system based on Combinatory Categorial Grammar, Discourse Representation Theory, and first-order theorem proving, we make an empirical assessment of the logic-based approach. High precision paired with low recall is a key characteristic of this system. The bottleneck in achieving high recall is the lack of a systematic way to produce relevant background knowledge. There is a place for logic in RTE, but it is (still) overshadowed by the knowledge acquisition problem.
Anthology ID:
2014.lilt-9.3
Volume:
Linguistic Issues in Language Technology, Volume 9, 2014 - Perspectives on Semantic Representations for Textual Inference
Month:
Year:
2014
Address:
Venue:
LILT
SIG:
Publisher:
CSLI Publications
Note:
Pages:
Language:
URL:
https://aclanthology.org/2014.lilt-9.3
DOI:
Bibkey:
Cite (ACL):
Johan Bos. 2014. Is there a place for logic in recognizing textual entailment. Linguistic Issues in Language Technology, 9.
Cite (Informal):
Is there a place for logic in recognizing textual entailment (Bos, LILT 2014)
Copy Citation:
PDF:
https://aclanthology.org/2014.lilt-9.3.pdf