Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox


Acquisition of Phrase Correspondences using Natural Deduction Proofs

Apr 20, 2018
Hitomi Yanaka, Koji Mineshima, Pascual Martinez-Gomez, Daisuke Bekki


Share this with someone who'll enjoy it:


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.

* 11 pages, 4 figures, accepted as long paper of NAACL HLT 2018 


   Access Paper Source



Share this with someone who'll enjoy it: