A category theory approach to the complexity of reasoning

• Project/Area Number: 22300092
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Cognitive science
• Research Institution: National Institute of Advanced Industrial Science and Technology
• Principal Investigator: PHILLIPS Steven 独立行政法人産業技術総合研究所, ヒューマンライフテクノロジー研究部門, 主任研究員 (90344209)
• Co-Investigator(Kenkyū-buntansha): TAKEDA Yuji 独立行政法人産業技術総合研究所, ヒューマンライフテクノロジー研究部門, 主任研究員 (10357410) ; ASOH Hideki 独立行政法人産業技術総合研究所, 知能システム研究部門, 上級主任研究員 (10344194)
• Project Period (FY): 2010 – 2012
• Project Status: Completed (Fiscal Year 2012)
• Budget Amount: ¥16,380,000 (Direct Cost: ¥12,600,000、Indirect Cost: ¥3,780,000); Fiscal Year 2012: ¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000); Fiscal Year 2011: ¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000); Fiscal Year 2010: ¥7,280,000 (Direct Cost: ¥5,600,000、Indirect Cost: ¥1,680,000)
• Keywords: 推論 / 圏論 / 脳波 / 位相同期性 / 前頭-頭頂皮質 / 特徴統合 / カテゴリ判断課題 / 前頭－頭頂皮質 / 直積 / 直和 / 視覚的注意 / 圏論(Category Theory) / 直積の次元数 / ガンマ帯域

Research Abstract

The aim of the present study was to investigate the neurophysiological processes underling cognitive task difficulty. We empirically tested the hypothesis that cognitive task difficulty, which could be defined as (co)product arity in the category

Research Products

• [Journal Article] Categorial compositionality III: F-(co)algebras and the systematicity of recursive capacities in human cognition (2012)
  • Author(s): Phillips, S., & Wilson, W. H.
  • Journal Title: PLoS ONE Volume: 7(4) Issue: 4 Pages: e35028-e35028
  • DOI: 10.1371/journal.pone.0035028
  • Peer Reviewed
• [Journal Article] Visual feature integration indicated by phase-locked frontal-parietal EEG signals. (2012)
  • Author(s): Phillips, S., Takeda, Y., & Singh, A
  • Journal Title: PLoS ONE Volume: 7(3) Issue: 3 Pages: e32502-e32502
  • DOI: 10.1371/journal.pone.0032502
  • Peer Reviewed
• [Journal Article] 確率モデルからの記号の創発 (2012)
  • Author(s): 麻生英樹
  • Journal Title: 人工知能学会誌 Volume: 27(6) Pages: 546-554
• [Journal Article] Categorial compositionality II: Universal constructions and a general theory of (quasi-) systematicity in human cognition (2011)
  • Author(s): Phillips, S., & Wilson, W. H
  • Journal Title: PLoS Computational Biology Volume: 7(8)
  • Peer Reviewed
• [Journal Article] Optimal detection of functional connectivity from high- dimensional EEG synchrony data (2011)
  • Author(s): Singh, A. K., Asoh, H., & Phillips, S
  • Journal Title: Neuroimage Volume: 58(1) Pages: 148-156
  • Peer Reviewed
• [Journal Article] Optimal detection of functional connectivity from high-dimensional EEG synchrony data (2011)
  • Author(s): Singh Archana
  • Journal Title: Neuroimage Volume: 58(1) Pages: 148-156
  • Peer Reviewed
• [Journal Article] Categorial compositionality II : Universal constructions and a general theory of (quasi-) systematicity in human cognition (2011)
  • Author(s): Phillips Steven
  • Journal Title: PLoS Computational Biology Volume: 7(8) Issue: 8 Pages: e1002102-e1002102
  • DOI: 10.1371/journal.pcbi.1002102
  • Peer Reviewed
• [Presentation] Phase-locking (synchrony) of frontal-parietal EEG signals associated with visual feature integration (2012)
  • Author(s): Phillips, S., Takeda, Y., & Singh, A
  • Organizer: the 35th Annual Meeting of the Japan Neuroscience Society (Neuro 2012)
  • Place of Presentation: Nagoya Congress Center (Aichi)
  • Year and Date: 2012-09-20
• [Presentation] Categorial compositionality continued (further): A category theory explanation for the systematicity of recursive cognitive capacities. (2012)
  • Author(s): Phillips, S., & Wilson, W. H
  • Organizer: the 34th Annual Conference of the Cognitive Science Society. Austin, TX: Cognitive Science Society.
  • Place of Presentation: Sapporo Convention Center (Hokkaido).
  • Year and Date: 2012-08-03
• [Presentation] Categorial compositionality continued: A category theory explanation for quasi-systematicity. In L. Carlson, C. Hoelscher, & T. F. Shipley (Eds.) (2011)
  • Author(s): Phillips, S., & Wilson, W. H
  • Organizer: the 33rd Annual Conference of the Cognitive Science Society. Austin, TX: Cognitive Science Society
  • Place of Presentation: Boston Park Plaza Hotel (USA).
  • Year and Date: 2011-07-21
• [Presentation] Categorial compositionality continued : A category theory explanation for quasi- systematicity (2011)
  • Author(s): Phillips Steven
  • Organizer: the 33rd Annual Conference of the Cognitive Science Society
  • Place of Presentation: Boston Park Plaza Hotel (Boston, USA)
  • Year and Date: 2011-07-21
• [Presentation] Phase-locking (synchrony) of frontal-parietal EEG signals associated with visual feature integration
  • Author(s): Phillips Steven
  • Organizer: the 35th Annual Meeting of the Japan Neuroscience Society (Neuro 2012)
  • Place of Presentation: 名古屋国際会議場（愛知県）
• [Presentation] Categorial compositionality continued (further): A category theory explanation for the systematicity of recursive cognitive capacities
  • Author(s): Phillips Steven
  • Organizer: the 34th Annual Conference of the Cognitive Science Society
  • Place of Presentation: 札幌コンベンションセンター（北海道）
• [Book] Systematicity and Cognitive Architecture
  • Author(s): Calvo, P. and Symons, J.
  • Publisher: MIT Press