Formal analysis of the structures of coordination by CCG and Higher-order dynamic logic

• Project/Area Number: 20700125
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: Intelligent informatics
• Research Institution: Ochanomizu University
• Principal Investigator: BEKKI Daisuke Ochanomizu University, 大学院・人間文化創成科学研究科, 准教授 (90431783)
• Project Period (FY): 2008 – 2009
• Project Status: Completed (Fiscal Year 2009)
• Budget Amount: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000); Fiscal Year 2009: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000); Fiscal Year 2008: ¥2,600,000 (Direct Cost: ¥2,000,000、Indirect Cost: ¥600,000)
• Keywords: 形式文法理論 / 自然言語処理

Research Abstract

Combinatory Categorial Grammar (CCG) is a formal theory of natural language syntax and semantics that many researchers have recently regarded as one of the most promising framework.
The aim of this project is to construct a (kind of ultimate) Japanese grammar based on CCG which simultaneously satisfies the following three virtues: 1) a high-coverage for linguistic phenomena including various syntactic/semantic constructions in Japanese, 2) mathematical/logical rigidity of its formal descriptions, and 3) a uniform treatment of the different components in regard to the conjugation system, syntactic structures, and semantic compositions.

Research Products

• [Journal Article] Representing Covert Movements by Delimited Continuations (2009)
  • Author(s): Bekki, Daisuke, Kenichi, Asai
  • Journal Title: In Proceedings of the Sixth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6) Pages: 71-90
  • URL: http://www.amazon.com/New-Frontiers
  • Peer Reviewed
• [Journal Article] Monads and Meta-Lambda Calculus (2009)
  • Author(s): Bekki, Daisuke, H. Hattori, et al. (Eds. )
  • Journal Title: New Frontiers in Artificial Intelligence (JSAI 2008 Conference and Workshops, Asahikawa Pages: 193-208
  • Peer Reviewed
• [Journal Article] Monads and Meta-Lambda Calculus (2009)
  • Author(s): Bekki, Daisuke
  • Journal Title: New Frontiers in Artificial Intelligence(JSAI 2008 Conference and Workshops, Asahi kawa, Japan, June 2008, Revised Selected Papers), H.Hattori et al.(Eds.), Springer LNAI 5447 Pages: 193-208
  • Peer Reviewed
• [Journal Article] Representing Covert Movements by Delimited Continuations (2009)
  • Author(s): Bekki, Daisuke Kenichi, Asai
  • Journal Title: Proceedings of the Sixth International Workshop on Logic and Engineering of Natural Language Semantics(LENLS 6), JSAI International Symposia on AI 2009, Campus Innovation Center, Tokyo, Japan Pages: 71-90
  • Peer Reviewed
• [Journal Article] Monads and Meta-Lambda Calculus (2009)
  • Author(s): Bekki, Daisuke
  • Journal Title: New Frontiers in Artificial Intelligence, JSAI 2008 Conference and Workshops Revised Selected Papers, H. Hattori et.al. (Eds.) LNAI5447 Pages: 193-208
  • Peer Reviewed
• [Journal Article] Monads and Meta-Lambda Calculus (2008)
  • Author(s): Bekki, Daisuke
  • Journal Title: In Proceedings of the Fifth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 2008) in Conjunction with the 22nd Annual Conference of the Japanese Society for Artificial Intelligence 2008 Pages: 56-78
  • Peer Reviewed
• [Journal Article] Monads and Meta-Lambda Calculus (2008)
  • Author(s): Bekki, Daisuke
  • Journal Title: The proceedings of the Fifth International Workshop on Logic and Engineering of Natural Language Semantics(LENLS2008) Pages: 56-78
  • Peer Reviewed
• [Presentation] CCGによる日本語文法記述の進捗と展望～活用体系・統語構造・意味合成～ (2010)
  • Author(s): 戸次大介
  • Organizer: 言語処理学会第16回年次大会
  • Place of Presentation: 東京大学
  • Year and Date: 2010-03-11
• [Presentation] 証明木作成プログラムを用いたCCG統語導出の実装 (2010)
  • Author(s): 尾崎有梨, 櫻井加奈子, 浅井健一, 戸次大介
  • Organizer: 言語処理学会第16回年次大会
  • Place of Presentation: 東京大学
  • Year and Date: 2010-03-10
• [Presentation] 証明木作成プログラムを用いたCCG統語導出の実装 (2010)
  • Author(s): 尾崎有梨, 櫻井加奈子, 浅井健一, 戸次大介
  • Organizer: 言語処理学会第16回年次大会発表論文集
  • Place of Presentation: 東京大学
• [Presentation] CCGによる日本語文法記述の進捗と展望～活用体系・統語構造・意味合成～ (2010)
  • Author(s): 戸次大介
  • Organizer: 言語処理学会第16回年次大会発表論文集
  • Place of Presentation: 東京大学
• [Presentation] [招待講演]「型付きラムダ計算による自然言語の動的意味論」 (2009)
  • Author(s): 戸次大介
  • Organizer: 第23回人工知能学会全国大会オーガナイズドセッション「意味と理解のコンピューティング」
  • Year and Date: 2009-06-19
• [Presentation] 型付きラムダ計算による自然言語の動的意味論 (2009)
  • Author(s): 戸次大介
  • Organizer: 第23回人工知能学会全国大会オーガナイズドセッション「意味と理解のコンピューティング」
  • Place of Presentation: 香川
  • Year and Date: 2009-06-19
• [Presentation] 日本語における前提概念の同定 (2008)
  • Author(s): 戸次大介
  • Organizer: 日本言語学会第135回大会
  • Place of Presentation: 学習院大学
  • Year and Date: 2008-06-21
• [Presentation] 日本語における前提概念の同定 (2008)
  • Author(s): 戸次大介
  • Organizer: 日本言語学会第135回大会予稿集
  • Place of Presentation: 学習院大学
• [Book] 日本語文法の形式理論-活用体系・統語構造・意味合成-(日本語研究叢書24) (2010)
  • Author(s): 戸次大介
  • Total Pages: 356
  • Publisher: くろしお出版
• [Remarks]
  • URL: http://www.is.ocha.ac.jp/~bekki/
• [Remarks]
  • URL: http://www.is.ocha.ac.jp/~bekki/
• [Remarks]
  • URL: http://www.is.ocha.ac.jp/~rbekki/