• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Research Project

Project/Area Number 26770009
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeMulti-year Fund
Research Field Philosophy/Ethics
Research InstitutionOchanomizu University

Principal Investigator

Mineshima Koji  お茶の水女子大学, シミュレーション科学教育研究センター, 特任講師 (80725739)

Project Period (FY) 2014-04-01 – 2017-03-31
Project Status Completed (Fiscal Year 2016)
Budget Amount *help
¥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.

Report

(4 results)
  • 2016 Annual Research Report   Final Research Report ( PDF )
  • 2015 Research-status Report
  • 2014 Research-status Report
  • Research Products

    (45 results)

All 2017 2016 2015 2014

All Journal Article (13 results) (of which Peer Reviewed: 13 results,  Open Access: 9 results,  Acknowledgement Compliant: 1 results) Presentation (30 results) (of which Int'l Joint Research: 17 results,  Invited: 9 results) Book (2 results)

  • [Journal Article] Annotation and Analysis of Discourse Relations, Temporal Relations and Multi-Layered Situational Relations in Japanese Texts2016

    • 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

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] On the interpretation of dependent plural anaphora in a dependently-typed setting2016

    • 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

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] An analysis of selectional restrictions with Dependent Type Semantics2016

    • 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

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser2016

    • 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

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Human reasoning with proportional quantifiers and its support by diagrams2016

    • 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_10

    • ISBN
      9783319423326, 9783319423333
    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] ccg2lambda: a compositional semantics system2016

    • 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

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] An Inference Problem Set for Evaluating Semantic Theories and Semantic Processing Systems for Japanese2015

    • 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

    • Related Report
      2015 Research-status Report
    • Peer Reviewed
  • [Journal Article] Higher-order Logical Inference with Compositional Semantics2015

    • 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

    • Related Report
      2015 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics2015

    • 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

    • Related Report
      2015 Research-status Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Resolving Modal Anaphora in Dependent Type Semantics2015

    • 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

    • ISBN
      9783662481189, 9783662481196
    • Related Report
      2015 Research-status Report
    • Peer Reviewed
  • [Journal Article] How diagrams can support syllogistic reasoning: an experimental study2015

    • Author(s)
      Yuri Sato and Koji Mineshima
    • Journal Title

      Journal of Logic, Language and Information

      Volume: 24 Issue: 4 Pages: 409-455

    • DOI

      10.1007/s10849-015-9225-4

    • Related Report
      2015 Research-status Report
    • Peer Reviewed
  • [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, accepted

      Volume: 25 Issue: 3 Pages: 156-169

    • DOI

      10.1016/j.jvlc.2013.08.007

    • Related Report
      2014 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Resolving modal anaphora in dependent type semantics2014

    • 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

    • Related Report
      2014 Research-status Report
    • 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
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Towards a proof-theoretic natural language semantics for wide-coverage grammars2016

    • Author(s)
      Koji Mineshima
    • Organizer
      New Landscapes in Theoretical Computational Linguistics
    • Place of Presentation
      Ohio State University
    • Year and Date
      2016-10-14
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] An Introduction to Dependent Type Semantics2016

    • 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
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Compositional Semantics and Higher-order Inference for Wide-coverage CCG Parsers2016

    • Author(s)
      Koji Mineshima
    • Organizer
      CREST 国際ワークショップ
    • Place of Presentation
      エル・パーク仙台
    • Year and Date
      2016-03-16
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research / Invited
  • [Presentation] 機能語の意味を表現する推論テストセット ーJSeMとりたて助詞テストの構築ー2016

    • Author(s)
      川添愛、田中リベカ、峯島宏次、 戸次大介
    • Organizer
      言語処理学会 第22回年次大会
    • Place of Presentation
      東北大学川内北キャンパス
    • Year and Date
      2016-03-10
    • Related Report
      2015 Research-status Report
  • [Presentation] 日本語CCGパーザに基づく意味解析・推論システムの提案2016

    • Author(s)
      田中リベカ、峯島宏次、 Pascual Martinez-Gomez、 宮尾祐介、 戸次大介
    • Organizer
      言語処理学会 第22回年次大会
    • Place of Presentation
      東北大学川内北キャンパス
    • Year and Date
      2016-03-09
    • Related Report
      2015 Research-status Report
  • [Presentation] 依存型意味論とオントロジーを用いた論理的多義とコアーション現象の分析にむけて2016

    • Author(s)
      木下恵梨子、中村絢子、 峯島宏次、戸次大介
    • Organizer
      言語処理学会 第22回年次大会
    • Place of Presentation
      東北大学川内北キャンパス
    • Year and Date
      2016-03-08
    • Related Report
      2015 Research-status Report
  • [Presentation] Combining a Type-logical Semantics and a Wide-coverage Statistical Parser2016

    • Author(s)
      Koji Mineshima
    • Organizer
      French-Japanese Workshop on Philosophy of Proofs
    • Place of Presentation
      Keio University, Japan
    • Year and Date
      2016-01-15
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research / Invited
  • [Presentation] Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser2016

    • 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
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] An analysis of selectional restrictions with Dependent Type Semantics2016

    • 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
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] On the interpretation of dependent plural anaphora in a dependently-typed setting2016

    • 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
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Annotation and Analysis of Discourse Relations, Temporal Relations and Multi-Layered Situational Relations in Japanese Texts2016

    • 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
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] How ccg2lambda solves FraCaS/JSeM2016

    • 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
    • Related Report
      2016 Annual Research Report
    • 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 Japanese2015

    • 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
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] Higher-order Logical Inference with Compositional Semantics2015

    • 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
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research / Invited
  • [Presentation] Higher-order Logical Inference with Compositional Semantics2015

    • 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
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] Factivity and Presupposition in Dependent Type Semantics2015

    • 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
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] Towards Modeling Natural Language Inferences with Formal Ontology and Lexical Semantics2015

    • 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
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] A Framework for Constructing Multilingual Inference Problem2015

    • 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
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] Epsilon Calculus as Presupposition Theory2015

    • 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
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] オントロジーを用いた型理論的な語彙意味論の試み2015

    • Author(s)
      中村絢子、峯島宏次、 戸次大介
    • Organizer
      第29回人工知能学会全国大会
    • Place of Presentation
      公立はこだて未来大学
    • Year and Date
      2015-05-31
    • Related Report
      2015 Research-status Report
  • [Presentation] 形式意味論に基づく含意関係テストセット構築の方法論2015

    • Author(s)
      川添愛、田中リベカ、峯島宏次、戸次大介
    • Organizer
      第29回人工知能学会全国大会
    • Place of Presentation
      公立はこだて未来大学
    • Year and Date
      2015-05-30
    • Related Report
      2015 Research-status Report
  • [Presentation] 依存型意味論における叙実動詞の意味記述の試み2015

    • Author(s)
      田中リベカ、峯島宏次、 戸次大介
    • Organizer
      第29回人工知能学会全国大会
    • Place of Presentation
      公立はこだて未来大学
    • Year and Date
      2015-05-30
    • Related Report
      2015 Research-status Report
  • [Presentation] オントロジーを用いた自然言語の推論に向けて2015

    • Author(s)
      中村絢子, 峯島宏次, 戸次大介
    • Organizer
      言語処理学会第21回年次大会 (NLP2015)
    • Place of Presentation
      京都大学
    • Year and Date
      2015-03-16 – 2015-03-21
    • Related Report
      2014 Research-status Report
  • [Presentation] 日本語意味論テストセットの構築2015

    • Author(s)
      川添愛, 田中リベカ, 峯島宏次, 戸次大介
    • Organizer
      言語処理学会第21回年次大会 (NLP2015)
    • Place of Presentation
      京都大学
    • Year and Date
      2015-03-16 – 2015-03-21
    • Related Report
      2014 Research-status Report
  • [Presentation] 照応と前提のいくつかの理論: 動的意味論・談話 表示理論・依存型理論の比較2015

    • Author(s)
      峯島宏次
    • Organizer
      第13回ICRセミナー: 動的意味論の最前線
    • Place of Presentation
      筑波大学 東京キャンパス
    • Year and Date
      2015-03-13
    • Related Report
      2014 Research-status Report
    • Invited
  • [Presentation] Types in Natural Language Semantics2015

    • Author(s)
      Koji Mineshima
    • Organizer
      "Logical Inference and Proofs" Franco-Japanese Workshop
    • Place of Presentation
      慶應義塾大学
    • Year and Date
      2015-01-12 – 2015-01-13
    • Related Report
      2014 Research-status Report
    • Invited
  • [Presentation] Computational Model of Natural Language Semantics based on Dependent Type Theory2014

    • 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
    • Related Report
      2014 Research-status Report
    • Invited
  • [Presentation] Presupposition and Dependent Types2014

    • Author(s)
      Koji Mineshima
    • Organizer
      CREST international workshop on Formal and Computational Semantics
    • Place of Presentation
      京都大学
    • Year and Date
      2014-11-28
    • Related Report
      2014 Research-status Report
  • [Presentation] Resolving modal anaphora in dependent type semantics2014

    • 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
    • Related Report
      2014 Research-status Report
  • [Book] Modern Perspectives in Type Theoretical Semantics2017

    • Author(s)
      Daisuke Bekki and Koji Mineshima
    • Total Pages
      296
    • Publisher
      Springer
    • Related Report
      2016 Annual Research Report
  • [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 90672015

    • Author(s)
      Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki (Eds.)
    • Total Pages
      366
    • Publisher
      Springer
    • Related Report
      2015 Research-status Report

URL: 

Published: 2014-04-04   Modified: 2023-03-16  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi