English

Acquisition of Phrase Correspondences using Natural Deduction Proofs

Computation and Language 2018-04-23 v1

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.

Keywords

Cite

@article{arxiv.1804.07656,
  title  = {Acquisition of Phrase Correspondences using Natural Deduction Proofs},
  author = {Hitomi Yanaka and Koji Mineshima and Pascual Martinez-Gomez and Daisuke Bekki},
  journal= {arXiv preprint arXiv:1804.07656},
  year   = {2018}
}

Comments

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

R2 v1 2026-06-23T01:30:00.966Z