Systematicity and a categorical theory of cognitive architecture: Universal construction in context

Frontiers in Psychology

Volumn 7, Issue JUL, 2016, Pages

  Phillips, Steven ^a   Wilson, William H ^b  

^a NATIONAL INSTITUTE OF ADVANCED INDUSTRIAL SCIENCE AND TECHNOLOGY AIST   (Japan)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

(Co)algebra; (Co)recursion; Category theory; Classicism; Compositionality; Connectionism; Systematicity; Universal construction

Indexed keywords

EID: 84982239240     PISSN: None     EISSN: 16641078     Source Type: Journal    
DOI: 10.3389/fpsyg.2016.01139     Document Type: Article

References (59)

1. Aizawa, K. (2003). The Systematicity Arguments. Studies in Mind and Brain., New York, NY: Kluwer Academic. doi: 10.1007/978-1-4615-0275-3
2. Arbib, M. A., and Manes, E. G. (1975). Arrows, Structures, and Functors: The Categorical Imperative., London: Academic Press.
3. Awodey, S. (2010). Category Theory, 2nd Edn., Oxford Logic Guides. New York, NY: Oxford University Press.
4. Baez, J. C., and Stay, M. (2011). "Physics, topology, logic and computation: a Rosetta stone," in New Structures in Physics, ed B. Coecke (Berlin: Springer), 95-172.
5. Barr, M., and Wells, C. (1990). Category Theory for Computing Science, 1st Edn., Prentice Hall International Series in Computer Science. New York, NY: Prentice Hall.
6. Bird, R., and de Moor, O. (1997). Algebra of Programming., Harlow: Prentice Hall.
7. Boden, M., and Niklasson, L. (2000). Semantic systematicity and context in connectionist networks. Connect. Sci., 12, 1-31. doi: 10.1080/09540090050129754
8. Calvo, P., and Symons, J. (eds.). (2014). The Architecture of Cognition: Rethinking Fodor and Pylyshyn's Systematicity Challenge., Cambridge, MA: MIT Press. doi: 10.7551/mitpress/9780262027236.001.0001
9. Clark, S., Coecke, B., and Sadrzadeh, M. (2008). "A compositional distributional model of meaning," in Proceedings of the Second Symposium on Quantum Interaction, eds P. Bruza, W. Lawless, K. van Rijsbergen, D. Sofge, B. Coecke, and S. Clark (Oxford: College Publications), 133-140.
10. Coecke, B. (2006). Introducing Categories to the Practicing Physicist, Vol. 3 of Advanced Studies in Mathematics and Logic., Monza: Polimetrica Publisher.
11. Cowan, N. (2001). The magical number 4 in short-term memory: a reconsideration of storage capacity. Behav. Brain Sci., 24, 87-114. doi: 10.1017/S0140525X01003922
12. Crole, R. L. (1993). Categories for Types., New York, NY: Cambridge University Press.
13. Ehresmann, A. C., and Vanbremeersch, J.-P. (2007). Memory Evolutive Systems: Hierarchy, Emergence, Cognition, Vol. 4 of Studies in Multidisciplinarity., Oxford: Elsevier.
14. Eilenberg, S., and MacLane, S. (1945). General theory of natural equivalences. Trans. Am. Math. Soc., 58, 231-294. doi: 10.1090/S0002-9947-1945-0013131-6
15. Ellerman, D. (2007). Adjoints and emergence: applications of a new theory of adjoint functors. Axiomathes 17, 19-39. doi: 10.1007/s10516-007-9008-x
16. Fodor, J. A., and McLaughlin, B. P. (1990). Connectionism and the problem of systematicity: why Smolensky's solution doesn't work. Cognition 35, 183-204. doi: 10.1016/0010-0277(90)90014-B
17. Fodor, J. A., and Pylyshyn, Z. W. (1988). Connectionism and cognitive architecture: a critical analysis. Cognition 28, 3-71. doi: 10.1016/0010-0277(88)90031-5
18. Gentner, D. (1983). Structure-mapping: a theoretical framework for analogy. Cogn. Sci., 7, 47-59. doi: 10.1207/s15516709cog0702_3
19. Gomez-Ramirez, J. (2014). A New Foundation for Representation in Cognitive and Brain Sciences, Vol. 7 of Springer Series in Cognitive and Neural Systems., Boston, MA: Springer. doi: 10.1007/978-94-007-7738-5
20. Hadley, R. F. (1994). Systematicity in connectionist language learning. Mind Lang., 9, 247-272. doi: 10.1111/j.1468-0017.1994.tb00225.x
21. Hadley, R. F., and Hayward, M. B. (1997). Strong Semantic Systematicity from Hebbian Connectionist Learning. Minds Mach., 7, 1-37. doi: 10.1023/A:1008252408222
22. Halford, G. S., Bain, J. D., Maybery, M. T., and Andrews, G. (1998). Induction of relational schemas: common processes in reasoning and complex learning. Cogn. Psychol., 35, 201-245. doi: 10.1006/cogp.1998.0679
23. Halford, G. S., and Wilson, W. H. (1980). A category theory approach to cognitive development. Cogn. Psychol., 12, 356-411. doi: 10.1016/0010-0285(80)90014-6
24. Halford, G. S., Wilson, W. H., Andrews, G., and Phillips, S. (2014). Categorizing Cognition: Toward Conceptual Coherence in the Foundations of Psychology., Cambridge, MA: MIT Press.
25. Halford, G. S., Wilson, W. H., Guo, J., Gayler, R. W., Wiles, J., and Stewart, J. E. M. (1994). "Connectionist implications for processing capacity limitations in analogies," in Advances in Connectionist and Neural Computation Theory: Analogical Connections, Vol. 2, Chapter 7, eds K. J. Holyoak and J. Barnden (Norwood, NJ: Ablex), 363-415.
26. Healy, M. J., and Caudell, T. P. (2004). Neural Networks, Knowledge, and Cognition: A Mathematical Semantic Model Based Upon Category Theory. Technical Report, EECE-TR-04-020, University of New Mexico (Albuquerque, NM).
27. Healy, M. J., Olinger, R. D., Young, R. J., Taylor, S. E., Caudell, T. P., and Larson, K. W. (2009). Applying category theory to improve the performance of a neural architecture. Neurocomputing 72, 3158-3173. doi: 10.1016/j.neucom.2009.03.008
28. Kelly, G. M. (2005). Basic concepts of enriched category theory. Reprints Theory Appl. Categories 10, 1-136.
29. Lambek, J. (2004). A computational algebraic approach to English grammar. Syntax 7, 128-147. doi: 10.1111/j.1467-9612.2004.00005.x
30. Lambek, J., and Scott, P. J. (1986). Introduction to Higher Order Categorical Logic., Cambridge studies in Advanced Mathematics. Cambridge: Cambridge University Press. doi: 10.1017/CBO9780511755460
31. Lawvere, F. W. (2002). Metric spaces, generalized logic, and closed categories. Reprints Theory Appl. Categories 1, 1-37.
32. Lawvere, F. W., and Rosebrugh, R. (2003). Sets for Mathematics., Cambridge, MA: Cambridge University Press. doi: 10.1017/CBO9781107360068
33. Lawvere, F. W., and Schanuel, S. H. (1997). Conceptual Mathematics: A First Introduction to Categories., Foundations of Computing. Cambridge: Cambridge University Press.
34. Leinster, T. (2014). Basic Category Theory, Vol. 143 of Cambridge Studies in Advanced Mathematics., Cambridge: Cambridge University Press.
35. MacLane, S. (1998). Categories for the Working Mathematician, 2nd Edn., Graduate Texts in Mathematics. New York, NY: Springer.
36. Magnan, F., and Reyes, G. E. (1995). "Category theory as a conceptual tool in the study of cognition," in The Logical Foundations of Cognition, Chapter 5, eds J. Macnamara and G. E. Reyes (New York, NY: Oxford University Press), 57-90.
37. Manes, E. G., and Arbib, M. A. (1986). Algebraic Approaches to Program Semantics., New York, NY: Springer-Verlag. doi: 10.1007/978-1-4612-4962-7
38. Marcus, G. F. (1998). Rethinking eliminative connectionism. Cogn. Psychol., 37, 243-282. doi: 10.1006/cogp.1998.0694
39. Marquis, J.-P. (2009). From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory, Hardcover Edn., Logic, Epistemology, and the Unity of Science. Cambridge: Springer.
40. McLaughlin, B. P. (2009). Systematicity redux. Synthese 170, 251-274. doi: 10.1007/s11229-009-9582-0
41. Niklasson, L., and van Gelder, T. (1994). On being systematically connectionist. Mind Lang., 9, 288-302. doi: 10.1111/j.1468-0017.1994.tb00227.x
42. Phillips, S. (1998). Are feedforward and recurrent networks systematic? Analysis and implications for a connectionist cognitive architecture. Connect. Sci., 10, 137-160. doi: 10.1080/095400998116549
43. Phillips, S. (2013). "A category theory perspective on compositionality and (the development of) cognitive capacity," in Proceedings of the 35th Annual Conference of the Cognitive Science Society, eds M. Knauff, M. Pauen, N. Sebanz, and I. Wachsmuth (Austin, TX: Cognitive Science Society), 3223-3228.
44. Phillips, S. (2014). Analogy, cognitive architecture and universal construction: a tale of two systematicities. PLoS ONE 9:e89152. doi: 10.1371/journal.pone.0089152
45. Phillips, S., Takeda, Y., and Sugimoto, F. (2016). "Why are we (un)systematic? the (empirical) costs and benefits of learning universal constructions," in Poster Presented at the 38th Annual Conference of the Cognitive Science Society (Philadelphia, PA).
46. Phillips, S., and Wilson, W. H. (2010). Categorial compositionality: a category theory explanation for the systematicity of human cognition. PLoS Comput. Biol., 6:e1000858. doi: 10.1371/journal.pcbi.1000858
47. Phillips, S., and Wilson, W. H. (2011). Categorial compositionality II: universal constructions and a general theory of (quasi-)systematicity in human cognition. PLoS Comput. Biol., 7:e1002102. doi: 10.1371/journal.pcbi.1002102
48. Phillips, S., and Wilson, W. H. (2012). Categorial compositionality III: F-(co)algebras and the systematicity of recursive capacities in human cognition. PLoS ONE 7:e35028. doi: 10.1371/journal.pone.0035028
49. Phillips, S., and Wilson, W. H. (2014). "A category theory explanation for systematicity: Universal constructions," in The Architecture of Cognition: Rethinking Fodor and Pylyshyn's Systematicity Challenge, Chapter 9, eds P. Calvo and J. Symons (Cambridge, MA: MIT Press), 227-249. doi: 10.7551/mitpress/9780262027236.003.0009
50. Phillips, S., and Wilson, W. H. (2015). "Cognitive architecture and second-order systematicity: categorical compositionality and a (co)recursion model of systematic learning," in The 37th Annual Conference of the Cognitive Science Society, eds D. C. Noelle, R. Dale, A. S. Warlaumont, J. Yoshimi, T. Matlock, C. D. Jennings, et al. (Austin, TX: Cognitive Science Society), 1877-1882.
51. Phillips, S., Wilson, W. H., and Halford, G. S. (2009). What do transitive inference and class inclusion have in common? Categorical (co)products and cognitive development. PLoS Comput. Biol., 5:e1000599. doi: 10.1371/journal.pcbi.1000599
52. Pierce, B. C. (1991). Basic Category Theory for Computer Scientists., Foundations of Computing. Cambridge: MIT Press.
53. Rutten, J. J. M. M. (2000). Universal coalgebra: a theory of systems. Theor. Comput. Sci., 249, 3-80. doi: 10.1016/S0304-3975(00)00056-6
54. Rydeheard, D. E., and Burstall, R. M. (1988). Computational Category Theory., New York, NY: Prentice-Hall.
55. Simmons, H. (2011). An Introduction to Category Theory., New York, NY: Cambridge University Press. doi: 10.1017/CBO9780511863226
56. Smolensky, P. (1987). The constituent structure of connectionist mental states: a reply to fodor and pylyshyn. South. J. Philos., 26, 137-161. doi: 10.1111/j.2041-6962.1988.tb00470.x
57. Smolensky, P. (1990). Tensor product variable binding and the representation of symbolic structures in connectionist systems. Artif. Intell., 46, 159-216. doi: 10.1016/0004-3702(90)90007-M
58. Spivak, D. I. (2014). Category Theory for Scientists., Cambridge, MA: MIT Press.
59. Walters, R. F. C. (1991). Categories and Computer Science., Cambridge Computer Science Texts. Cambridge: Cambridge University Press.