Agreed, but I think looking at it in terms of a single language is a
mistake. Humans use body language and mimicry to acquire spoken
language and spoken/body to acquire written and then onto maths etc.
So a starting general problem solver may have a simple
language/representation that is uses to bootstrap to other
languages/representations suited to the tasks that it is attempting to
do.
Well indeed that is the situation we have: we start with some programming language, and use it to build stuff. But note that it won't be a general problem solver until we've built a lot more stuff than we currently have; until then it's just a _generic_ tool that we hope to use to build a _general_ kit.
Agreed about the need for pre-built tools. Would you agree that some
of these tools are tools that allow the building of other tools? I
would also contend that language that the new tools are built in needs
to be generic so that a general system can be created.
Yep.
If you agree with this then hopefully you will also see that there
needs to be someway of constraining the tools built so that bugs are
not introduced into the system or that if they are they can be
corrected. This I think needs a low level approach as well as the high
level tools that we have been talking about. This is what I am
interested in.
Clearly when (not if) bugs are introduced into any system they need to be corrected. But I'm not sure what you mean by low level approach - low level tools by their very nature can only catch low level bugs, null pointer references or array bounds or the like; that's handy as far as it goes but the interesting bugs are at higher levels. Can you explain what you're getting at here?
I don't claim to have any definite answers on this level. But the
sorts of systems I am going to experiment with once I have built the
low-level constraining mechanism are things like the following.
Systems that have tools that build new search
algorithms/representations and language parsers based on lingual
instruction and experimentation.
That sounds like a promising line of investigation.
To unsubscribe, change your address, or temporarily deactivate your subscription, please go to http://v2.listbox.com/member/[EMAIL PROTECTED]
