Có phải luận án Church-Turing cũng áp dụng cho trí tuệ nhân tạo?


8

Theo luận án của Church-Turing, không thể thiết kế một thuật toán để quyết định vấn đề tạm dừng.

Liệu thuật toán từ trong ngữ cảnh này có bao gồm trí thông minh nhân tạo hay không, nghĩa là luận án Church-Turing cũng áp dụng cho trí tuệ nhân tạo?

Có thể thiết kế một hệ thống tình báo trong tương lai để quyết định vấn đề này, hoặc, theo luận điểm của Church-Turing, không AI nào cũng có thể quyết định vấn đề tạm dừng?


2
Không chắc là một hệ thống AI có thể quyết định bất cứ điều gì (theo nghĩa chính thức, mang tính quyết định), nhưng nếu nó chắc chắn sẽ vi phạm luận điểm của Church-Turing hoặc không thể giải quyết được vấn đề Ngừng. (Cái sau nếu nó viết bằng ngôn ngữ hoàn chỉnh Turing, thì cái kia thì khác.)
Raphael

Tại sao bạn nghĩ rằng trí thông minh nhân tạo có thể không được bao phủ (hoặc quan tâm) bởi Luận án Charch-Turing?
babou

@babou vì nó bao gồm tính không xác định, học tập, v.v ... Có những vấn đề không thể giải quyết được mà AI mang lại cho chúng ta gần đúng về giải pháp.
M ama D

4
@Drupalist: nhưng tính quyết định của một số vấn đề chỉ có nghĩa là tồn tại một thuật toán sao cho bất kỳ đầu vào nào từ không gian đầu vào của vấn đề, đầu ra chính xác sẽ được tạo ra. Vì vậy, có, một thuật toán AI (hoặc bất kỳ thuật toán nào khác) có thể đưa ra các xấp xỉ tốt cho vấn đề tạm dừng, nhưng điều này sẽ không kéo theo sự quyết định.
Roy O.

Câu trả lời:


18

Luận án Church-Turing nói rằng khái niệm không chính thức về thuật toán như một chuỗi các hướng dẫn trùng khớp với các máy Turing. Tương tự, nó nói rằng bất kỳ mô hình tính toán hợp lý nào cũng có sức mạnh tương đương với máy Turing.

Trí tuệ nhân tạo là một chương trình máy tính, tức là một thuật toán. Nếu luận án Church-Turing giữ, thì bạn có thể thực hiện thuật toán đó trên máy Turing. Vì máy Turing không thể tự quyết định vấn đề tạm dừng của mình, nên theo luận điểm của Church-Turing, trí tuệ nhân tạo không thể quyết định vấn đề tạm dừng cho máy Turing.


Mặt khác, nếu AI được viết trên một số loại máy tính tương tự, hoặc mạch vô hạn không đồng nhất, thì vấn đề Ngừng cho các máy Turing đã trở lại trên bảng.
DanielV

3
@DanielV Một mạch vô hạn không đồng nhất không giúp được gì. Nếu nó có một mô tả tính toán, nó không thể giải quyết vấn đề tạm dừng; nếu nó không có mô tả tính toán, bạn không thể xây dựng nó.
David Richerby

Bạn không thể xây dựng nó bằng Máy Turing. Điều đó không có nghĩa là nó không có nghĩa là sự tồn tại của nó còn nghịch lý hơn 2 điểm cách nhau một khoảng tùy ý.
DanielV

2
n

1
@DanielV Có một số vấn đề đơn giản là bạn không thể tính toán được. Bạn cần có khả năng quyết định khi bạn giải quyết vấn đề, cũng như câu trả lời là gì. Trong trường hợp vấn đề tạm dừng, không có cách nào để xác định rằng bạn đã giải quyết vấn đề, hãy để một mình tìm ra câu trả lời là gì.
Rõ ràng hơn
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.