Gần đây tôi tình cờ thấy một cấu trúc lý thuyết khá thú vị. Một cái gọi là máy Godel
Đó là một người giải quyết vấn đề chung có khả năng tự tối ưu hóa. Nó phù hợp với môi trường phản ứng.
Theo tôi hiểu, nó có thể được triển khai như một chương trình cho máy Turing phổ dụng, mặc dù các yêu cầu của nó vượt xa phần cứng hiện có. Tôi không thể tìm thấy nhiều chi tiết, mặc dù.
Máy móc như vậy có thể được xây dựng trong thực tế? Có phải chúng ít nhất là khả thi trong vũ trụ của chúng ta?
Câu trả lời:
Máy móc như vậy có thể được xây dựng trong thực tế?
Đúng. Theo "máy", Schmidhuber chỉ có nghĩa là "chương trình máy tính".
Có phải chúng ít nhất là khả thi trong vũ trụ của chúng ta?
Không phải ở dạng hiện tại của họ - các thuật toán quá kém hiệu quả.
Từ góc nhìn mười nghìn mét, Jürgen Schmidhuber (và các cựu sinh viên, như Marcus Hutter) đã nghiên cứu ý tưởng kết hợp tìm kiếm Levin với lý luận Bayes để đưa ra các thuật toán để giải quyết vấn đề chung.
Họ đã thực hiện một số lượng công việc khá lớn để làm cho các yếu tố không đổi giảm bớt kinh khủng, khủng khiếp khủng khiếp và lạc quan rằng loại kế hoạch này có thể hoạt động trong thực tế. Tôi (dựa trên kinh nghiệm của tôi trong việc chứng minh định lý tự động) rất hoài nghi, vì các cấu trúc dữ liệu tốt rất quan trọng đối với việc chứng minh định lý và mã hóa Goedel là các cấu trúc dữ liệu khủng khiếp.
Nhưng bạn không biết nó không thể hoạt động cho đến khi bạn cố gắng làm cho nó hoạt động! Rốt cuộc, chúng ta đã sống trong một thế giới nơi mọi người giải quyết vấn đề bằng cách giảm xuống SAT.