[Inquiry] Theme One Program -- Motivation Notes

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

TOP.  Motivation Note 1

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

The lonely labor of documenting my old prototype program
is so mind-numbingly tedious at times that I will need to
start up this parallel thread of motivation notes just to
remind myself, and maybe to help clue other folks in, why
I am doing this, and why it still seems worthwhile to me.
I won't try to organize this too much ahead of time, but
let it be whatever mix of prospective and retrospective
thoughts come to mind in the process of carrying out
the documentary work.

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 that will continue to fall short of a definition, acquiring
information about the nature of an environment and hopefully 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, as learning the character
of an environment typically leads to the recognition of laws that govern
that environment, and this leads to requirement of being able to reason
logically about these laws in abstract terms.

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o