Acquisition of Phrase Correspondences Using Natural Deduction Proofs

Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki


Abstract
How to identify, extract, and use phrasal knowledge is a crucial problem for the task of Recognizing Textual Entailment (RTE). To solve this problem, we propose a method for detecting paraphrases via natural deduction proofs of semantic relations between sentence pairs. Our solution relies on a graph reformulation of partial variable unifications and an algorithm that induces subgraph alignments between meaning representations. Experiments show that our method can automatically detect various paraphrases that are absent from existing paraphrase databases. In addition, the detection of paraphrases using proof information improves the accuracy of RTE tasks.
Anthology ID:
N18-1069
Volume:
Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers)
Month:
June
Year:
2018
Address:
New Orleans, Louisiana
Editors:
Marilyn Walker, Heng Ji, Amanda Stent
Venue:
NAACL
SIG:
Publisher:
Association for Computational Linguistics
Note:
Pages:
756–766
Language:
URL:
https://aclanthology.org/N18-1069
DOI:
10.18653/v1/N18-1069
Bibkey:
Cite (ACL):
Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, and Daisuke Bekki. 2018. Acquisition of Phrase Correspondences Using Natural Deduction Proofs. In Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers), pages 756–766, New Orleans, Louisiana. Association for Computational Linguistics.
Cite (Informal):
Acquisition of Phrase Correspondences Using Natural Deduction Proofs (Yanaka et al., NAACL 2018)
Copy Citation:
PDF:
https://aclanthology.org/N18-1069.pdf
Code
 mynlp/ccg2lambda
Data
SICK