{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:16:45Z","timestamp":1725985005820},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319976754"},{"type":"electronic","value":"9783319976761"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-97676-1_7","type":"book-chapter","created":{"date-parts":[[2018,7,20]],"date-time":"2018-07-20T20:46:45Z","timestamp":1532119605000},"page":"62-76","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Solving Tree Problems with Category Theory"],"prefix":"10.1007","author":[{"given":"Rafik","family":"Hadfi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,21]]},"reference":[{"key":"7_CR1","unstructured":"Arjonilla, F.J., Ogata, T.: General problem solving with category theory. arXiv preprint arXiv:1709.04825 (2017)"},{"key":"7_CR2","unstructured":"Arjonilla Garc\u00eda, F.: A three-component cognitive theory. Master\u2019s thesis (2015)"},{"issue":"1\u20134","key":"7_CR3","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1023\/A:1018963029743","volume":"26","author":"Z Arzi-Gonczarowski","year":"1999","unstructured":"Arzi-Gonczarowski, Z.: Perceive this as that-analogies, artificial perception, and category theory. Ann. Math. Artif. Intell. 26(1\u20134), 215\u2013252 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"key":"7_CR4","unstructured":"Bonet, B., Geffner, H.: Solving POMDPs: RTDP-Bel vs. point-based algorithms, pp. 641\u20131646 (2009)"},{"key":"7_CR5","unstructured":"Bonet, B., Geffner, H.: Policies that generalize: solving many planning problems with the same policy, vol. 15 (2015)"},{"issue":"1","key":"7_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1186\/1471-2105-14-3","volume":"14","author":"G Cardona","year":"2013","unstructured":"Cardona, G., Mir, A., Rossell\u00f3, F., Rotger, L., S\u00e1nchez, D.: Cophenetic metrics for phylogenetic trees, after sokal and rohlf. BMC Bioinform. 14(1), 3 (2013)","journal-title":"BMC Bioinform."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Csikv\u00e1ri, P., Lin, Z.: Graph homomorphisms between trees. arXiv preprint arXiv:1307.6721 (2013)","DOI":"10.37236\/4096"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-642-39875-9_12","volume-title":"Computational and Robotic Models of the Hierarchical Organization of Behavior","author":"C Diuk","year":"2013","unstructured":"Diuk, C., Schapiro, A., C\u00f3rdova, N., Ribas-Fernandes, J., Niv, Y., Botvinick, M.: Divide and conquer: hierarchical reinforcement learning and task decomposition in humans. In: Baldassarre, G., Mirolli, M. (eds.) Computational and Robotic Models of the Hierarchical Organization of Behavior, pp. 271\u2013291. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39875-9_12"},{"key":"7_CR9","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1090\/S0002-9947-1945-0013131-6","volume":"58","author":"S Eilenberg","year":"1945","unstructured":"Eilenberg, S., MacLane, S.: General theory of natural equivalences. Trans. Am. Math. Soc. 58, 231\u2013294 (1945)","journal-title":"Trans. Am. Math. Soc."},{"issue":"1\u20132","key":"7_CR10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0010-0277(88)90031-5","volume":"28","author":"JA Fodor","year":"1988","unstructured":"Fodor, J.A., Pylyshyn, Z.W.: Connectionism and cognitive architecture: a critical analysis. Cognition 28(1\u20132), 3\u201371 (1988)","journal-title":"Cognition"},{"issue":"2","key":"7_CR11","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1090\/S0002-9939-1989-0967486-0","volume":"107","author":"G Gordon","year":"1989","unstructured":"Gordon, G., McMahon, E.: A greedoid polynomial which distinguishes rooted arborescences. Proc. Am. Math. Soc. 107(2), 287\u2013298 (1989)","journal-title":"Proc. Am. Math. Soc."},{"key":"7_CR12","unstructured":"Greville, T.N.: Generalized inverses: theory and applications Adi Ben-Israel"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Healy, M.J.: Category theory applied to neural modeling and graphical representations. In: Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks, IJCNN 2000, vol. 3, pp. 35\u201340. IEEE (2000)","DOI":"10.1109\/IJCNN.2000.861277"},{"key":"7_CR14","volume-title":"Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability","author":"M Hutter","year":"2004","unstructured":"Hutter, M.: Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability. Springer, Heidelberg (2004)"},{"key":"7_CR15","unstructured":"Izbicki, M.: Algebraic classifiers: a generic approach to fast cross-validation, online training, and parallel training. In: International Conference on Machine Learning, pp. 648\u2013656 (2013)"},{"key":"7_CR16","unstructured":"Izbicki, M.: Two monoids for approximating NP-complete problems (2013)"},{"key":"7_CR17","unstructured":"Keisler, H.J., Chang, C.C.: Model Theory, North-Holland, Amsterdam (1990)"},{"key":"7_CR18","unstructured":"Kendall, M., Colijn, C.: A tree metric using structure and length to capture distinct phylogenetic signals. arXiv preprint arXiv:1507.05211 (2015)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Laird, J.E.: The Soar cognitive architecture (2012)","DOI":"10.7551\/mitpress\/7688.001.0001"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Laird, J.E., Wray III, R.E.: Cognitive architecture requirements for achieving AGI. In: Proceedings of the Third Conference on Artificial General Intelligence, pp. 79\u201384 (2010)","DOI":"10.2991\/agi.2010.2"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Liao, J., Yao, Y., Yuan, L., Hua, G., Kang, S.B.: Visual attribute transfer through deep image analogy. arXiv preprint arXiv:1705.01088 (2017)","DOI":"10.1145\/3072959.3073683"},{"key":"7_CR22","volume-title":"Categories for the Working Mathematician","author":"S Mac Lane","year":"2013","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, vol. 5. Springer, New York (2013)"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Magnan, F., Reyes, G.E.: Category theory as a conceptual tool in the study of cognition. In: The Logical Foundations of Cognition, pp. 57\u201390 (1994)","DOI":"10.1093\/oso\/9780195092158.003.0005"},{"key":"7_CR24","unstructured":"MAZEMASTERS: Maze to tree [online] (2007). https:\/\/www.youtube.com\/watch?v=k1tSK5V1pds"},{"key":"7_CR25","doi-asserted-by":"publisher","unstructured":"Newell, A.: Unified theories of cognition and the role of soar. In: Michon, J.A., Aky\u00fcrek, A. (eds.) Soar: A Cognitive Architecture in Perspective. Studies in Cognitive Systems, vol. 10, pp. 25\u201379. Springer, Dordrecht (1992). https:\/\/doi.org\/10.1007\/978-94-011-2426-3_3","DOI":"10.1007\/978-94-011-2426-3_3"},{"key":"7_CR26","unstructured":"Newell, A., Shaw, J.C., Simon, H.A.: Report on a general problem solving program. In: IFIP Congress, vol. 256, p. 64 (1959)"},{"key":"7_CR27","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-319-63703-7_6","volume-title":"Artificial General Intelligence","author":"S Phillips","year":"2017","unstructured":"Phillips, S.: A general (category theory) principle for general intelligence: duality (adjointness). In: Everitt, T., Goertzel, B., Potapov, A. (eds.) AGI 2017. LNCS (LNAI), vol. 10414, pp. 57\u201366. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63703-7_6"},{"issue":"7","key":"7_CR28","doi-asserted-by":"crossref","first-page":"e1000858","DOI":"10.1371\/journal.pcbi.1000858","volume":"6","author":"S Phillips","year":"2010","unstructured":"Phillips, S., Wilson, W.H.: Categorial compositionality: a category theory explanation for the systematicity of human cognition. PLoS Comput. Biol. 6(7), e1000858 (2010)","journal-title":"PLoS Comput. Biol."},{"key":"7_CR29","first-page":"1139","volume":"7","author":"S Phillips","year":"2016","unstructured":"Phillips, S., Wilson, W.H.: Systematicity and a categorical theory of cognitive architecture: universal construction in context. Front. Psychol. 7, 1139 (2016)","journal-title":"Front. Psychol."},{"key":"7_CR30","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","volume-title":"Basic Category Theory for Computer Scientists","author":"BC Pierce","year":"1991","unstructured":"Pierce, B.C.: Basic Category Theory for Computer Scientists. MIT Press, Cambridge (1991)"},{"key":"7_CR31","unstructured":"Ram\u0131rez, J.D.G.: A new foundation for representation in cognitive and brain science: category theory and the hippocampus. Departamento de Automatica, Ingenier\u0131a Electronica e Informatica Industrial Escuela Tecnica Superior de Ingenieros Industriales (2010)"},{"key":"7_CR32","unstructured":"Rasmussen, D.: Hierarchical reinforcement learning in a biologically plausible neural architecture (2014)"},{"key":"7_CR33","unstructured":"Reed, S.E., Zhang, Y., Zhang, Y., Lee, H.: Deep visual analogy-making. In: Advances in Neural Information Processing Systems, pp. 1252\u20131260 (2015)"},{"key":"7_CR34","unstructured":"Rosa, M., Feyereisl, J., Collective, T.G.: A framework for searching for general artificial intelligence. arXiv preprint arXiv:1611.00685 (2016)"},{"key":"7_CR35","unstructured":"Sharma, M., Holmes, M.P., Santamar\u00eda, J.C., Irani, A., Ram, A.: Transfer learning in real-time strategy games using hybrid CBR\/RL"},{"key":"7_CR36","first-page":"1633","volume":"10","author":"ME Taylor","year":"2009","unstructured":"Taylor, M.E., Stone, P.: Transfer learning for reinforcement learning domains: a survey. J. Mach. Learn. Res. 10, 1633\u20131685 (2009)","journal-title":"J. Mach. Learn. Res."},{"key":"7_CR37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.neures.2015.12.007","volume":"107","author":"N Tsuchiya","year":"2016","unstructured":"Tsuchiya, N., Taguchi, S., Saigo, H.: Using category theory to assess the relationship between consciousness and integrated information theory. Neurosci. Res. 107, 1\u20137 (2016)","journal-title":"Neurosci. Res."},{"key":"7_CR38","doi-asserted-by":"crossref","unstructured":"Veness, J., Ng, K.S., Hutter, M., Uther, W., Silver, D.: A monte-carlo AIXI approximation (2010)","DOI":"10.1613\/jair.3125"},{"key":"7_CR39","volume-title":"Categories and Computer Science","author":"RFC Walters","year":"1991","unstructured":"Walters, R.F.C.: Categories and Computer Science. Cambridge University Press, Cambridge (1991)"}],"container-title":["Lecture Notes in Computer Science","Artificial General Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-97676-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T13:37:46Z","timestamp":1720445866000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-97676-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319976754","9783319976761"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-97676-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}