図的表現系の能力と図的推論の運用に関する総合的研究

2013 年度 研究成果報告書

• 研究課題/領域番号: 23300101
• 研究種目: 基盤研究(B)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: 認知科学
• 研究機関: 同志社大学
• 研究代表者: 下嶋 篤 同志社大学, 文化情報学部, 教授 (40303341)
• 研究分担者: 杉尾 武志 同志社大学, 文化情報学部, 准教授 (60335205) ; 片桐 恭弘 公立はこだて未来大学, 複雑系知能学科 (60374097) ; 竹村 亮 日本大学, 商学部, 助教 (70583665)
• 研究期間 (年度): 2011 – 2013
• キーワード: 推論 / 問題解決 / 図的推論

研究概要

本研究の目的は、図的表現系がその意味論的特性に基づいてどのような認知的能力をもっているかを論理・計算論的分析に基づいて予測し、さらにその能力が現実の人間による推論の過程にどのように影響するかを実験を主とした心理分析に基づいて解明することであった。本研究では特に、この統合的研究方法をアイコン表の系に集中的に適用し、行・列レベルの視覚特性に基づく抽象情報の表示と読み取り、また、表に順次情報を追加することによる論理的帰結の自動表示と読み取りを分析した。

研究成果

• [雑誌論文] Towards Explaining the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning : a Relational Perspective (2014)
  • 著者名/発表者名: Koji Mineshima, Yuri Sato, Ryo Takemura, Mitsuhiro Okada
  • 雑誌名: Journal of Visual Languages and Computing 巻: Vol. 25 ページ: 156-169
  • DOI: DOI:10.1016/j.jvlc.2013.08.007
  • 査読あり
• [雑誌論文] An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning (2013)
  • 著者名/発表者名: Atsushi Shimojima, Yasuhiro Katagiri
  • 雑誌名: Cognitive Science 巻: Vol. 37 ページ: 211-254
  • DOI: DOI:10.1111/cogs.12026
  • 査読あり
• [雑誌論文] Proof Theory for Reasoning with Euler Diagrams : a Logic Translation and Normalization (2013)
  • 著者名/発表者名: Ryo Takemura
  • 雑誌名: Studia Logica 巻: Volume 101 ページ: 157-191
  • DOI: DOI:10.1007/s11225-012-9370-6
  • 査読あり
• [雑誌論文] A Diagrammatic Inference System with Euler Circles (2012)
  • 著者名/発表者名: Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
  • 雑誌名: Journal of Logic, Language and Information 巻: Vol. 21 ページ: 365-391
  • DOI: DOI:10.1007/s10849-012-9160-6
  • 査読あり
• [学会発表] The Barwise-Seligman Model of Representation Systems (2014)
  • 著者名/発表者名: Atsushi Shimojima, Dave-Barker Plummer,
  • 学会等名: Diagrams 2014
  • 発表場所: Springer, Heidelberg
  • 年月日: 20140000
• [学会発表] Logical Inverstigation of Reasoning with Tables (2014)
  • 著者名/発表者名: Ryo Takemura, Atsushi Shimojima, Yasuhiro Katagiri
  • 学会等名: Diagrams 2014
  • 発表場所: Springer, Heidelberg
  • 年月日: 20140000
• [学会発表] Neural Mechanism of Global Reading (2014)
  • 著者名/発表者名: Takeshi Sugio
  • 学会等名: Diagrams 2014
  • 発表場所: Diagrams 2014
  • 年月日: 20140000
• [学会発表] A Heterogeneous Logic with Tables (2013)
  • 著者名/発表者名: Ryo Takemura
  • 学会等名: First International Workshop on Diagrams, Logic and Cognition (DLAC 2013), 2013
  • 発表場所: Jadavpur University, Kolkata, India
  • 年月日: 20130000
• [学会発表] Semantic Uplifting in Graphical Notations : Examples and Cognitive Potentials (2013)
  • 著者名/発表者名: Atsushi Shimojima
  • 学会等名: Ninth International Conference on Cognitive Science (ICCS 2013)
  • 発表場所: Kuching, Maraysia
  • 年月日: 20130000
• [学会発表] Many Faces of Diagrams : From General Properties to Practical Advantages and Disadvantages (2012)
  • 著者名/発表者名: Atsushi Shimojima
  • 学会等名: Thirty-Fourth Annual Meeting of the Cognitive Science Society (Cogsci 2012)
  • 発表場所: Sapporo, Japan
  • 年月日: 20120000
• [学会発表] A Logical Investigation on Global Reading of Diagrams (2012)
  • 著者名/発表者名: Ryo Takemura, Atsushi Shimojima, Yasuhiro Katagiri,
  • 学会等名: Diagrams 2012
  • 発表場所: Springer, Heidelberg
  • 年月日: 20120000
• [学会発表] Proof-Theoretical Investigation of Venn Diagrams : a Logic Translation and Free Rides (2012)
  • 著者名/発表者名: Ryo Takemura
  • 学会等名: Diagrams 2012
  • 発表場所: Springer, Heidelberg
  • 年月日: 20120000
• [学会発表] Psychological Evidence of Mental Segmentation in Table Reading (2012)
  • 著者名/発表者名: Takeshi Sugio
  • 学会等名: Diagrams 2012
  • 発表場所: Springer, Heidelberg
  • 年月日: 20120000