The main idea behind the Theme One program is the efficient use of graph-theoretic data structures for the tasks of “learning” and “doing logic”.
I am thinking of “learning” in the sense of “learning about an environment”, in other words, acquiring information about the nature of an environment and being able to apply that information to some purpose.
Under the heading of “doing logic” I am merely lumping together all the ordinary sorts of practical activities that would probably occur to most people under that name.
There is a natural relation between these tasks. Learning the character of an environment leads to the recognition of laws that govern the environment and making full use of this recognition requires the ability to reason logically about these laws in abstract terms.