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

An integrated approach to the processing of abstract information in diagrammatic reasoning

Research Project

Project/Area Number 15H02716
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field Cognitive science
Research InstitutionDoshisha University

Principal Investigator

Shimojima Atsushi  同志社大学, 文化情報学部, 教授 (40303341)

Co-Investigator(Kenkyū-buntansha) 杉尾 武志  同志社大学, 文化情報学部, 教授 (60335205)
片桐 恭弘  公立はこだて未来大学, システム情報科学部, 教授 (60374097)
竹村 亮  日本大学, 商学部, 准教授 (70583665)
佐藤 有理  東京大学, 総合文化研究科, 研究員 (90750480)
Project Period (FY) 2015-04-01 – 2020-03-31
Project Status Completed (Fiscal Year 2019)
Budget Amount *help
¥15,990,000 (Direct Cost: ¥12,300,000、Indirect Cost: ¥3,690,000)
Fiscal Year 2019: ¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000)
Fiscal Year 2018: ¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000)
Fiscal Year 2017: ¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000)
Fiscal Year 2016: ¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000)
Fiscal Year 2015: ¥2,990,000 (Direct Cost: ¥2,300,000、Indirect Cost: ¥690,000)
Keywords図的推論 / 思考 / 推論 / 問題解決 / 読解 / 情報視覚化 / 知覚
Outline of Final Research Achievements

We studied the abstract information processing in diagrammatic reasoning by combining a logical, computational, and psychological approach. Under the logical approach, we showed that structurally diverse diagrammatic representations such as numerical graphs, connection diagrams, and tabular representations have a common semantic mechanism. We used this finding to give a general explanation for why many diagrams can exhibit abstract information in a flexible manner. Under the computational approach, we applied a proof-theoretic method to analyze the exchange of information in heterogenous proofs that use both sentences and diagrams, and thus pioneered a mathematical way to elucidate abstract information processing in diagrammatic reasoning. Under the psychological approach, we clarified the neurological mechanism and the attentional characteristics of global reading of diagrams, which is the quintessential process of extracting abstract information from diagrams.

Academic Significance and Societal Importance of the Research Achievements

図的推論とは、地図、イラスト、行列図、包含図、連結図、数量グラフ、配置図などを使いながら行われる思考を指す。図的推論の典型は、幾何学の証明を考えるときや、地図を見ながら道順を考えるときに起こる。こうした図的推論が成功する要因の一つは、具体的な情報と連動して図に表されている抽象的情報を、自分に与えられた課題に適合する形で抽出できるかということである。
本研究は、この「図的推論における抽象情報の処理」の問題に焦点を絞り、論理学、計算論、心理学のそれぞれの見地から、図が表現する抽象情報の範囲、その処理の形態、その処理の心的特性に関して総合的な知識の体系を提供するものであり、世界に類を見ない。

Report

(6 results)
  • 2019 Annual Research Report   Final Research Report ( PDF )
  • 2018 Annual Research Report
  • 2017 Annual Research Report
  • 2016 Annual Research Report
  • 2015 Annual Research Report
  • Research Products

    (64 results)

All 2020 2019 2018 2017 2016 2015 Other

All Int'l Joint Research (8 results) Journal Article (15 results) (of which Int'l Joint Research: 7 results,  Peer Reviewed: 14 results) Presentation (40 results) (of which Int'l Joint Research: 20 results,  Invited: 3 results) Book (1 results)

  • [Int'l Joint Research] CSLI/Stanford University(米国)

    • Related Report
      2019 Annual Research Report
  • [Int'l Joint Research] Department of Linguistics/Cathoric University of Leuven(ベルギー)

    • Related Report
      2019 Annual Research Report
  • [Int'l Joint Research] University of Brighton/Cambridge University(英国)

    • Related Report
      2018 Annual Research Report
  • [Int'l Joint Research] Stanford University(米国)

    • Related Report
      2018 Annual Research Report
  • [Int'l Joint Research] Brighton University/Cambridge University(英国)

    • Related Report
      2017 Annual Research Report
  • [Int'l Joint Research] Stanford University(米国)

    • Related Report
      2017 Annual Research Report
  • [Int'l Joint Research] CSLI, Stanford University(米国)

    • Related Report
      2015 Annual Research Report
  • [Int'l Joint Research] University of Brighton/University of Cambridge(英国)

    • Related Report
      2015 Annual Research Report
  • [Journal Article] Channel-Theoretic Account of the Semantic Potentials of False Diagrams2020

    • Author(s)
      Atsushi Shimojima and Dave Barker-Plummer
    • Journal Title

      Diagrammatic Representation and Inference, Lecture Notes in Computer Science

      Volume: -

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Channel-Theoretic Account of Reification in Representation Systems2020

    • Author(s)
      Atsushi Shimojima and Dave Barker-Plummer
    • Journal Title

      Logique & Analyse

      Volume: -

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Free Rides in Logical Space Diagrams versus Aristotelian Diagrams2020

    • Author(s)
      Hans Smessaert, Atsushi Shimojima and Lorenz Demey
    • Journal Title

      Diagrammatic Representation and Inference, Lecture Notes in Computer Science

      Volume: -

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Euler Diagrams for Defeasible Reasoning2020

    • Author(s)
      Ryo Takemura
    • Journal Title

      Diagrammatic Representation and Inference, Lecture Notes in Computer Science

      Volume: -

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Operations on Single Feature Indicator Systems2018

    • Author(s)
      Shimojima A., Barker-Plummer, D.
    • Journal Title

      Diagrammatic Representation and Inference

      Volume: 10871 Pages: 296-312

    • DOI

      10.1007/978-3-319-91376-6_28

    • ISBN
      9783319913759, 9783319913766
    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] The Observational Advantages of Euler Diagrams with Existential Import2018

    • Author(s)
      Stapleton G., Shimojima A., Jamnik M.
    • Journal Title

      Diagrammatic Representation and Inference

      Volume: 10871 Pages: 313-329

    • DOI

      10.1007/978-3-319-91376-6_29

    • ISBN
      9783319913759, 9783319913766
    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams2018

    • Author(s)
      Takemura R.
    • Journal Title

      Diagrammatic Representation and Inference

      Volume: 10871 Pages: 607-623

    • DOI

      10.1007/978-3-319-91376-6_55

    • ISBN
      9783319913759, 9783319913766
    • Related Report
      2018 Annual Research Report
    • Peer Reviewed
  • [Journal Article] The role of top-down knowledge in spatial cueing using hierarchical diagrams2018

    • Author(s)
      Takeshi Sugio
    • Journal Title

      Diagrammatic Representation and Inference

      Volume: 10871 Pages: 500-508

    • DOI

      10.1007/978-3-319-91376-6_45

    • ISBN
      9783319913759, 9783319913766
    • Related Report
      2018 Annual Research Report
    • Peer Reviewed
  • [Journal Article] What makes an effective representation of information: a formal account of observational advantages2017

    • Author(s)
      Gem Stapleton, Mateja Jamnik, and Atsushi Shimojima
    • Journal Title

      Journal of Logic, Language and Information

      Volume: 26 Issue: 2 Pages: 143-177

    • DOI

      10.1007/s10849-017-9250-6

    • Related Report
      2017 Annual Research Report 2016 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] オイラー図を用いたヘテロジニアス推論---ルールベースとモデルベースの推論---2017

    • Author(s)
      竹村亮, 片桐恭弘
    • Journal Title

      日本認知科学会第34回大会発表論文集

      Volume: - Pages: 294-301

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed
  • [Journal Article] なぜ図の特定の知覚的パターンが意味をもつのか2017

    • Author(s)
      下嶋篤
    • Journal Title

      日本認知科学会第34回大会発表論文集

      Volume: - Pages: 710-711

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 図的表現の視覚認知メカニズム2017

    • Author(s)
      杉尾武志
    • Journal Title

      日本認知科学会第34回大会発表論文集

      Volume: - Pages: 311-316

    • Related Report
      2017 Annual Research Report
  • [Journal Article] A Generic Approach to Diagrammatic Representation: The Case of Single Feature Indicator Systems2016

    • Author(s)
      Atsushi Shimojima and Dave Barker-Plummer
    • Journal Title

      Diagrammatic Representation and Inference, Lecture Notes in Computer Science

      Volume: 9781 Pages: 83-97

    • DOI

      10.1007/978-3-319-42333-3_7

    • ISBN
      9783319423326, 9783319423333
    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics2016

    • Author(s)
      Ryo Takemura
    • Journal Title

      Diagrammatic Representation and Inference, Lecture Notes in Computer Science

      Volume: 9781 Pages: 98-104

    • DOI

      10.1007/978-3-319-42333-3_8

    • ISBN
      9783319423326, 9783319423333
    • Related Report
      2016 Annual Research Report
    • Peer Reviewed
  • [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
  • [Presentation] Channel-Theoretic Account of the Semantic Potentials of False Diagrams2020

    • Author(s)
      Atsushi Shimojima and Dave Barker-Plummer
    • Organizer
      Eleventh International Conference on the Theory and Application of Diagrams
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Free Rides in Logical Space Diagrams versus Aristotelian Diagrams2020

    • Author(s)
      Hans Smessaert, Atsushi Shimojima and Lorenz Demey
    • Organizer
      Eleventh International Conference on the Theory and Application of Diagrams
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Euler Diagrams for Defeasible Reasoning2020

    • Author(s)
      Ryo Takemura
    • Organizer
      Eleventh International Conference on the Theory and Application of Diagrams
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] グラフの視覚属性が読み取り方略の選択に与える影響2020

    • Author(s)
      杉尾武志
    • Organizer
      日本心理学会第84回大会
    • Related Report
      2019 Annual Research Report
  • [Presentation] Philosophy of Notation 20192019

    • Author(s)
      Atsushi Shimojima and Dave Barker-Plummer
    • Organizer
      An Account of Some Cases of Free Rides in Diagrams
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] New Directions in Communication Sciences: Linguistics of BA2019

    • Author(s)
      Yasuhiro Katagiri
    • Organizer
      JWLLP-27: The 27th Joint Workshop on Linguistics and Language Processing
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Operations on Single Feature Indicator Systems2018

    • Author(s)
      Shimojima A., Barker-Plummer, D.
    • Organizer
      10th International Conference on the Theory and Application of Diagrams, Diagrams 2018
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] The Observational Advantages of Euler Diagrams with Existential Import2018

    • Author(s)
      Stapleton G., Shimojima A., Jamnik M.
    • Organizer
      10th International Conference on the Theory and Application of Diagrams, Diagrams 2018
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams2018

    • Author(s)
      Takemura R.
    • Organizer
      10th International Conference on the Theory and Application of Diagrams, Diagrams 2018
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] The Role of Top-Down Knowledge in Spatial Cueing Using Hierarchical Diagrams2018

    • Author(s)
      Sugio T.
    • Organizer
      10th International Conference on the Theory and Application of Diagrams, Diagrams 2018
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] ジェネリック意味論:その発想と図研究への応用2018

    • Author(s)
      下嶋篤
    • Organizer
      同志社哲学会2018年度大会
    • Related Report
      2018 Annual Research Report
    • Invited
  • [Presentation] 階層的パターンの知覚における空間的・構造的制約2018

    • Author(s)
      杉尾武志
    • Organizer
      日本心理学会第82回大会
    • Related Report
      2018 Annual Research Report
  • [Presentation] 図形と論理式を組合わせたヘテロジニアスな証明の特徴づけ2017

    • Author(s)
      竹村亮
    • Organizer
      RIMS共同研究(公開型)「証明論と証明活動」(証明論研究会2017)
    • Related Report
      2017 Annual Research Report
  • [Presentation] オイラー図を使った推論:証明構成と反例構成2017

    • Author(s)
      竹村亮
    • Organizer
      日本大学哲学会第68回(平成29年度)学術研究発表会
    • Related Report
      2017 Annual Research Report
  • [Presentation] オイラー図を用いたヘテロジニアス推論---ルールベースとモデルベースの推論---2017

    • Author(s)
      竹村亮, 片桐恭弘
    • Organizer
      日本認知科学会第34回大会(オーガナイズドセッション)
    • Related Report
      2017 Annual Research Report
  • [Presentation] 図的表現の視覚認知メカニズム2017

    • Author(s)
      杉尾武志
    • Organizer
      日本認知科学会第34回大会(オーガナイズドセッション)
    • Related Report
      2017 Annual Research Report
    • Invited
  • [Presentation] 情報視覚化の認知研究: 背景説明2017

    • Author(s)
      佐藤有理, 下嶋篤
    • Organizer
      日本認知科学会第34回大会(オーガナイズドセッション)
    • Related Report
      2017 Annual Research Report
  • [Presentation] なぜ図の特定の知覚的パターンが意味をもつのか2017

    • Author(s)
      下嶋篤
    • Organizer
      日本認知科学会第34回大会
    • Related Report
      2017 Annual Research Report
  • [Presentation] 表の読解における抑制的制御の関与2017

    • Author(s)
      杉尾武志
    • Organizer
      日本心理学会第81回大会
    • Related Report
      2017 Annual Research Report
  • [Presentation] 日本心理学会第81回大会2017

    • Author(s)
      Atsushi Shimojima, David Barker-Plummer
    • Organizer
      The 11th International Conference on Cognitive Science
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Completeness of Second-Order Intuitionistic Propositional Logic with Respect to a Proof-Theoretic Semantics2016

    • Author(s)
      Yuta Takahashi and Ryo Takemura
    • Organizer
      The 3rd Asian Workshop on Philosophical Logic (AWPL 2016)
    • Place of Presentation
      National Taiwan University, Taipei, Taiwan
    • Year and Date
      2016-10-05
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 新聞図表現における情報の網羅性判断:意味論的アプローチ2016

    • Author(s)
      下嶋篤, 濱田勇輝, 福治菜摘美
    • Organizer
      日本認知科学会第33回大会
    • Place of Presentation
      札幌, 北海道大学
    • Year and Date
      2016-09-16
    • Related Report
      2016 Annual Research Report
  • [Presentation] Cognitively Relevant Formal Properties of Diagrams2016

    • Author(s)
      Atsushi Shimojima
    • Organizer
      Logic and Cognition 2016
    • Place of Presentation
      Poznan, Poland
    • Year and Date
      2016-09-05
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A Generic Approach to Diagrammatic Representation: The Case of Single Feature Indicator Systems2016

    • Author(s)
      Atsushi Shimojima and Dave Barker-Plummer
    • Organizer
      Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016
    • Place of Presentation
      Philadelphia, PA, USA
    • Year and Date
      2016-08-07
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics2016

    • Author(s)
      Ryo Takemura
    • Organizer
      Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016
    • Place of Presentation
      Philadelphia, PA, USA,
    • Year and Date
      2016-08-07
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Effective Representation of Information: Generalizing Free Rides2016

    • Author(s)
      Gem Stapleton, Mateja Jamnik, and Atsushi Shimojima
    • Organizer
      Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016
    • Place of Presentation
      Philadelphia, PA, USA
    • Year and Date
      2016-08-07
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A Generic Approach to Diagrammatic Representation: The Case of Single Feature Indicator Systems2016

    • Author(s)
      Atsushi Shimojima and Dave Barker-Plummer
    • Organizer
      Ninth International Conference on the Theory and Application of Diagrams
    • Place of Presentation
      Philadelphia, USA
    • Year and Date
      2016-08-07
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Effective Representation of Information: Generalizing Free Rides2016

    • Author(s)
      Gem Stapleton, Mateja Jamnik, and Atsushi Shimojima
    • Organizer
      Ninth International Conference on the Theory and Application of Diagrams
    • Place of Presentation
      Philadelphia, USA
    • Year and Date
      2016-08-07
    • Related Report
      2015 Annual Research Report
  • [Presentation] A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics2016

    • Author(s)
      Ryo Takemura
    • Organizer
      Ninth International Conference on the Theory and Application of Diagrams
    • Place of Presentation
      Philadelphia, USA
    • Year and Date
      2016-08-07
    • Related Report
      2015 Annual Research Report
  • [Presentation] Human Reasoning with Proportional Quantifiers and Its Support by Diagrams2016

    • Author(s)
      Yuri Sato and Koji Mineshima
    • Organizer
      Ninth International Conference on the Theory and Application of Diagrams
    • Place of Presentation
      Philadelphia, USA
    • Year and Date
      2016-08-07
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 図表現の意味特性とその認知ポテンシャル2016

    • Author(s)
      下嶋篤
    • Organizer
      応用哲学会第八回年次大会
    • Place of Presentation
      東京, 慶應義塾大学
    • Year and Date
      2016-05-07
    • Related Report
      2016 Annual Research Report
  • [Presentation] あべこべの意味論2016

    • Author(s)
      片桐恭弘
    • Organizer
      平成25年度意味と理解研究会
    • Place of Presentation
      グリーンピア大沼(大沼市)
    • Year and Date
      2016-02-26
    • Related Report
      2015 Annual Research Report
  • [Presentation] The Barwise-Seligman Model of Representation Systems: A Philosophical Explication2015

    • Author(s)
      下嶋篤
    • Organizer
      2015年度科学基礎論学会秋の研究例会
    • Place of Presentation
      東京大学
    • Year and Date
      2015-11-07
    • Related Report
      2015 Annual Research Report
  • [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, USA
    • Year and Date
      2015-10-20
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] ダイアグラムの読解における制御機構2015

    • Author(s)
      杉尾武志
    • Organizer
      日本心理学会第79回大会
    • Place of Presentation
      名古屋国際会議場(名古屋市)
    • Year and Date
      2015-09-23
    • Related Report
      2015 Annual Research Report
  • [Presentation] 表の読解における認知的制御の脳内メカニズム2015

    • Author(s)
      杉尾武志
    • Organizer
      日本心理学会第79回大会
    • Place of Presentation
      名古屋国際会議場(名古屋市)
    • Year and Date
      2015-09-23
    • Related Report
      2015 Annual Research Report
  • [Presentation] 拡張現実物を用いた条件文理解2015

    • Author(s)
      佐藤 有理, 杉本 雄太郎, 植田 一博
    • Organizer
      日本認知科学会第32回大会
    • Place of Presentation
      千葉大学
    • Year and Date
      2015-09-19
    • Related Report
      2015 Annual Research Report
  • [Presentation] Concern-Alignment Analysis of Consultation Dialogues2015

    • Author(s)
      Yasuhiro Katagiri and Katsuya Takanashi
    • Organizer
      Nineteenth Workshop on the Semantics and Pragmatics of Dialogue
    • Place of Presentation
      Gothenburg Sweden
    • Year and Date
      2015-08-24
    • Related Report
      2015 Annual Research Report
  • [Presentation] Euler Diagrams As an Introduction to Set-Theoretical Models2015

    • Author(s)
      Ryo Takemura
    • Organizer
      Fourth International Conference on Tools for Teaching Logic
    • Place of Presentation
      Rennes, France
    • Year and Date
      2015-06-10
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A Specification-Aware Modeling of Mental Model Theory for Syllogistic Reasoning2015

    • Author(s)
      Yutaro Sugimoto and Yuri Sato
    • Organizer
      Thirteenth International Conference on Cognitive Modeling
    • Place of Presentation
      Groningen, The Netherlands
    • Year and Date
      2015-04-09
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Book] Semantic Properties of Diagrams and Their Cognitive Potentials2015

    • Author(s)
      Atsushi Shimojima
    • Total Pages
      186
    • Publisher
      CSLI Publications
    • Related Report
      2015 Annual Research Report

URL: 

Published: 2015-04-16   Modified: 2022-11-04  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi