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

- Hệ thống thăm dò sao hỏa của Steel, sử dụng kiến trúc gộp, có được khả năng thực thi hợp tác gần tối ưu trong lĩnh vực mô phỏng việc thu gộp đá trên sao hỏa. Mục tiêu là để khám phá các hành tinh từ xa, mà cụ thể là thu thập mẫu đá quý. Vị trí các mẫu không được biết trước, nhưng người ta biết rằng nó có xu hướng tạo thành nhóm.

- Các luật khám phá sao hỏa

+ Đối với các tác tử (không hợp tác) cá nhân, hành vi ở mức thấp nhất, (và hành vi với mức độ ưu tiên cao nhất) là tránh các vật cản: Nếu phát hiện một vật cản thì thay đổi hướng

+ Bất kỳ mẫu nào được các tác tử mang đều được bỏ lại trạm vũ trụ: Nếu mang các mẫu và đang ở trạm vụ trũ thì để lại mẫu

+ Các tác tử mang các mẫu sẽ trở lại trạm vũ trụ: Nếu mang mẫu và không ở trạm vũ trụ thì đi lên dốc.

+ Các tác tử sẽ thu thập các mẫu chúng thấy: Nếu phát hiện một mẫu thì nhặt mẫu

+ Một tác tử nếu không biết điều gì tốt hơn sẽ thăm dò nhẫu nhiên: Nếu đúng thì di chuyển ngẫu nhiên

2.9 Situated automata (Máy tự động đáp ứng)

- Một cách tiếp cận tinh vi của Rosenschein và Kaelbling

- Trong mô hình situated automata, một tác tử được xác định trong ngôn ngữ (mô tả) tựa luật, và đặc tả này sau đó được biên dịch thành máy kỹ thuật số, thỏa mãn đặc tả.

- Máy kỹ thuật số có thể hoạt động trong giới hạn thời gian có thể chứng tỏ

- Lập luận được thực hiện ngoại tuyến, tại thời điểm biên dịch hơn là trực tuyến lúc chạy.

- Logic được dùng để xác định một tác tử về cơ bản là logic mốt của tri thức

- Kỹ thuật phụ thuộc vào khả năng cho các thế giới trong các thế giới có thể sự diễn giải cụ thể về các trạng thái máy tự động ôtômat

- “[mộ tác tử]…x được cho là mang thông tin mà định đề P trong trạng thái thế giới s, được viết là s╞ K(x,P), nếu tất cả các trạng thái thế giới trong đó x có cùng giá trị như nó có trong s, định đề P là đúng” [Kaelbling and Rosenschein, 1990]

- Một tác tử được đặc tả trên hai thành phần: nhận thức và hành động

- Hai chương trình được dùng để tổng hợp các tác tử

+ RULER được dùng để xác định thành phần nhận thức

+ GAPPS được dùng để xác định thành phần hành động

Trích từ Rosenschein and Kaelbling, “A Situated View of Representation and Control”, 1994

2.10 Những điểm mạnh của tác tử phản ứng

- Đơn giản

- Kinh tế

- Có thể theo dõi tính toán

- Khả năng chịu lỗi

2.11 Những hạn chế của tác tử phản ứng

- Các tác tử không có các mô hình môi trường phải có đủ thông tin từ môi trường cục bộ

- Nếu các quyết định dựa trên môi trường cục bộ, làm thế nào để nó xem xét các thông tin không cục bộ (tức là tác tử có tầm nhìn ngắn hạn)

- Khó tạo ra các tác tử phản ứng để dọc

- Vì hành vi hình thành tử tương tác giữa các thành phần ùng với môi trường, khó để biết làm thế nào để bố trí sắp xếp các tác tử với một số lượng lớn hành vi (tính động của các tương tác trở nên quá phức tạp để hiểu được).

III. Các kiến trúc lai ghép

3.1 Khái quát về các kiến trúc lai ghép

- Nhiều nhà nghiên cứu lập luận rằng không có cách tiếp cận nào cân nhắc hay phản ứng hoàn toàn thích hợp để xây dựng các tác tử

- Họ đề xuất sử dụng các hệ thống lai ghép, nỗ lực kết hợp các cách tiếp cận truyền thống và các lựa chọn khác.

- Một cách tiếp cận rõ ràng là xây dựng một tác tử trong hai hoặc nhiều phân hệ

+ một phân hệ cân nhắc, bao gồm một mô hình thế giới dạng ký hiệu, phát triển các kế hoạch và ra quyết định theo phương pháp do AI ký hiệu đề xuất.

+ một phân hệ phản ứng, có khả năng phản ứng với các sự kiện không cần lập luận phức tạp.

- Thông thường, thành phần phản ứng nhận được một tiền đề nào đó từ phân hệ cân nhắc

- Dạng xây dựng cấu trúc này hình thành ý tương về một kiến trúc phân tầng. Trong đó TOURINGMACHINES và INTERRAP là các ví dụ.

- Trong kiến trúc này, các phân hệ điều khiển của một tác tử được sắp xếp trong một cấu trúc phân tầng, các tầng cao hơn làm việc với thông tin có mức độ trừu tượng tăng.

- Một vấn đề quan trọng trong những kiến trúc như vậy là loại chương trình khung điều khiển nhúng trong các phân hệ của tác tử, để quản lý các tương tác giữa các tầng khác nhau.

- Phân tầng theo chiều ngang: Các tầng trực tiếp được kết nối với đầu vào cảm ứng và đầu ra hành động. Mỗi tầng hoạt động như một tác tử, đưa ra các đề xuất như hành động nào cần thực hiện.