Trong hai bài báo trước chúng ta đã thấy công việc của Alan Turing, Claude Shannon và John von Neuman đã giúp tạo ra những máy tính có khả năng lưu trữ trí tuệ nhân tạo như thế nào. Tuy nhiên, tất cảcác chương trình vẫn phải được tạo ra có khả năng thực hiện nhiệm vụ. Đó là lý do tại sao trong bài đăng này, chúng tôi mô tả đường dẫn của phần mềm từ các mô phỏng hội thoại đầu tiên đến các mô hình ngôn ngữ hiện tại.
Alan Turing là người đầu tiên định nghĩa cách xác định mức độ thành công của loại chương trình này. Vấn đề là bài kiểm tra Turing chỉ thể hiện kỹ năng lập trình, không phải chúng ta đang đối mặt với thứ có thể gọi là trí tuệ nhân tạo.
Con đường của phần mềm
Mặc dù định nghĩa của Marvin Minsky yêu cầu rằng để được coi là trí tuệ nhân tạo, một cỗ máy phải thực hiện nhiệm vụ giống như con người, nhưng nó đòi hỏi khả năng suy nghĩ, bài kiểm tra Turing chỉ yêu cầu một người không thể xác định xem người đối thoại của mình có phải là người đó hay không.
Mặc dù ELIZA, một chương trình máy tính được viết vào giữa những năm 60, không nhằm mục đích vượt qua bài kiểm tra Turing, nhưng nó đặt nền móng cho một số chương trình sẽ cố gắng làm như vậy. Chương trình đảm nhận vai một bác sĩ tâm lý đặt hàng loạt câu hỏi cho bệnh nhân về các chủ đề phổ biến như gia đình, bạn bè hay tâm trạng. Theo câu trả lời, anh ta tiếp tục đi theo một hàng đã được thiết lập sẵn.
Cả ELIZA (và thực sự là bất kỳ phần mềm nào khác) sẽ không thể thực hiện được nếu không có công việc của một giáo viên dạy toán tự học tên là George Boole, người ở thế kỷ XNUMX đã bắt đầu nghiên cứu việc chuyển đổi sang các thuật ngữ toán học của quá trình lập luận của con người. Đối với điều này, ông đã phân tích cách nhóm các đối tượng thành các lớp và điều gì xảy ra khi các lớp này được kết hợp với các lớp khác. Sau đó, ông gán các biểu tượng cho từng mối quan hệ đó.
Từ chính thức hóa đến phản hồi
Nếu các đối tượng của một tập hợp được thay đổi bởi các khẳng định và chúng ta thiết lập ba quan hệ có thể có giữa chúng (AND, OR và NOT) chúng ta đã có cách phân loại chúng thành một trong hai nhóm (Đúng hoặc Sai).
Tuy nhiên, các tác phẩm của Boole không phù hợp với mọi loại tuyên bố. Một cách là cần thiết để mô tả các khái niệm chung. Đó là, chúng có thể đúng hoặc sai tùy thuộc vào hoàn cảnh.
Như vậy là hiểu rồi. Công việc Boolean cho phép bạn làm việc với xác nhận
Diego là người Argentina và viết bằng Linux Adictos
Nhưng bạn không thể làm bất cứ điều gì với:
X là... và viết bằng Z.
Để làm được điều này, chúng ta phải đợi đến những năm 70, khi một giáo sư người Đức tên là Frege đã đưa ra khái niệm vị ngữ. Một vị ngữ là một tuyên bố có thể được mô tả là đúng hoặc sai tùy thuộc vào hoàn cảnh.
Diego, Một loại cá nhỏ y Linux Addicts là những thực thể không đúng cũng không sai, nhưng tùy thuộc vào cách chúng được kết hợp trong một vị ngữ mà chúng sẽ biến nó thành như vậy.
Freje đã thêm hai biểu thức với các ký hiệu tương ứng của chúng:
Cho mọi thứ (Cho biết rằng tất cả các giá trị của một biến đáp ứng một điều kiện)
Có một… như vậy mà (Ngụ ý rằng có ít nhất một phần tử sẽ thỏa mãn một điều kiện.
lý thuyết phản hồi
Đóng góp vĩ đại tiếp theo cho việc tạo ra Trí tuệ nhân tạo không phải là toán học, nó đến từ Sinh học. Norbert Wiener, người sáng lập Điều khiển học, quan tâm đến những điểm chung giữa Kỹ thuật và Sinh học. Chính sự quan tâm đó đã khiến ông phân tích cách động vật máu nóng giữ nhiệt độ không đổi mặc dù nhiệt độ xung quanh thay đổi. Wiener mặc định rằng trong trường hợp này và các trường hợp khác, các cơ chế phản hồi đang hoạt động. Nói cách khác, khi nhận được thông tin, một phản ứng được tạo ra để thích ứng với nó.
Đi xa hơn, ông khẳng định rằng các hành vi thông minh không gì khác hơn là kết quả của các cơ chế phản hồi. Nói cách khác, chúng ta có thể kết luận rằng Trí thông minh (tự nhiên hoặc nhân tạo) là thu thập thông tin, xử lý thông tin, hành động dựa trên kết quả và lặp lại quy trình.