Here is a bit of data on the Theme One Program that I worked on all through the 1980s. The aim was to develop fundamental algorithms and data structures to support an integrated learning and reasoning interface. I wrote up a pilot version of the program well enough to get a Master’s degree out of it, but still haven’t gotten around to writing up the complete documentation. Below is a link to what I’ve put on the web so far.
In a way, I see this project as being related to Tim Gowers’ Proposal on the Mathematics of the Origin of Life, since one of the reasons for doing this work was to get information about the threshold of systems-theoretic complexity necessary to support a capacity for inquiry.
Toward the end of the 1980s, and especially as I returned to grad school in systems engineering during the 1990s, my work on this program gradually morphed into a broader study of what I began calling “Inquiry Driven Systems”. The conceptual background for this study is outlined in the following proposal.
More discussion to follow as I get time …