Abstract
Artificial Intelligence (AI) has long pursued models, theories, and techniques to imbue machines with humanlike general intelligence. Yet even the currently predominant datadriven approasches in AI seem to be lacking humans’ unique ability to solve wide ranges of problems. This situation begs the question of the existence of principles that underlie general problemsolving capabilities. We approach this question through the mathematical formulation of analogies across different problems and solutions. We focus in particular on problems that could be represented as treelike structures. Most importantly, we adopt a categorytheoretic approach in formalising tree problems as categories, and in proving the existence of equivalences across apparently unrelated problem domains. We prove the existence of a functor between the category of tree problems and the category of solutions. We also provide a weaker version of the functor by quantifying equivalences of problem categories using a metric on tree problems.
Original language  English 

Title of host publication  Artificial General Intelligence 
Subtitle of host publication  11th International Conference, AGI 2018, Proceedings 
Editors  Matthew Ikle, Arthur Franz, Rafal Rzepka, Ben Goertzel 
Place of Publication  Switzerland 
Publisher  Springer 
Pages  6276 
Number of pages  15 
ISBN (Electronic)  9783319976761 
ISBN (Print)  9783319976754 
DOIs  
Publication status  Published  1 Jan 2018 
Event  Conference on Artificial General Intelligence (AGI) 2018  Prague, Czech Republic Duration: 22 Aug 2018 → 25 Aug 2018 Conference number: 11th https://link.springer.com/book/10.1007/9783319976761 (Proceedings) 
Publication series
Name  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 

Volume  10999 LNAI 
ISSN (Print)  03029743 
ISSN (Electronic)  16113349 
Conference
Conference  Conference on Artificial General Intelligence (AGI) 2018 

Abbreviated title  AGI 2018 
Country  Czech Republic 
City  Prague 
Period  22/08/18 → 25/08/18 
Internet address 

Keywords
 Analogymaking
 Artificial general intelligence
 Category theory
 Decision tree
 Functor
 Maze problem
 Problem solving
 Transfer learning