図的推論を用いた人の自然な論理推論の解明と促進：論理学及び認知科学の統合的研究

用图解推理阐明和促进人们的自然逻辑推理：逻辑与认知科学的综合研究

• 批准号: 13J02291
• 负责人: 佐藤 有理
• 金额: $ 3万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2013
• 资助国家: 日本
• 起止时间: 2013-04-01 至 2016-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13J02291/
• 关键词: 図的推論; 拡張現実; 仮想現実; 条件法; 量化表現; 論理的推論; 反例モデル; 認知科学; 論理学; 外的表象; 認知モデル

本研究は、図的推論を手段として、人間に自然な推論様式の解明を行うことを目的とする。採用第3年度目の本年では、条件法の推論を支援する図的表現について検討した。これまでの図的推論研究では、現実物と仮想現実物のどちらか一方だけが使用されてきたが、両者を時間的・空間的に同時に使用する拡張現実環境(Augmented Reality: AR)を導入した。それらを用いた条件法推論を行わせる実験を実施することで、現実物が推論を阻害するのに対して、AR環境における仮想現実物はその阻害を回避していることを示した。この結果は、現実物が他の可能性を含まない一つの状況だけを過剰に特定しているのに対して、AR環境における仮想現実は複数の状況を表現し得ることを示唆する。以上の研究について、準備段階の成果を、日本認知科学会第32回大会において発表を行った。さらに英語論文をジャーナルに投稿、現在査読中である。また、採用最終年度の本年は、これまでの「画像移動軌跡記録による図的推論戦略の分析」と「メンタルモデル推論の形式化」についても、英語論文にまとめた（査読中）。加えて、かねてより改訂作業を行ってきた論文がJournal of Logic, Language, and InformationとIEEE Symposium on Visual Languages and Human-Centric Computing 2015に採録された（後者はBest Paper Awardも受賞した）。採用者のこれまでの研究は、標準的量化子（All, Some）に関する集合（個体）同士の包含・排他関係に範囲が限定されていた。そこで、非標準的量化表現（Most）に関する集合同士の比率関係に分析を拡張し、その図的表現と推論についての研究をDiagrams-2016国際会議論文にまとめ、今後の研究の見通しを得ることもできた。

This study focuses on the inferential means and the inferential methods of human nature. This year's results and conditional inference support the performance of the Group. This is a corollary to the study of Augmented Reality (AR). The condition is applied to the object and the object is avoided. The results include the possibility of a situation occurring in a specific environment and the possibility of a situation occurring in an AR environment. The results of the above research and preparation stages were presented at the 32nd General Assembly of the Japan Cognitive Science Association. English papers are published today. This year, the last year, the year, The paper was collected by the Journal of Logic, Language, and Information and IEEE Symposium on Visual Languages and Human-Centric Computing 2015 (the latter received the Best Paper Award). The study of adopters is limited to the inclusion and exclusion relations of sets (individuals) related to standard quantifiers (All, Some). The quantitative performance (Most) related to the analysis of the ratio relationship between the set and the peer, the performance of the set and the inference, the research of Diagrams-2016 International Conference Papers, and the future research of the set.

项目成果

A specification-aware modeling of mental model theory for syllogistic reasoning

三段论推理心智模型理论的规范感知建模

• 发表时间: 2015
• 期刊: Proceedings of the 13th International Conference on Cognitive Modeling
• 作者: T. Yamamoto;T. Shibata;M. Kashiwagi;A. Hatayama;K. Sawada and M. Hanada;Yutaro Sugimoto and Yuri Sato
• 通讯作者: Yutaro Sugimoto and Yuri Sato

Human reasoning with proportional quantifiers and its support by diagrams

使用比例量词进行人类推理及其图表支持

• 发表时间: 2016
• 作者: T. Shibata;S. Mattei;K. Nishida;J. Lettry;A. Hatayama;中村 龍真，徳田 真芳， 鈴木 登代子，南 秀人;Yoko Taguchi;Yuri Sato and Koji Mineshima
• 通讯作者: Yuri Sato and Koji Mineshima

Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective

• DOI: 10.1016/j.jvlc.2013.08.007
• 发表时间: 2014-06
• 期刊: J. Vis. Lang. Comput.
• 作者: K. Mineshima;Yuri Sato;Ryo Takemura;M. Okada

An fMRI analysis of the efficacy of Euler diagrams in logical reasoning

欧拉图在逻辑推理中的功效的功能磁共振成像分析

• DOI: 10.1109/vlhcc.2015.7357209
• 发表时间: 2015
• 期刊: Proceedings of 2015 IEEE Symposium on Visual Languages and Human-Centric Computing
• 作者: Yuri Sato;Sayako Masuda;Yoshiaki Someya;Takeo Tsujii;and Shigeru Watanabe
• 通讯作者: and Shigeru Watanabe

Logic and types in cognitive modeling: a case of mental model theory of reasoning

认知建模中的逻辑和类型：推理心智模型理论的一个案例

• 发表时间: 2015
• 期刊: A Research Report on Logic and Decision Making
• 作者: Yuri Sato;Sayako Masuda;Yoshiaki Someya;Takeo Tsujii;and Shigeru Watanabe;Yuri Sato and Koji Mineshima;Yutaro Sugimoto and Yuri Sato
• 通讯作者: Yutaro Sugimoto and Yuri Sato