Chủ nhiệm Bộ môn Phan Nguyên Hải ĐỀ CƯƠng chi tiết bài giảNG

greedy(give)[ask]:

start □ask(greedy)

- Và cuối cùng, ‘shy’ sẽ chỉ hỏi một chiếc kẹo khi không có ai vừa hỏi

- Tóm tắt

+ một ngông ngữ thực nghiệm khác

+ lý thuyết cơ sở “đẹp”

+ nhưng thiết các đặc trưng mong muốn – không thể dùng trong phát biểu hiện thời để xây dựng hệ thống đầy đủ

+ Hiện tại chỉ là chương trình mẫu, một phiên bản hoàn chỉnh vẫn đang được phát triển.

V. Các tác tử lập kế hoạch

- Từ đầu những năm 1970, việc lập kế hoạch trong AI đã rất quan tâm đến thiết kế các tác tử nhân tạo

- Lập kế hoạch về cơ bản là việc lập trình tự động: thiết kế một chương trình hành động để đạt được một mục tiêu mong muốn nào đó

- Trong cộng đồng AI sử dụng ký hiệu, từ lâu người ta đã cho rằng một dạng hệ lập kế hoạch trong AI sẽ là thành phần trung tâm của một tác tử nhân tạo

- Xây dựng trên quy mô lớn, trong công trình ban đầu cảu Fikes và Nilsson, nhiều thuật toán lập kế hoạch đã được đề xuất, và lý thuyết lập kế hoạch đã được phát triển đầy đủ.

- Nhưng đến giữa những năm 1980, Chapman có được một số kết quả lý thuyết chỉ ra rằng các nhà hoạch định AI cuối cùng sẽ thấy rằng không thể dùng trong các hệ thống có ràng buộc về thời gian

+ Đọc trước: Chương 3, Tài liệu 1

+ Bài tập về nhà: Bài 1 - 10, Chương 3, Tài Liệu 1.