哥德爾機

哥德爾機（英語：Gödel machine）是一種假設的電腦程式 ，可自我改進，以最佳化的方式解決問題。 ^{[需要解釋]} 它使用一種遞迴的自我改進協議，如果能夠證明新代碼的策略較佳，就會重寫自己的代碼。^{[1] [2]} 該機器由于爾根·施密德胡伯發明（在2003年首次提出^[3] ），但是以其數學理論的啟發者庫爾特·哥德爾的名字來命名。 ^[4]

哥德爾機經常會在處理元學習（英語：Meta learning (computer science)）（meta-learning）（也就是「學會如何學習」（learning to learn））的問題時拿出來討論。 其應用包括人類決策設計自動化以及在多個相關任務之間進行知識轉移，並且有可能設計出更加強健和通用的學習架構。^[5] 儘管在哥德爾機在理論上是可能的，但至今尚未有完整的實作。^[6]

哥德爾機經常會與馬庫斯·哈特（英語：Marcus Hutter）的AIXItl（英語：AIXI）相比較，AIXItl是另一種對通用人工智能的正式規範。施密德胡伯指出，哥德爾機器可以先實現AIXItl作為其初始副程式，並在發現別種更好的搜索演算法之後，再進行自我修改^[7]

參見

• 哥德爾不完備定理

參考文獻

1. Mahmud, M. M. Hassan. Universal Transfer Learning. ProQuest. 2008: 16–18. ISBN 9780549909880.
2. Anderson, Michael L.; Tim Oates. A review of recent research in metareasoning and metalearning. AI Magazine. Spring 2007, 28 (1): 7 [2021-01-15]. （原始內容存檔於2017-09-07）.
3. Schmidhuber, Jürgen. Gödel Machines: Self-Referential ¨ Universal Problem Solvers Making Provably Optimal Self-Improvements (PDF). 2006-12 [2014-11-10].^{[失效連結]}
4. Gödel machine. [2021-01-15]. （原始內容存檔於2020-03-19）.
5. Schaul, Tom; Schmidhuber, Juergen. Metalearning. Scholarpedia. 2010, 5 (6): 4650 [2014-11-10]. doi:10.4249/scholarpedia.4650. （原始內容存檔於2020-10-05）.
6. Steunebrink, Bas R.; Schmidhuber, Jürgen. A Family of Gödel Machine Implementations. Lecture Notes in Computer Science 6830. 2011: 275–280. Bibcode:10.1.1.300.3076 請檢查|bibcode=值 (幫助). ISBN 978-3-642-22886-5. doi:10.1007/978-3-642-22887-2_29.
7. Schmidhuber, Jürgen. Ultimate Cognition à la Gödel (PDF). Cognitive Computation. 2009-03-05, 1 (2): 177–193 [2014-11-13]. Bibcode:10.1.1.218.3323 請檢查|bibcode=值 (幫助). doi:10.1007/s12559-009-9014-y. （原始內容存檔 (PDF)於2020-11-26）.

外部連結

• Goedel machines home page（頁面存檔備份，存於互聯網檔案館）
• Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements