En giao hàng của chúng tôi Trước đây, chúng tôi đã kể về việc Simon, một nhà lý thuyết Khoa học Chính trị cùng với một nhà vật lý tên là Newell và một nhà tính toán trở thành lập trình viên tên là Shaw đã bắt đầu xây dựng chương trình trí tuệ nhân tạo đầu tiên được gọi là Nhà lý luận Logic. Điều này đòi hỏi phát minh của ngôn ngữ lập trình cụ thể đầu tiên cho Trí tuệ nhân tạo
Chúng tôi đã để lại câu chuyện này với bộ ba cùng với các cộng tác viên và gia đình mô phỏng hành vi của các phần khác nhau của chương trình bằng cách sử dụng người và thẻ viết tay.
Sau vài lần mô phỏng như vậy, chương trình đã được triển khai trên máy tính thật. Thử nghiệm đã thành công như phần mềm quản lý để chứng minh ba mươi tám định lý của một trong các chương của cuốn sách Principia Matemática của Russell và Whitehead. Ngay cả trong một trong những trường hợp (và không có hướng dẫn cụ thể để làm như vậy), ông đã tìm ra cách kiểm tra nó "thanh lịch" hơn nhiều so với các tác giả của cuốn sách.
Ngôn ngữ lập trình đầu tiên cho Trí tuệ nhân tạo
Việc Simon và nhóm của anh ấy mất nhiều thời gian để viết chương trình là vì họ cần một ngôn ngữ lập trình cụ thể có đủ sức mạnh và tính linh hoạt cho mục đích của họ. Ngôn ngữ đó được gọi là IPL (Ngôn ngữ xử lý thông tin) và nó lần đầu tiên giới thiệu kỹ thuật xử lý danh sách để lập trình.
IPL khác với các ngôn ngữ cấp cao thời bấy giờ ở chỗ nó không yêu cầu các ký hiệu phải được xác định trước và nó có khả năng liên kết và sửa đổi các cấu trúc ký hiệu.
Cái gọi là kỹ thuật xử lý danh sách bao gồm lưu trữ từng mẩu thông tin cùng với hướng dẫn cách tìm các mẩu thông tin liên quan đến chúng. Bằng cách thay đổi các chỉ dẫn, các liên kết mới có thể được xây dựng.
"Người giải quyết vấn đề chung"
Để tạo phần mềm tiếp theo của họ, Simon và Newell quyết định thử một cách tiếp cận khác. Vào thời điểm đó, một cuộc điều tra tâm lý đang được lưu hành mời những người tham gia giải thích cách họ giải quyết các vấn đề logic. Bộ đôi phát hiện ra rằng những biểu mẫu này hoàn toàn khác với những biểu mẫu được sử dụng bởi phần mềm của họ nên họ quyết định thực hiện phiên bản điều tra của riêng mình và tạo phần mềm dựa trên các phương pháp được mô tả bởi những người tham gia. Chương trình (được gọi là GPS cho Trình giải quyết vấn đề chung) được mã hóa dựa trên một tổ chức thông tin và kinh nghiệm độc lập với các nhiệm vụ mà chúng được yêu cầu thực hiện.
Phương pháp mới này được đặt tên là "Phân tích phương tiện để kết thúc" và bao gồm so sánh tình hình hiện tại với lý tưởng và thực hiện các hành động làm giảm sự khác biệt giữa chúng và sau đó đánh giá lại cho đến khi sự khác biệt giảm xuống bằng không. Phương pháp này cho phép chương trình phản ứng với những thay đổi trong các biến của vấn đề. Lập trình viên chỉ ra vấn đề và cái gọi là bảng khác biệt, trong đó các hướng hành động có thể được chỉ định và chúng ở trong hoàn cảnh nào.
GPS đã có thể chia vấn đề thành các vấn đề con và áp dụng phương pháp quay lui, điều đó có nghĩa là nếu một con đường không hoạt động, anh ta sẽ quay lại và đi theo con đường khác.
Trong 11 năm hoạt động, GPS đã giải các câu đố, thực hiện tích hợp biểu tượng và phá mã bí mật.
Trong khi Simon và Newell đang giải trí với điều này, một sinh viên tên là Robert K. Lindsay đã phát triển một chương trình được gọi là SAD SAM. mềm đã có thể trích xuất thông tin từ các câu thuộc loại "Juan là con trai của Pepa" và "Juan là anh trai của Alberto" và xây dựng một cây phả hệ củagiáo dục rằng Alberto cũng là con trai của Pepa (Tôi không biết anh ấy sẽ xoay xở thế nào với các gia đình kế của thế giới ngày nay.
Tất nhiên, gã khổng lồ của ngành công nghiệp máy tính lúc bấy giờ, IBM, không thể đứng ngoài nghiên cứu về trí tuệ nhân tạo, một lĩnh vực mà ngay giữa Chiến tranh Lạnh đã bộc lộ tiềm năng to lớn cho các ứng dụng quân sự và trong bài viết tiếp theo, chúng tôi sẽ nói về những đóng góp đầu tiên của ông trong lĩnh vực này.