From: James Higgins (jameshiggins@earthlink.net)
Date: Thu May 03 2001 - 00:50:25 MDT
At 10:54 PM 5/2/2001 -0400, Ben Goertzel wrote:
>I think that
>
> Java supercompiler description
> + computer science background (e.g. useful CS theorems
> encoded in Mizar)
> + WM reasoning system
>
>is a framework that will allow WM to gradually learn to rewrite code to be
>more intelligent, starting with simple code and eventually working up to
>itself
Please forgive me if I'm being terribly naive on this. How difficult would
it be for the AI (WM in this case) to read natural language descriptions of
CS concepts instead of Mizar? In other words, what is the likelihood that
WM will be able to read text books, web sites, etc. in order to learn?
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:36 MDT