Higher-order logical inference with compositional semantics

Koji Mineshima, Pascual Martínez-Gómez, Yusuke Miyao, Daisuke Bekki

研究成果: Conference contribution

24 被引用数 (Scopus)

抄録

We present a higher-order inference system based on a formal compositional semantics and the wide-coverage CCG parser. We develop an improved method to bridge between the parser and semantic composition. The system is evaluated on the FraCaS test suite. In contrast to the widely held view that higher-order logic is unsuitable for efficient logical inferences, the results show that a system based on a reasonably-sized semantic lexicon and a manageable number of non-first-order axioms enables efficient logical inferences, including those concerned with generalized quantifiers and intensional operators, and outperforms the state-of-the-art firstorder inference system.

本文言語English
ホスト出版物のタイトルConference Proceedings - EMNLP 2015
ホスト出版物のサブタイトルConference on Empirical Methods in Natural Language Processing
出版社Association for Computational Linguistics (ACL)
ページ2055-2061
ページ数7
ISBN(電子版)9781941643327
DOI
出版ステータスPublished - 2015
外部発表はい
イベントConference on Empirical Methods in Natural Language Processing, EMNLP 2015 - Lisbon, Portugal
継続期間: 2015 9月 172015 9月 21

出版物シリーズ

名前Conference Proceedings - EMNLP 2015: Conference on Empirical Methods in Natural Language Processing

Conference

ConferenceConference on Empirical Methods in Natural Language Processing, EMNLP 2015
国/地域Portugal
CityLisbon
Period15/9/1715/9/21

ASJC Scopus subject areas

  • 計算理論と計算数学
  • コンピュータ サイエンスの応用
  • 情報システム

フィンガープリント

「Higher-order logical inference with compositional semantics」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル