Unified perspective for formal and lexical semantics based on type-theoretic semantics

• Project/Area Number: 15K00301
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Research Field: Intelligent informatics
• Research Institution: Ochanomizu University
• Principal Investigator: Bekki Daisuke お茶の水女子大学, 基幹研究院, 准教授 (90431783)
• Project Period (FY): 2015-04-01 – 2018-03-31
• Project Status: Completed (Fiscal Year 2017)
• Budget Amount: ¥4,810,000 (Direct Cost: ¥3,700,000、Indirect Cost: ¥1,110,000); Fiscal Year 2017: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2016: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000); Fiscal Year 2015: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
• Keywords: 選択制限 / 共述語化 / 強制現象 / メタファー / 依存型理論 / コア－ション / 依存型意味論 / 選択制約 / 自然言語処理 / 計算意味論 / 形式意味論

Outline of Final Research Achievements

This research project aims at designing a formal theory for lexical semantics and formal ontology, the representations of which are integrated with the inference systems of formal semantics. This integration is enabled by adopting dependent type semantics (DTS), which is a prospective, compositional, proof-theoretic semantics of natural language based on dependent type theory. Our DTS-based analysis succeeds in uniformly explains complex phenomena such as copredication, coercion, and metaphor, which have been major issues in lexical semantics.

Research Products

• [Journal Article] Factivity and Presupposition in Dependent Type Semantics (2017)
  • 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
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Journal Article] Coercion as Proof Search in Dependent Type Semantics (2017)
  • Author(s): Eriko Kinoshita， Koji Mineshima， Daisuke Bekki
  • Journal Title: Proceedings of Workshop on Approaches to Coercion and Polysemy (CoPo 2017)， University of Oslo， Norway. Volume: ー
  • Peer Reviewed
• [Journal Article] Variable Handling in DRT and DTS (2017)
  • Author(s): Yukiko Yana， Daisuke Bekki， Koji Mineshima
  • Journal Title: Proceedings of Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017)， Stockholm， Sweden. Volume: ー Pages: 141-159
  • Peer Reviewed
• [Journal Article] Indirect Answers to QUD (2017)
  • Author(s): Yurina Ito， Koji Mineshima， Daisuke Bekki
  • Journal Title: Proceedings of Integrating Approaches to Social Meaning (IASM) workshop， in the 29th European Summer School in Logic， Language and Information (ESSLLI 2017)， Toulouse， France. Volume: ー
  • Peer Reviewed
• [Journal Article] 意味論の証明論的転回 (2017)
  • Author(s): 戸次 大介， 峯島 宏次， 金子 貴美， 田中 リベカ， 谷中 瞳， 木下 恵梨子， 伊藤 友里菜， 簗 有紀子
  • Journal Title: 第31回人工知能学会全国大会論文集， 2B3-OS-07a-4， ウインクあいち， 2017/5/23-26. Volume: ー
  • NAID: 130007427108
• [Journal Article] An analysis of selectional restrictions with Dependent Type Semantics (2016)
  • Author(s): Eriko Kinoshita; Koji Mineshima; Bekki, Daisuke;
  • Journal Title: Proceedings of the 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13) Volume: 13 Pages: 100-113
  • Peer Reviewed
• [Presentation] 理論言語学と自然言語処理と (2018)
  • Author(s): 戸次 大介
  • Organizer: 言語処理学会第24回年次大会（岡山大学）招待講演， 2018/3/15.
  • Invited
• [Presentation] Coercion as Proof Search in Dependent Type Semantics (2017)
  • Author(s): Eriko Kinoshita， Koji Mineshima， Daisuke Bekki
  • Organizer: Workshop on Approaches to Coercion and Polysemy (CoPo 2017)， University of Oslo， Norway.
  • Int'l Joint Research
• [Presentation] 依存型意味論による自然言語の証明論的意味論II (2017)
  • Author(s): 伊藤 友里菜， 簗 有紀子， 戸次 大介
  • Organizer: 東海意味論研究会， 名古屋学院大学， 2017/10/29
  • Invited
• [Presentation] Introduction to Dependent Type Semantics (2017)
  • Author(s): Daisuke Bekki
  • Organizer: A talk at Bordeaux University， Bordeaux， France， 2017/9/23.
  • Int'l Joint Research
• [Presentation] Variable Handling in DRT and DTS (2017)
  • Author(s): Yukiko Yana， Daisuke Bekki， Koji Mineshima
  • Organizer: Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017)， Stockholm， Sweden.
  • Int'l Joint Research
• [Presentation] Indirect Answers to QUD (2017)
  • Author(s): Yurina Ito， Koji Mineshima， Daisuke Bekki
  • Organizer: Integrating Approaches to Social Meaning (IASM) workshop， in the 29th European Summer School in Logic， Language and Information (ESSLLI 2017)， Toulouse， France.
  • Int'l Joint Research
• [Presentation] 意味論の証明論的転回 (2017)
  • Author(s): 戸次 大介， 峯島 宏次， 金子 貴美， 田中 リベカ， 谷中 瞳， 木下 恵梨子， 伊藤 友里菜， 簗 有紀子
  • Organizer: 第31回人工知能学会全国大会， 2B3-OS-07a-4， ウインクあいち， 2017/5/23-26.
• [Presentation] 依存型意味論と形式オントロジーによる述語の選択制約の分析 (2016)
  • Author(s): 木下恵理子; 峯島宏次; 戸次大介;
  • Organizer: 第30回人工知能学会全国大会
  • Place of Presentation: 北九州国際会議場
  • Year and Date: 2016-06-06
• [Presentation] 依存型意味論とオントロジーを用いた論理的多義とコアーション現象の分析に向けて (2016)
  • Author(s): 木下恵梨子. 中村絢子. 戸次大介.
  • Organizer: 言語処理学会第22回年次大会, D2-4.
  • Place of Presentation: 東北大学
  • Year and Date: 2016-03-07
• [Presentation] Towards Modeling Natural Language Inferences with Formal Ontology and Lexical Semantics (2015)
  • Author(s): Nakamura, Ayako. Mineshima, Koji. Bekki, Daisuke.
  • Organizer: the FOfAI session of the Joint Ontology Workshops (JOWO)
  • Place of Presentation: Buenos Aires
  • Year and Date: 2015-07-25
  • Int'l Joint Research
• [Presentation] オントロジーを用いた型理論的な語彙意味論の試み (2015)
  • Author(s): 中村絢子. 峯島宏次. 戸次大介.
  • Organizer: 第29回人工知能学会全国大会, 2M1-2.
  • Place of Presentation: はこだて未来大学
  • Year and Date: 2015-05-30
• [Book] New Frontiers in Artificial Intelligence (JSAI-isAI 2015 Workshops， LENLS， JURISIN， AAA， HAT-MASH， TSDAA， ASD-HR， and SKL， Kanagawa， Japan， November 16-18， 2015， Revised Selected Papers) (2017)
  • Author(s): Mihoko Otake， Koji Mineshima， Daisuke Bekki
  • Publisher: Lecture Notes in Artificial Intelligence 10091， Springer
  • ISBN: 9783319509532
• [Book] Context-Passing and Underspecification in Dependent Type Semantics (2017)
  • Author(s): Daisuke Bekki， Koji Mineshima
  • Publisher: Modern Perspectives in Type-Theoretical Semantics， S.Chatzikyriakidis and Z.Luo (Eds.)， Studies of Linguistics and Philosophy， Springer. pp.11-41.
  • ISBN: 9783319504209
• [Book] 人工知能学事典 (2017)
  • Author(s): 戸次 大介
  • Publisher: 項目「形式意味論」， pp.632-635， 人工知能学会.
  • ISBN: 9784320121072