Higher-order logical inference with compositional semantics

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

doi:10.18653/v1/d15-1244

Higher-order logical inference with compositional semantics

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

40 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Conference Proceedings - EMNLP 2015
Subtitle of host publication	Conference on Empirical Methods in Natural Language Processing
Publisher	Association for Computational Linguistics (ACL)
Pages	2055-2061
Number of pages	7
ISBN (Electronic)	9781941643327
DOIs	https://doi.org/10.18653/v1/d15-1244
Publication status	Published - 2015
Externally published	Yes
Event	Conference on Empirical Methods in Natural Language Processing, EMNLP 2015 - Lisbon, Portugal Duration: 2015 Sept 17 → 2015 Sept 21

Publication series

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

Conference

Conference	Conference on Empirical Methods in Natural Language Processing, EMNLP 2015
Country/Territory	Portugal
City	Lisbon
Period	15/9/17 → 15/9/21

ASJC Scopus subject areas

Computational Theory and Mathematics
Computer Science Applications
Information Systems

Access to Document

10.18653/v1/d15-1244

Cite this

Mineshima, K., Martínez-Gómez, P., Miyao, Y., & Bekki, D. (2015). Higher-order logical inference with compositional semantics. In Conference Proceedings - EMNLP 2015: Conference on Empirical Methods in Natural Language Processing (pp. 2055-2061). (Conference Proceedings - EMNLP 2015: Conference on Empirical Methods in Natural Language Processing). Association for Computational Linguistics (ACL). https://doi.org/10.18653/v1/d15-1244

Higher-order logical inference with compositional semantics. / Mineshima, Koji; Martínez-Gómez, Pascual; Miyao, Yusuke et al.
Conference Proceedings - EMNLP 2015: Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics (ACL), 2015. p. 2055-2061 (Conference Proceedings - EMNLP 2015: Conference on Empirical Methods in Natural Language Processing).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Mineshima, K, Martínez-Gómez, P, Miyao, Y & Bekki, D 2015, Higher-order logical inference with compositional semantics. in Conference Proceedings - EMNLP 2015: Conference on Empirical Methods in Natural Language Processing. Conference Proceedings - EMNLP 2015: Conference on Empirical Methods in Natural Language Processing, Association for Computational Linguistics (ACL), pp. 2055-2061, Conference on Empirical Methods in Natural Language Processing, EMNLP 2015, Lisbon, Portugal, 15/9/17. https://doi.org/10.18653/v1/d15-1244

Mineshima K, Martínez-Gómez P, Miyao Y, Bekki D. Higher-order logical inference with compositional semantics. In Conference Proceedings - EMNLP 2015: Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics (ACL). 2015. p. 2055-2061. (Conference Proceedings - EMNLP 2015: Conference on Empirical Methods in Natural Language Processing). doi: 10.18653/v1/d15-1244

Mineshima, Koji ; Martínez-Gómez, Pascual ; Miyao, Yusuke et al. / Higher-order logical inference with compositional semantics. Conference Proceedings - EMNLP 2015: Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics (ACL), 2015. pp. 2055-2061 (Conference Proceedings - EMNLP 2015: Conference on Empirical Methods in Natural Language Processing).

@inproceedings{3390c1b87b5b4334b870a7569f3c83bc,

title = "Higher-order logical inference with compositional semantics",

abstract = "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.",

author = "Koji Mineshima and Pascual Mart{\'i}nez-G{\'o}mez and Yusuke Miyao and Daisuke Bekki",

note = "Publisher Copyright: {\textcopyright} 2015 Association for Computational Linguistics.; Conference on Empirical Methods in Natural Language Processing, EMNLP 2015 ; Conference date: 17-09-2015 Through 21-09-2015",

year = "2015",

doi = "10.18653/v1/d15-1244",

language = "English",

series = "Conference Proceedings - EMNLP 2015: Conference on Empirical Methods in Natural Language Processing",

publisher = "Association for Computational Linguistics (ACL)",

pages = "2055--2061",

booktitle = "Conference Proceedings - EMNLP 2015",

address = "United States",

}

TY - GEN

T1 - Higher-order logical inference with compositional semantics

AU - Mineshima, Koji

AU - Martínez-Gómez, Pascual

AU - Miyao, Yusuke

AU - Bekki, Daisuke

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84959875039&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84959875039&partnerID=8YFLogxK

U2 - 10.18653/v1/d15-1244

DO - 10.18653/v1/d15-1244

M3 - Conference contribution

AN - SCOPUS:84959875039

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

SP - 2055

EP - 2061

BT - Conference Proceedings - EMNLP 2015

PB - Association for Computational Linguistics (ACL)

T2 - Conference on Empirical Methods in Natural Language Processing, EMNLP 2015

Y2 - 17 September 2015 through 21 September 2015

ER -

Higher-order logical inference with compositional semantics

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this