Example of a Godel machine: a data compressor that tries random variations of the algorithm and keeps improvements. The prover tests the code by compressing, decompressing, and comparing to the original. I am aware of practical implementations in small parameter spaces, but they are slow. Other examples are programs that learn Chess or Go by playing itself.
Again, not a practical path to AGI without external input for learning and a means to acquire physical computing power. Ultimately a Godel machine boils down to a long search over a subset of AIXI space. On Tue, May 26, 2020, 12:44 PM Robert Levy <[email protected]> wrote: > Looks like you get Schmidhubered on this one... > > http://people.idsia.ch/~juergen/selfreflection.pdf > > > On Mon, May 25, 2020 at 1:37 PM Alan Grimes via AGI <[email protected]> > wrote: > >> Ok, it seems we have lost a concept here, that of metaprogramming. In >> classic interpreted languages such as Lisp, etc, it was possible to >> write programs that write programs. >> >> When you think of AGI that needs to optimize itself for its platform and >> continually adapt to its environment, it should quickly become apparent >> that we are not looking for an AGI program per se, but a program that >> generates and continually tunes and updates the AGI program. >> >> Consider also your habbits, not just your external habbits but you also >> have hundreds of micro-habbits for dealing with routine social >> interractions and cognitive tasks. These can all be thought of as >> generated programs that were generated by the metaprogram that is your >> underlying intelligence. >> >> Anyway, don't let your mind get trapped in the limitations of commonly >> used programming techniques. >> >> -- >> The vaccine is a LIE. >> >> Powers are not rights. >> > *Artificial General Intelligence List <https://agi.topicbox.com/latest>* > / AGI / see discussions <https://agi.topicbox.com/groups/agi> + > participants <https://agi.topicbox.com/groups/agi/members> + delivery > options <https://agi.topicbox.com/groups/agi/subscription> Permalink > <https://agi.topicbox.com/groups/agi/T5364f6a30c9294ea-M4a07b8c8996cbc8b4b5c8d6e> > ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T5364f6a30c9294ea-M2389427c50ddbde66ea7771b Delivery options: https://agi.topicbox.com/groups/agi/subscription
