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

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

Research Project

Project/Area Number 13J02291
Research Category

Grant-in-Aid for JSPS Fellows

Allocation TypeSingle-year Grants
Section国内
Research Field Philosophy/Ethics
Research InstitutionThe University of Tokyo

Principal Investigator

佐藤 有理  東京大学, 総合文化研究科, 特別研究員(PD)

Project Period (FY) 2013-04-01 – 2016-03-31
Project Status Completed (Fiscal Year 2015)
Budget Amount *help
¥4,680,000 (Direct Cost: ¥3,900,000、Indirect Cost: ¥780,000)
Fiscal Year 2015: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2014: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2013: ¥1,300,000 (Direct Cost: ¥1,300,000)
Keywords図的推論 / 拡張現実 / 仮想現実 / 条件法 / 量化表現 / 論理的推論 / 反例モデル / 認知科学 / 論理学 / 外的表象 / 認知モデル
Outline of Annual Research Achievements

本研究は、図的推論を手段として、人間に自然な推論様式の解明を行うことを目的とする。採用第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国際会議論文にまとめ、今後の研究の見通しを得ることもできた。

Research Progress Status

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

Strategy for Future Research Activity

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

Report

(3 results)
  • 2015 Annual Research Report
  • 2014 Annual Research Report
  • 2013 Annual Research Report
  • Research Products

    (21 results)

All 2016 2015 2014 2013 Other

All Journal Article (10 results) (of which Peer Reviewed: 8 results,  Acknowledgement Compliant: 1 results) Presentation (11 results) (of which Int'l Joint Research: 2 results)

  • [Journal Article] Human reasoning with proportional quantifiers and its support by diagrams2016

    • Author(s)
      Yuri Sato and Koji Mineshima
    • Journal Title

      Diagrammatic Representation and Inference; Proceedings of 9th International Conference on the Theory and Application of Diagrams

      Volume: -

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed
  • [Journal Article] An fMRI analysis of the efficacy of Euler diagrams in logical reasoning2015

    • Author(s)
      Yuri Sato, Sayako Masuda, Yoshiaki Someya, Takeo Tsujii, and Shigeru Watanabe
    • Journal Title

      Proceedings of 2015 IEEE Symposium on Visual Languages and Human-Centric Computing

      Volume: - Pages: 143-151

    • DOI

      10.1109/vlhcc.2015.7357209

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] How diagrams can support syllogistic reasoning: an experimental study2015

    • Author(s)
      Yuri Sato and Koji Mineshima
    • Journal Title

      Journal of Logic, Language and Information

      Volume: 24 Issue: 4 Pages: 409-455

    • DOI

      10.1007/s10849-015-9225-4

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Logic and types in cognitive modeling: a case of mental model theory of reasoning2015

    • Author(s)
      Yutaro Sugimoto and Yuri Sato
    • Journal Title

      A Research Report on Logic and Decision Making

      Volume: - Pages: 3-19

    • Related Report
      2014 Annual Research Report
  • [Journal Article] A specification-aware modeling of mental model theory for syllogistic reasoning2015

    • Author(s)
      Yutaro Sugimoto and Yuri Sato
    • Journal Title

      Proceedings of the 13th International Conference on Cognitive Modeling

      Volume: - Pages: 31-36

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Visual bias of diagram in logical reasoning.2014

    • Author(s)
      Yuri Sato, Yuichiro Wajima, and Kazuhiro Ueda
    • Journal Title

      Proceedings of 36th Annual Conference of the Cognitive Science Society

      Volume: - Pages: 2342-2347

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Tarskian model theoretic analysis for mental model theory of deductive reasoning2014

    • Author(s)
      Yuri Sato, Shigeyuki Nakayama, and Yutaro Sugimoto
    • Journal Title

      A Report of Research Center for Thinking and Behavioral Judgment 2014

      Volume: - Pages: 67-79

    • Related Report
      2014 Annual Research Report
  • [Journal Article] Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning : A relational perspective.2014

    • Author(s)
      Koji Mineshima, Yuri Sato, Ryo Takemura, Mitsuhiro Okada
    • Journal Title

      Journal of Visual Languages and Computing

      Volume: 25 Pages: 156-169

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] An empirical study of diagrammatic inference process by recording the movins operation of diagrams.2014

    • Author(s)
      Yuri Sato, Yuichiro Wajima, Kazuhiro Ueda
    • Journal Title

      Diagrammatic Representation and Inference ; Proceedings of 8th International Conference on the Theory and Application of Diagrams, Lecture Notes in Artificial_Intelligence, Springer-Verlag

      Volume: (印刷中)

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Towards a formalization of mental model reasoning for syllogistic fragments.2013

    • Author(s)
      Yutaro Sugimoto, Yuri Sato, Shigeyuki Nakayama
    • Journal Title

      Proceedings of 1st International Workshop on Artificial intelligence and Cognition, CEUR Workshop Proceedings

      Volume: 1100 Pages: 140-145

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Presentation] Human reasoning with proportional quantifiers and its support by diagrams2016

    • Author(s)
      Yuri Sato and Koji Mineshima
    • Organizer
      9th International Conference on the Theory and Application of Diagrams
    • Place of Presentation
      Philadelphia (Pennsylvania, USA)
    • Year and Date
      2016-08-08
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] An fMRI analysis of the efficacy of Euler diagrams in logical reasoning2015

    • Author(s)
      Yuri Sato, Sayako Masuda, Yoshiaki Someya, Takeo Tsujii, and Shigeru Watanabe
    • Organizer
      2015 IEEE Symposium on Visual Languages and Human-Centric Computing
    • Place of Presentation
      Atlanta (Georgia, USA)
    • Year and Date
      2015-10-20
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 拡張現実物を用いた条件文理解2015

    • Author(s)
      佐藤有理, 杉本雄太郎, 植田一博
    • Organizer
      日本認知科学会第32回大会
    • Place of Presentation
      千葉大学(千葉県千葉市)
    • Year and Date
      2015-09-19
    • Related Report
      2015 Annual Research Report
  • [Presentation] A specification-aware modeling of mental model theory for syllogistic reasoning2015

    • Author(s)
      Yutaro Sugimoto, Yuri Sato
    • Organizer
      The 13th International Conference on Cognitive Modeling
    • Place of Presentation
      Groningen (The Netherlands)
    • Year and Date
      2015-04-09
    • Related Report
      2014 Annual Research Report
  • [Presentation] Counter-example construction in human diagrammatic reasoning2015

    • Author(s)
      Yuri Sato
    • Organizer
      "Logical Inference and Proofs" Franco-Japanese Workshop
    • Place of Presentation
      慶應義塾大学(東京都、港区)
    • Year and Date
      2015-01-13
    • Related Report
      2014 Annual Research Report
  • [Presentation] 図的推論における意味情報と視覚情報2014

    • Author(s)
      佐藤有理、和嶋雄一郎、植田一博
    • Organizer
      日本認知科学会第31回大会
    • Place of Presentation
      名古屋大学(愛知県、名古屋市)
    • Year and Date
      2014-09-19
    • Related Report
      2014 Annual Research Report
  • [Presentation] Visual bias of diagram in logical reasoning2014

    • Author(s)
      Yuri Sato, Yuichiro Wajima, Kazuhiro Ueda
    • Organizer
      The 36th Annual Conference of the Cognitive Science Society
    • Place of Presentation
      Quebec City (Canada)
    • Year and Date
      2014-07-26
    • Related Report
      2014 Annual Research Report
  • [Presentation] Towards a formalization of mental model reasoning for syllogistic fragments2013

    • Author(s)
      Yutaro Sugimoto, Yuri Sato, Shigeyuki Nakayama
    • Organizer
      1st International Workshop on Artificial Intelligence and Cognition
    • Place of Presentation
      Torino (Italy)
    • Year and Date
      2013-12-03
    • Related Report
      2013 Annual Research Report
  • [Presentation] 図による論理推論と認知2013

    • Author(s)
      佐藤有理、峯島宏次
    • Organizer
      日本科学哲学会第46回大会
    • Place of Presentation
      法政大学 (東京)
    • Year and Date
      2013-11-23
    • Related Report
      2013 Annual Research Report
  • [Presentation] An empirical study of diagrammatic inference process by recording the moving operation of diagrams

    • Author(s)
      Yuri Sato, Yuichiro Wajima, Kazuhiro Ueda
    • Organizer
      8th International Conference on the Theory and Application of Diagrams
    • Place of Presentation
      Melbourne (Australia)(発表確定)
    • Related Report
      2013 Annual Research Report
  • [Presentation] メンタルモデルによる論理推論の形式化と実装

    • Author(s)
      杉本雄太郎、佐藤有理
    • Organizer
      第28回人工知能学会全国大会
    • Place of Presentation
      松山(愛媛)(発表確定)
    • Related Report
      2013 Annual Research Report

URL: 

Published: 2014-01-29   Modified: 2024-03-26  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi