An integrated study of natural language inference and diagrammatic inference using logical methods

• Project/Area Number: 26770009
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Multi-year Fund
• Research Field: Philosophy/Ethics
• Research Institution: Ochanomizu University
• Principal Investigator: Mineshima Koji お茶の水女子大学, シミュレーション科学教育研究センター, 特任講師 (80725739)
• Project Period (FY): 2014-04-01 – 2017-03-31
• Project Status: Completed (Fiscal Year 2016)
• Budget Amount: ¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000); Fiscal Year 2016: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2015: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000); Fiscal Year 2014: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
• Keywords: 論理学 / 形式意味論 / 自然言語推論 / 図形推論 / 認知科学

Outline of Final Research Achievements

We have advanced an integrated approach to analyzing natural language inferences and diagrammatic inferences using logical methods. In particular, we built a higher-order inference system that extends a basic system of natural logic and showed that it can handle a wide range of inference phenomena in natural language, including those involving generalized quantifiers and intensional expressions. In parallel with this study, we developed an inference system that deals with anaphora and presupposition in the framework of modern type theory and applied it to various linguistic phenomena. We have also advanced a logical analysis of a diagrammatic representation system for proportional generalized quantifiers and developed a logical and cognitive analysis of representation and inference systems of Euler diagrams that handle quantificational and relational inferences.

Research Products

• [Journal Article] Annotation and Analysis of Discourse Relations, Temporal Relations and Multi-Layered Situational Relations in Japanese Texts (2016)
  • Author(s): Kimi Kaneko, Saku Sugawara, Koji Mineshima and Daisuke Bekki
  • Journal Title: Proceedings of the 12th Workshop on Asian Language Resources (ALR12) Volume: 12 Pages: 10-19
  • Peer Reviewed / Open Access
• [Journal Article] On the interpretation of dependent plural anaphora in a dependently-typed setting (2016)
  • Author(s): Ribeka Tanaka, Koji Mineshima, and Daisuke Bekki
  • Journal Title: Proceedings of the 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13) Volume: 13 Pages: 86-99
  • Peer Reviewed / Open Access
• [Journal Article] An analysis of selectional restrictions with Dependent Type Semantics (2016)
  • Author(s): Eriko Kinoshita, Koji Mineshima, and Daisuke Bekki
  • Journal Title: Proceedings of the 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13) Volume: 13 Pages: 100-113
  • Peer Reviewed / Open Access
• [Journal Article] Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser (2016)
  • Author(s): Koji Mineshima, Ribeka Tanaka, Pascual Martinez-Gomez, Yusuke Miyao, and Daisuke Bekki
  • Journal Title: Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP2016) Volume: 1 Pages: 2236-2242
  • Peer Reviewed / Open Access
• [Journal Article] Human reasoning with proportional quantifiers and its support by diagrams (2016)
  • Author(s): Yuri Sato and Koji Mineshima
  • Journal Title: Diagrammatic Representation and Inference, Lecture Notes in Computer Science Volume: 9781 Pages: 123-138
  • DOI: 10.1007/978-3-319-42333-3
  • Peer Reviewed / Open Access
• [Journal Article] ccg2lambda: a compositional semantics system (2016)
  • Author(s): Pascual Martinez-Gomez, Koji Mineshima, Yusuke Miyao, and Daisuke Bekki
  • Journal Title: Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics (ACL2016), System Demonstrations Volume: 1 Pages: 85-90
  • Peer Reviewed / Open Access
• [Journal Article] An Inference Problem Set for Evaluating Semantic Theories and Semantic Processing Systems for Japanese (2015)
  • Author(s): Ai Kawazoe, Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
  • Journal Title: Proceedings of the Twelfth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS12) Volume: 12 Pages: 67-73
  • Peer Reviewed
• [Journal Article] Higher-order Logical Inference with Compositional Semantics (2015)
  • Author(s): Koji Mineshima, Pascual Martinez-Gomez, Yusuke Miyao and Daisuke Bekki
  • Journal Title: Proceedings of Conference on Empirical Methods in Natural Language Processing (EMNLP2015) Volume: 2015 Pages: 2055-2061
  • Peer Reviewed / Open Access
• [Journal Article] Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics (2015)
  • Author(s): Ayako Nakamura, Koji Mineshima and Daisuke Bekki
  • Journal Title: Proceedings of the FOfAI session of the Joint Ontology Workshops (JOWO), CEUR Workshop Proceedings Volume: 1517 Pages: 1-6
  • Peer Reviewed / Open Access / Acknowledgement Compliant
• [Journal Article] Resolving Modal Anaphora in Dependent Type Semantics (2015)
  • Author(s): Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
  • Journal Title: New Frontiers in Artificial Intelligence (JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers), Lecture Notes in Artificial Intelligence Volume: 9067 Pages: 83-98
  • DOI: 10.1007/978-3-662-48119-6_7
  • Peer Reviewed
• [Journal Article] How Diagrams Can Support Syllogistic Reasoning: an Experimental Study (2015)
  • Author(s): Yuri Sato and Koji Mineshima
  • Journal Title: Journal of Logic, Language, and Information Volume: 24 Pages: 409-455
  • DOI: 10.1007/s10849-015-9225-4
  • Peer Reviewed / Acknowledgement Compliant
• [Journal Article] Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: a relational perspective (2014)
  • Author(s): Koji Mineshima, Yuri Sato, Ryo Takemura, Mitsuhiro Okada.
  • Journal Title: Journal of Visual Languages and Computing Volume: 25 Pages: 156-169
  • DOI: 10.1016/j.jvlc.2013.08.007
  • Peer Reviewed / Open Access / Acknowledgement Compliant
• [Journal Article] Resolving modal anaphora in dependent type semantics (2014)
  • Author(s): Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
  • Journal Title: Proceedings of the Eleventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS11) Volume: 11 Pages: 43-56
  • Peer Reviewed
• [Presentation] Diagrams, proofs, and natural reasoning with 'most' (2017)
  • Author(s): Koji Mineshima
  • Organizer: Workshop “Philosophy of logic and Mathematics: Towards Philosophy of Proofs”
  • Place of Presentation: Keio University, Tokyo, Japan
  • Int'l Joint Research / Invited
• [Presentation] Towards a proof-theoretic natural language semantics for wide-coverage grammars (2016)
  • Author(s): Koji Mineshima
  • Organizer: New Landscapes in Theoretical Computational Linguistics
  • Place of Presentation: Ohio State University
  • Year and Date: 2016-10-14
  • Int'l Joint Research / Invited
• [Presentation] An Introduction to Dependent Type Semantics (2016)
  • Author(s): Daisuke Bekki and Koji Minieshima
  • Organizer: ESSLLI2016 (28th European Summer School in Logic, Language and Information)
  • Place of Presentation: Bolzano-Bozen, Italy
  • Year and Date: 2016-08-15
  • Int'l Joint Research
• [Presentation] Compositional Semantics and Higher-order Inference for Wide-coverage CCG Parsers (2016)
  • Author(s): Koji Mineshima
  • Organizer: CREST 国際ワークショップ
  • Place of Presentation: エル・パーク仙台
  • Year and Date: 2016-03-16
  • Int'l Joint Research / Invited
• [Presentation] 機能語の意味を表現する推論テストセット ーJSeMとりたて助詞テストの構築ー (2016)
  • Author(s): 川添愛、田中リベカ、峯島宏次、 戸次大介
  • Organizer: 言語処理学会 第22回年次大会
  • Place of Presentation: 東北大学川内北キャンパス
  • Year and Date: 2016-03-10
• [Presentation] 日本語CCGパーザに基づく意味解析・推論システムの提案 (2016)
  • Author(s): 田中リベカ、峯島宏次、 Pascual Martinez-Gomez、 宮尾祐介、 戸次大介
  • Organizer: 言語処理学会 第22回年次大会
  • Place of Presentation: 東北大学川内北キャンパス
  • Year and Date: 2016-03-09
• [Presentation] 依存型意味論とオントロジーを用いた論理的多義とコアーション現象の分析にむけて (2016)
  • Author(s): 木下恵梨子、中村絢子、 峯島宏次、戸次大介
  • Organizer: 言語処理学会 第22回年次大会
  • Place of Presentation: 東北大学川内北キャンパス
  • Year and Date: 2016-03-08
• [Presentation] Combining a Type-logical Semantics and a Wide-coverage Statistical Parser (2016)
  • Author(s): Koji Mineshima
  • Organizer: French-Japanese Workshop on Philosophy of Proofs
  • Place of Presentation: Keio University, Japan
  • Year and Date: 2016-01-15
  • Int'l Joint Research / Invited
• [Presentation] Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser (2016)
  • Author(s): Koji Mineshima, Ribeka Tanaka, Pascual Martinez-Gomez, Yusuke Miyao, and Daisuke Bekki
  • Organizer: The 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP2016)
  • Place of Presentation: Austin, Texas, USA
  • Int'l Joint Research
• [Presentation] An analysis of selectional restrictions with Dependent Type Semantics (2016)
  • Author(s): Eriko Kinoshita, Koji Mineshima, and Daisuke Bekki
  • Organizer: The 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13)
  • Place of Presentation: Keio University, Kanagawa, Japan
  • Int'l Joint Research
• [Presentation] On the interpretation of dependent plural anaphora in a dependently-typed setting (2016)
  • Author(s): Ribeka Tanaka, Koji Mineshima, and Daisuke Bekki
  • Organizer: The 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13)
  • Place of Presentation: Keio University, Kanagawa, Japan
  • Int'l Joint Research
• [Presentation] Annotation and Analysis of Discourse Relations, Temporal Relations and Multi-Layered Situational Relations in Japanese Texts (2016)
  • Author(s): Kimi Kaneko, Saku Sugawara, Koji Mineshima and Daisuke Bekki
  • Organizer: The 12th Workshop on Asian Language Resources (ALR12)
  • Place of Presentation: Osaka, Japan
  • Int'l Joint Research
• [Presentation] How ccg2lambda solves FraCaS/JSeM (2016)
  • Author(s): Koji Mineshima
  • Organizer: Unshared Task at LENLS 13: Theory and System analysis with FraCaS, MultiFraCaS and JSeM Test Suites
  • Place of Presentation: National Institute for Japanese Language and Linguis- tics, Tachikawa, Tokyo
  • Int'l Joint Research / Invited
• [Presentation] An Inference Problem Set for Evaluating Semantic Theories and Semantic Processing Systems for Evaluating Semantic Theories and Semantic Processing Systems for Japanese (2015)
  • Author(s): Ai Kawazoe, Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
  • Organizer: The Twelfth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS12), JSAI International Symposia on AI 2015
  • Place of Presentation: Hiyoshi Campus, Keio University, Yokohama
  • Year and Date: 2015-11-16
  • Int'l Joint Research
• [Presentation] Higher-order Logical Inference with Compositional Semantics (2015)
  • Author(s): Koji Mineshima
  • Organizer: CREST international workshop on Formal and Computational Semantics
  • Place of Presentation: Kyoto University, Japan
  • Year and Date: 2015-11-15
  • Int'l Joint Research / Invited
• [Presentation] Higher-order Logical Inference with Compositional Semantics (2015)
  • Author(s): Koji Mineshima, Pascual Martinez-Gomez, Yusuke Miyao and Daisuke Bekki
  • Organizer: Conference on Empirical Methods in Natural Language Processing (EMNLP2015)
  • Place of Presentation: Culturgest, Lisbon, Portugal
  • Year and Date: 2015-09-20
  • Int'l Joint Research
• [Presentation] Factivity and Presupposition in Dependent Type Semantics (2015)
  • Author(s): Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
  • Organizer: TYpe Theory and LExical Semantics (TYTLES) in the 27th European Summer School in Logic, Language and Information (ESSLLI 2015)
  • Place of Presentation: Universitat Pompeu Fabra, Barcelona, Spain
  • Year and Date: 2015-08-07
  • Int'l Joint Research
• [Presentation] Towards Modeling Natural Language Inferences with Formal Ontology and Lexical Semantics (2015)
  • Author(s): Ayako Nakamura, Koji Mineshima and Daisuke Bekki
  • Organizer: The FOfAI session of the Joint Ontology Workshops (JOWO)
  • Place of Presentation: Facultad de Ciencias Economicas, Buenos Aires, Argentina
  • Year and Date: 2015-07-27
  • Int'l Joint Research
• [Presentation] A Framework for Constructing Multilingual Inference Problem (2015)
  • Author(s): Ai Kawazoe, Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
  • Organizer: 1st International Workshop on the Use of Multilingual Language Resources in Knowledge Representation Systems (MLKRep2015)
  • Place of Presentation: University of Vienna, Austria
  • Year and Date: 2015-07-08
  • Int'l Joint Research
• [Presentation] Epsilon Calculus as Presupposition Theory (2015)
  • Author(s): Koji Mineshima
  • Organizer: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
  • Place of Presentation: Montpellier University, France
  • Year and Date: 2015-06-12
  • Int'l Joint Research
• [Presentation] オントロジーを用いた型理論的な語彙意味論の試み (2015)
  • Author(s): 中村絢子、峯島宏次、 戸次大介
  • Organizer: 第29回人工知能学会全国大会
  • Place of Presentation: 公立はこだて未来大学
  • Year and Date: 2015-05-31
• [Presentation] 形式意味論に基づく含意関係テストセット構築の方法論 (2015)
  • Author(s): 川添愛、田中リベカ、峯島宏次、戸次大介
  • Organizer: 第29回人工知能学会全国大会
  • Place of Presentation: 公立はこだて未来大学
  • Year and Date: 2015-05-30
• [Presentation] 依存型意味論における叙実動詞の意味記述の試み (2015)
  • Author(s): 田中リベカ、峯島宏次、 戸次大介
  • Organizer: 第29回人工知能学会全国大会
  • Place of Presentation: 公立はこだて未来大学
  • Year and Date: 2015-05-30
• [Presentation] オントロジーを用いた自然言語の推論に向けて (2015)
  • Author(s): 中村絢子, 峯島宏次, 戸次大介
  • Organizer: 言語処理学会第21回年次大会 (NLP2015)
  • Place of Presentation: 京都大学
  • Year and Date: 2015-03-16 – 2015-03-21
• [Presentation] 日本語意味論テストセットの構築 (2015)
  • Author(s): 川添愛, 田中リベカ, 峯島宏次, 戸次大介
  • Organizer: 言語処理学会第21回年次大会 (NLP2015)
  • Place of Presentation: 京都大学
  • Year and Date: 2015-03-16 – 2015-03-21
• [Presentation] 照応と前提のいくつかの理論: 動的意味論・談話 表示理論・依存型理論の比較 (2015)
  • Author(s): 峯島宏次
  • Organizer: 第13回ICRセミナー: 動的意味論の最前線
  • Place of Presentation: 筑波大学 東京キャンパス
  • Year and Date: 2015-03-13
  • Invited
• [Presentation] Types in Natural Language Semantics (2015)
  • Author(s): Koji Mineshima
  • Organizer: "Logical Inference and Proofs" Franco-Japanese Workshop
  • Place of Presentation: 慶應義塾大学
  • Year and Date: 2015-01-12 – 2015-01-13
  • Invited
• [Presentation] Computational Model of Natural Language Semantics based on Dependent Type Theory (2014)
  • Author(s): Koji Mineshima
  • Organizer: CREST "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" International Workshop
  • Place of Presentation: 京都大学
  • Year and Date: 2014-12-05
  • Invited
• [Presentation] Presupposition and Dependent Types (2014)
  • Author(s): Koji Mineshima
  • Organizer: CREST international workshop on Formal and Computational Semantics
  • Place of Presentation: 京都大学
  • Year and Date: 2014-11-28
• [Presentation] Resolving modal anaphora in dependent type semantics (2014)
  • Author(s): Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
  • Organizer: The Eleventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS11)
  • Place of Presentation: Keio University
  • Year and Date: 2014-11-22 – 2014-11-24
• [Book] Modern Perspectives in Type Theoretical Semantics (2017)
  • Author(s): Daisuke Bekki and Koji Mineshima
  • Total Pages: 296
  • Publisher: Springer
• [Book] New Frontiers in Artificial Intelligence (JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Yokohama, Japan, November 23-24, 2014), Revised Selected Papers), Lecture Notes in Artificial Intelligence 9067 (2015)
  • Author(s): Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki (Eds.)
  • Total Pages: 366
  • Publisher: Springer