Pertanyaan yang diberi tag «proofs»

Algoritma Q-learning tabular dijamin untuk menemukan fungsi QQQ optimal , Q∗Q∗Q^* , asalkan kondisi berikut (kondisi Robbins-Monro ) mengenai tingkat pembelajaran terpenuhi ∑tαt(s,a)=∞∑tαt(s,Sebuah)=∞\sum_{t} \alpha_t(s, a) = \infty ∑tα2t(s,a)&lt;∞∑tαt2(s,Sebuah)&lt;∞\sum_{t} \alpha_t^2(s, a) < \infty di mana αt(s,a)αt(s,a)\alpha_t(s, a) berarti tingkat pembelajaran yang digunakan ketika memperbarui nilai QQQ terkait dengan keadaan sss dan …

12 reinforcement-learning  q-learning  deep-rl  proofs  function-approximation 

Diasumsikan dalam ilmu komputer bahwa pikiran manusia dapat direplikasi dengan mesin Turing, oleh karena itu Artificial General Intelligence (AGI) dimungkinkan. Menganggap sebaliknya berarti percaya pada sesuatu yang mistis, dan kepercayaan mistis itu salah. Saya tidak tahu ada argumen lain bahwa AGI mungkin, dan argumen sebelumnya sangat lemah. Apakah ada bukti …

11 philosophy  agi  proofs 

Teorema No Free Lunch (NFL) menyatakan (lihat makalah Coevolutionary Free Lunches oleh David H. Wolpert dan William G. Macready) setiap dua algoritma setara ketika kinerjanya dirata-rata untuk semua masalah yang mungkin terjadi Apakah teorema "Tanpa Makan Siang Gratis" itu benar? Apa artinya itu sebenarnya? Contoh yang bagus (dalam konteks ML) …

10 machine-learning  optimization  proofs  no-free-lunch