Mașina Gödel

O mașină Gödel este un program ipotetic de calculator de auto-îmbunătățire care rezolvă problemele într-un mod optim. Folosește un protocol recursiv de auto-îmbunătățire în care își rescrie propriul cod atunci când poate dovedi că noul cod oferă o strategie mai bună. Mașina a fost inventată de Jürgen Schmidhuber (propusă pentru prima dată în 2003), dar poartă numele lui Kurt Gödel, care a inspirat teoriile matematice.

Mașina Gödel este adesea discutată atunci când se ocupă de probleme de meta-învățare, cunoscută și sub denumirea de „învăț să învăț”. Aplicațiile includ automatizarea deciziilor de proiectare umană și transferul de cunoștințe între sarcini multiple conexe și pot duce la proiectarea unor arhitecturi de învățare mai robuste și mai generale. Deși teoretic este posibil, nu a fost creată nicio implementare completă.

Mașina Gödel este adesea comparat cu AIXI al lui Marcus Hutter, o altă specificație formală pentru o inteligență artificială generală. Schmidhuber subliniază că mașina Gödel ar putea începe prin implementarea AIXItl ca sub-program inițial și să se automodifice după ce găsește dovada că un alt algoritm pentru codul său de căutare va fi mai bun.

Limitări

Problemele tradiționale rezolvate de un computer necesită o singură intrare și oferă o ieșire. Calculatoarele de acest fel aveau algoritmul lor inițial conectat. Acest lucru nu ia în considerare mediul natural dinamic și, prin urmare, a fost un obiectiv de depășit pentru mașina Gödel.

Cu toate acestea, mașina Gödel are limitări proprii. Conform primei teoreme de incompletitudine a lui Gödel, orice sistem formal care cuprinde aritmetica este fie viciat, fie permite afirmații care nu pot fi dovedite în sistem. Prin urmare, chiar și o mașină Gödel cu resurse de calcul nelimitate trebuie să ignore acele auto-îmbunătățiri a căror eficacitate nu poate fi dovedită.

(Include texte traduse și adaptate din Wikipedia de Nicolae Sfetcu)