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

自然言語の統一的理解に向けた量化表現・数表現・複数表現の数理モデル構築

Research Project

Project/Area Number 15J11772
Research Category

Grant-in-Aid for JSPS Fellows

Allocation TypeSingle-year Grants
Section国内
Research Field Intelligent informatics
Research InstitutionOchanomizu University

Principal Investigator

田中 リベカ  お茶の水女子大学, 人間文化創成科学研究科, 特別研究員(DC1)

Project Period (FY) 2015-04-24 – 2018-03-31
Project Status Completed (Fiscal Year 2017)
Budget Amount *help
¥2,800,000 (Direct Cost: ¥2,800,000)
Fiscal Year 2017: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2016: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2015: ¥1,000,000 (Direct Cost: ¥1,000,000)
Keywords形式意味論 / 量化表現 / 数表現 / 複数表現 / 依存型理論 / 含意関係 / 推論 / 前提 / 複数照応
Outline of Annual Research Achievements

本研究の目的は、英語の量化表現・数表現・複数表現について、依存型理論という数学的枠組みに基づいて、照応・前提現象との相互作用や推論的性質までを考慮した網羅的な分析を与えることである。量化表現・数表現・複数表現といった、自然言語の名詞句の中心部分を扱う表現に着目し、依存型理論という定理証明器による実装とも相性が良い枠組みで分析を与えることで、含意関係を機械で判定するための理論的基盤を得ることを目指す。
本年度は、前年に発表した依存型理論に基づく複数照応の分析について、より詳細な内容を論文にとりまとめて発表した。ここで発表した複数照応の分析は、前年度までに行っていた量化表現・数表現・複数表現の分析とも自然に接続するものである。これらの成果を併せると、照応現象の説明までを視野にいれた量化表現・数表現・複数表現の意味記述が得られたと言える。
また、この複数照応の分析をさらに発展させ、形式意味論において複雑な照応の例として知られているいわゆるPaycheck文についても、依存型理論の枠組みではその他の照応現象と統一的に分析できることを示した。(この成果は論文にとりまとめ、投稿済みである。)
さらに、照応現象の分析に関連して、叙実動詞がもつ前提について論文誌に論文を発表した。前提の計算と文の推論に関する分析を行い、命題を補文にとる場合に加えて、叙実動詞が名詞句を補部にとる場合についても考察を与えた。

Research Progress Status

29年度が最終年度であるため、記入しない。

Strategy for Future Research Activity

29年度が最終年度であるため、記入しない。

Report

(3 results)
  • 2017 Annual Research Report
  • 2016 Annual Research Report
  • 2015 Annual Research Report
  • Research Products

    (11 results)

All 2018 2017 2016 2015

All Journal Article (2 results) (of which Int'l Joint Research: 1 results,  Peer Reviewed: 2 results,  Open Access: 1 results) Presentation (9 results) (of which Int'l Joint Research: 3 results,  Invited: 1 results)

  • [Journal Article] On the Interpretation of Dependent Plural Anaphora in a Dependently-Typed Setting2017

    • Author(s)
      Ribeka Tanaka, Koji Mineshima, Daisuke Bekki
    • Journal Title

      Lecture Notes in Computer Science (LNCS)

      Volume: 10247 Pages: 123-137

    • DOI

      10.1007/978-3-319-61572-1_9

    • ISBN
      9783319615714, 9783319615721
    • Related Report
      2017 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Factivity and Presupposition in Dependent Type Semantics2017

    • Author(s)
      Ribeka Tanaka, Koji Mineshima, Daisuke Bekk
    • Journal Title

      Journal of Language Modelling

      Volume: 5 Issue: 2 Pages: 385-420

    • DOI

      10.15398/jlm.v5i2.153

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Presentation] 含意関係認識による金融ドキュメントチェックへの取り組み2018

    • Author(s)
      馬目 華奈、外園 康智、長谷川 貴博、小西 優祐、渡邉 知樹、簗 有紀子、谷中 瞳、田中 リベカ、峯島 宏次、戸次 大介
    • Organizer
      言語処理学会第24回年次大会
    • Related Report
      2017 Annual Research Report
  • [Presentation] 「NP1のNP2」の意味情報のアノテーション2018

    • Author(s)
      鈴木 莉子、高山 沙也加、北川 舞、田中 リベカ、峯島 宏次、戸次 大介
    • Organizer
      言語処理学会第24回年次大会
    • Related Report
      2017 Annual Research Report
  • [Presentation] 意味解析システムccg2lambdaによる金融ドキュメント処理2018

    • Author(s)
      外園 康智、長谷川 貴博、渡邉 知樹、馬目 華奈、簗 有紀子、谷中 瞳、田中 リベカ、Martinez-Gomez Pascual、峯島宏次、戸次大介
    • Organizer
      第32回人工知能学会全国大会
    • Related Report
      2017 Annual Research Report
  • [Presentation] 意味論の証明論的転回2017

    • Author(s)
      戸次 大介、峯島 宏次、金子 貴美、田中 リベカ、谷中 瞳、木下 恵梨子、伊藤 友里菜、簗 有紀子
    • Organizer
      第31回人工知能学会全国大会
    • Related Report
      2017 Annual Research Report
  • [Presentation] On the interpretation of dependent plural anaphora in a dependently-typed setting2016

    • Author(s)
      Ribeka Tanaka, Koji Mineshima, Daisuke Bekki
    • Organizer
      International Workshop on Logic and Engineering of Natural Language Semantics
    • Place of Presentation
      Kanazawa, Japan
    • Year and Date
      2016-11-14
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Interpretation of dependent pronouns and dependent types2016

    • Author(s)
      Ribeka Tanaka
    • Organizer
      New Landscapes in Theoretical Computational Linguistics
    • Place of Presentation
      Ohio, USA
    • Year and Date
      2016-10-14
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Generalized quantifiers in Dependent Type Semantics2016

    • Author(s)
      Ribeka Tanaka
    • Organizer
      European Summer School in Logic, Language, and Information (Guest lecture in the course "An Introduction to Dependent Type Semantics"
    • Place of Presentation
      Bolzano-Bozen, Italy
    • Year and Date
      2016-08-18
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] 依存型意味論による複数照応の分析2016

    • Author(s)
      田中リベカ, 峯島宏次, 戸次大介
    • Organizer
      第30回人工知能学会全国大会
    • Place of Presentation
      小倉
    • Year and Date
      2016-06-08
    • Related Report
      2016 Annual Research Report
  • [Presentation] Generalized quantifiers in Dependent Type SEmantics2015

    • Author(s)
      Ribeka Tanaka
    • Organizer
      Dynamic Semantics: Modern Type Theoretic and Category Theoretic Approaches
    • Place of Presentation
      Ohio State University (Columbus, United States)
    • Year and Date
      2015-10-24
    • Related Report
      2015 Annual Research Report

URL: 

Published: 2015-11-26   Modified: 2024-03-26  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi