Son zamanlarda oldukça ilginç bir teorik yapıya rastladım. Bir sözde Gödel'in makinesi
Kendi kendine optimizasyon yapabilen genel bir problem çözücüdür. Reaktif ortamlar için uygundur.
Anladığım kadarıyla, evrensel Turing makinesi için bir program olarak uygulanabilir, ancak gereksinimleri şu anda mevcut olan donanımın çok ötesine geçer. Yine de çok fazla detay bulamadım.
Bu tür makineler pratikte inşa edilebilir mi? Evrenimizde en azından uygulanabilirler mi?
Yanıtlar:
Bu tür makineler pratikte inşa edilebilir mi?
Evet. "Makine" ile Schmidhuber sadece "bilgisayar programı" anlamına gelir.
Evrenimizde en azından uygulanabilirler mi?
Şu anki formlarında değil - algoritmalar çok verimsiz.
On bin metrelik bir perspektiften Jürgen Schmidhuber (ve Marcus Hutter gibi eski öğrenciler), genel problem çözme algoritmaları için Levin aramasını Bayes akıl yürütme ile birleştirme fikrini araştırıyorlar .
Levin aramasının arkasındaki temel fikir, sabit faktörlere kadar optimal olan tek bir algoritma vermek için dovetailing ve Goedel kodlarının kullanılabilmesidir. Gevşek, sen programların Godel kodlamasını düzeltmek ve sonra çalışan bir Turing makinesi çalıştırmak her seferinde oyunu bırakanların programı adımlar. Bu, eğer program bir sorun için en uygunsa, Levin aramasının "sadece" kat daha yavaş bir sabit faktör olacağı anlamına gelir .
Sabit faktörleri daha az muazzam, korkunç derecede korkunç hale getirmek için adil bir çalışma yaptılar ve bu tür bir planın pratikte çalışabileceği konusunda iyimserler. İyi bir veri yapısı teorem kanıtlaması için kritik olduğundan ve Goedel kodlamaları korkunç veri yapıları olduğundan, (otomatik teorem kanıtlama deneyimime dayanarak) çok şüpheciyim.
Ama bunu yapmayı denemeden çalışamayacağını bilmiyorsun! Sonuçta, zaten insanların SAT'a indirerek sorunları çözdüğü bir dünyada yaşıyoruz .