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 *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)
Research Products
(45 results)
-
-
-
-
-
-
[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
Peer Reviewed / Open Access
-
-
-
-
[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
ISBN
9783662481189, 9783662481196
Related Report
Peer Reviewed
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[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
Int'l Joint Research / Invited
-
-
-
-
[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
Int'l Joint Research
-
-
-
-
-
-
-
-
[Presentation] 日本語意味論テストセットの構築2015
Author(s)
川添愛, 田中リベカ, 峯島宏次, 戸次大介
Organizer
言語処理学会第21回年次大会 (NLP2015)
Place of Presentation
京都大学
Year and Date
2015-03-16 – 2015-03-21
Related Report
-
-
-
-
-
-
-
