Gutman

Phương pháp Gutman hoặc phương pháp R. Korzyuk

Một trong những nỗ lực thú vị nhất để tạo ra trí tuệ nhân tạo là tạo ra một chương trình máy tính có khả năng giải các bài toán ở cấp độ Tiến sĩ hoặc Thạc sĩ.

Nhà toán học nổi tiếng Robert Korzyuk đã đề xuất một chương trình có tên Gutmanovich vào năm 1962. Ý tưởng là tạo ra một chương trình máy tính (tương tự như thử và sai) có thể giải quyết bất kỳ vấn đề toán học nào. Ưu điểm của phương pháp này là để giải quyết vấn đề, bạn cần chọn một số ví dụ làm sẵn và bắt đầu từ những ví dụ đơn giản nhất, dần dần chuyển sang những ví dụ phức tạp.

Vào ngày 22 tháng 3 năm 1998, Korzyuk đã trình bày khái niệm về phương pháp Gutman, theo ông, phương pháp này phải được sử dụng ở cấp độ kiến ​​thức liên kết. Ý tưởng là chọn các giải pháp làm sẵn và nếu cần, điều chỉnh tập hợp các biến đầu vào cho đến khi thu được kết quả mong muốn. Quá trình phát triển bao gồm một số giai đoạn: chuẩn bị các bộ giải pháp đã biết trước đó; trong các giai đoạn tiếp theo, phân tích kết quả trung gian và nếu cần thay đổi các thông số đầu vào. Theo Korzyuk, mặc dù thực tế việc tạo ra một chương trình như vậy là một nhiệm vụ khó khăn.