Bài luận "Khoa học Máy tính Hậu AI" Tập 5 của Youngjin Kang đề xuất 'đệ quy ngữ nghĩa' cho các mục tiêu nổi sinh
Bắt đầu từ đây
Bài luận "Khoa học Máy tính Hậu AI" Tập 5 của Youngjin Kang lập luận rằng một hệ thống phần mềm có ý nghĩa cần những mục tiêu có thể tự tái tạo thông qua cái mà ông gọi là "đệ quy ngữ nghĩa", trong đó mỗi mục tiêu con gần như mạnh ngang bằng mục tiêu cha. Kang xây dựng lập luận từ một tiền đề đơn giản: bất cứ điều gì người quản trị hệ thống tuyên bố đều trở thành sự thật. Sau đó ông chỉ ra cách "and" gộp nhiều tuyên bố thành một câu duy nhất mà hiệu ứng của nó kéo dài theo thời gian. Tập này là một bài luận khái niệm chứ không phải báo cáo về một hệ thống đã được triển khai hay kiểm thử, vì vậy các khẳng định mô tả khuôn khổ mà Kang đề xuất, không phải kết quả đã được chứng minh.
Tạo từ các bài viết · cập nhật 10 giờ trước
Dòng thời gian bài viết
Theo các bài viết để thấy sự việc từ nhiều phía.
- Hacker News · AIKhoa học Máy tính Hậu AI Tập 5: Mục tiêu Nổi sinh và Đệ quy Ngữ nghĩa
Tập 5 "Khoa học Máy tính Hậu AI" của Youngjin Kang lập luận rằng một hệ thống phần mềm có ý nghĩa cần các mục tiêu có khả năng tự tái tạo thông qua "đệ quy ngữ nghĩa", trong đó mỗi mục tiêu con gần như mạnh ngang bằng mục tiêu cha. Bài luận xây dựng điều này từ một tiền đề đơn giản—bất cứ điều gì người quản trị hệ thống tuyên bố đều trở thành sự thật—và chỉ ra cách "and" gộp nhiều tuyên bố thành một câu lệnh mà hiệu ứng của nó tồn tại theo thời gian.
Độ nóng của sự việc này
Chưa đủ quan sát liên tục để vẽ xu hướng.