Câu hỏi được gắn thẻ «proofs»

Giả định trong khoa học máy tính rằng trí tuệ con người có thể được sao chép bằng máy Turing, do đó Trí tuệ tổng hợp nhân tạo (AGI) là có thể. Giả sử khác là tin vào một cái gì đó huyền bí, và niềm tin huyền bí là …

11 philosophy  agi  proofs 

Thuật toán Q-learning dạng bảng được đảm bảo để tìm hàm tối ưu , , với các điều kiện sau (điều kiện Robbins-Monro ) về tốc độ học tập được thỏa mãnQQQQ*Q*Q^* Σtαt( S , một ) = ∞Σtαt(S,một)= =∞\sum_{t} \alpha_t(s, a) = \infty Σtα2t( s , a ) < …

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

Định lý Không ăn trưa miễn phí (NFL) nêu rõ (xem bài báo Bữa trưa miễn phí hợp tác của David H. Wolpert và William G. Mac đã) bất kỳ hai thuật toán đều tương đương khi hiệu suất của chúng được tính trung bình trên tất cả các vấn …

10 machine-learning  optimization  proofs  no-free-lunch 

Một heuristic là chấp nhận được nếu nó không bao giờ đánh giá quá cao chi phí thực sự để đạt được nút mục tiêu từnnn. Nếu một heuristic là nhất quán , thì giá trị heuristic củannn không bao giờ lớn hơn chi phí của người kế nhiệm nó …

8 search  heuristics  proofs  a-star