Difference between revisions of "Goedel machine"
(Created page with "A ‘’’Goedel Machine’’’ is an approach to Artificial General Intelligence that uses a Recursive SelfImprovement architecture proposed by Jürgen Schmidhuber ...") 
(No difference)

Revision as of 20:01, 15 June 2012
A ‘’’Goedel Machine’’’ is an approach to Artificial General Intelligence that uses a Recursive SelfImprovement architecture proposed by Jürgen Schmidhuber based of the mathematical theories of Kurt Goedel.
Schmidhuber’s design uses axioms to systematically search through its own code to find useful rewrites (which are deemed useful if they result in greater utility for the AI)
The axioms include a detailed formal description of the machine's software and hardware, including both the components interacting with the environment and those dealing with the formal proofs, and a possibly partial description of the environment.
According to Schmidhuber this approach is globally optimal as the search space is systematically tested in such a way the code has to prove that it is not useful to continue the proof search for alternative selfrewrites.
External Links
 Goedel Machine Homepage by Jürgen Schmidhuber
 Summary of Goedel Machine by Jürgen Schmidhuber