Difference between revisions of "Goedel machine"

From Lesswrongwiki
Jump to: navigation, search
(Created page with "A ‘’’Goedel Machine’’’ is an approach to Artificial General Intelligence that uses a Recursive Self-Improvement architecture proposed by Jürgen Schmidhuber ...")
 
(Redirected page to Gödel machine)
 
Line 1: Line 1:
A ‘’’Goedel Machine’’’ is an approach to  [[Artificial General Intelligence]] that uses a [[Recursive Self-Improvement]] architecture proposed by Jürgen Schmidhuber based of the mathematical theories of Kurt Goedel.
+
#REDIRECT [[Gödel machine]]
 
 
Schmidhuber’s design uses axioms to systematically search through its own code to find useful re-writes (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 self-rewrites.
 
 
 
==External Links==
 
 
 
*[http://www.idsia.ch/~juergen/goedelmachine.html Goedel Machine Homepage] by Jürgen Schmidhuber
 
*[http://www.idsia.ch/~juergen/gmsummary.html Summary of Goedel Machine] by Jürgen Schmidhuber
 
 
 
==See Also==
 
 
 
*[[Artificial General Intelligence]]
 
*[[Recursive Self-Improvement]]
 
*[[Seed AI]]
 

Latest revision as of 20:25, 17 June 2012

Redirect to: