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

COMMIT(

( agent, REQUEST, DO(time, action)

( B,

CAN(self, action) AND

NOT [time, CMT(self, anyaction)]

), ;;; mental condition

self,

DO(time, action)

- Luật này có thể diễn giải như sau

Nếu ta nhận được môt thông điệp từ tác tử agent yêu cầu thực hiện một hành động action tại một thời điểm time, ta tin rằng

+ Tác tử agent hiện tại là bạn

+ Ta có thể thực hiện hành động

+ Tai thời điểm time, ta không theo đuổi bất kỳ hành động nào, nên ta theo đuổi hành động action tại thời điểm này.

3.3 AGENT0 và PLACA

- AGENT0 hỗ trợ cho nhiều tác tử công tử cộng tác và giao tiếp, và cung cấp cơ sở để gỡ rối.

- Tuy nhiên nó chỉ là một bản mẫu, được thiết kế để minh họa các nguyên lý hơn là một ngôn ngữ phục vụ sản xuất (tạo ra các sản phẩm).

- Một bản cải tiến được Thomas phát triển cho luận văn tiến sĩ năm 1993 của cô.

- Ngôn ngữ PLACA (Planning Communicating Agents – Các tác tử lập kế hoạch truyền thông điệp) nhằm giải quyết hạn chế quan trọng của AGENT0: không thể cho các tác tử lập kế hoạch và gửi các yêu cầu hành động thông qua các mục tiêu ở mức cao.

- Các tác tử của PLACA được lập trình gần giống với trong AGENT0 đối với các luật thay đổi về tinh thần.

- Một ví dụ về luật thay đổi tinh thần

(((self ?agent REQUEST (?t (xeroxed ?x)))

((ADOPT (INTEND (5pm (xeroxed ?x)))))

((?agent self INFORM

(*now* (INTEND (5pm (xeroxed ?x)))))))

- Diễn giải: Nếu ai đó hỏi bạn xerox cái gì đó, và bạn có thể, và bạn không tin họ là VIP, or giả sử bạn đạng xếp sách thì

+ chấp nhận ý định xerox nó vào lúc 5pm, và

+ thông báo cho ho ý định chấp nhận mới của bạn

IV. Concurrent METATEM

- Concurrent METATEM là một ngôn ngữ đa tác tử trong đó mỗi tác tử được lập trình bằng cách đưa ra một đặc tả logic thời gian (temporal logic) cho hành vi nó phải thể hiện

- Các đặc tả này được thực thi trực tiếp để tạo nên hành vi của tác tử

- Logic thời gian là logic cổ điển được gia tằng thêm các toán tử mốt để mô tả sự thật của các mệnh đề thay đổi theo thời gian như thế nào?

- Ví dụ…

àimportant(ConcurrentMetateM): nghĩa là mệnh đề “ConcurrentMetateM sẽ quan trọng tại thời điểm nào đó trong tương lai” là đúng.

(Øfriends(us)) U apologize(you): nghĩa là mệnh đề “chúng ta không là bạn cho tới khi bạn xin lỗi” là đúng.

¡apologize(you): nghĩa là mệnh đề “ngày mai (trong trạng thái tiếp theo), bạn xin lỗi” là đúng.

- MetateM là một chương trình khung để thực hiện trực tiếp các đặc tả logic thời gian.

- Gốc của khái niệm MetateM là từ định lý phân hoạch của Gabbay: Bất kỳ biểu thức logic thời gian nào có thể được viết lại ở dạng có logic tương đương là past  future (quá khứ  tương lai)

- Dạng past  future này có thể được dùng như các luật thực thi.

- Chương trình MetateM là một tập các luật như vậy

- Việc thực thi tiếp tục bởi một tiến trình liên tục khớp các luật so với quá khứ, và “đốt” (sử dụng) các luật có các tiền đề thỏa mãn.

- Các hệ quả được tạo trong tương lại trở thành các cam kết phải được thỏa mãn về sau.

- Thực thi do đó là một quá trình lặp đi lặp lại viêc sinh ra một mô hình cho công thức tạo bởi các luật của chương trình.

- Những thành phần trong tương lai của các luật được tạo ra biểu diễn các rằng buộc đối với mô hình này.

- Một ví dụ của chương trình MetateM: là bộ điểu khiển tài nguyên.

- Luật thứ hai đảm bảo răng chỉ có một “đáp ứng” thực hiện tại một thời điểm bất kỳ.

- Có các thuật toán để thực hiện các chương trình MetateM xuất hiện để đáp ứng khả năng thực thi hợp lý.

- Cũng có một dạng phân hoạch chuẩn.

- ConcurrentMetateM cung cấp một chương trình khung hoạt động theo đó các cộng đồng tiến trình MetateM có thể hoạt động và giao tiếp.

- ConcurrentMetateM dựa trên một mô hình mới về đồng quy trong các logic có thể thực hiện được: khái niệm thực thi một đặc tả logic để hình thành hành vi cho một tác tử.

- Một hệ ConcurrentMetateM bao gồm một số tác tử (đối tượng), mỗi đối tượng có 3 thuộc tính

+ tên

+ một chương trình MetateM.

- Giao diện của một đối tượng bao gồm hai tập:

+ các vị từ môi trường – những vị từ này tương ứng với các thông điệp đối tượng sẽ chấp nhận

+ các vị từ thành phần – tương ứng với các thông điệp đối tượng có thể gửi.

- Ví dụ, giao diện của một đối tượng stack

stack(pop, push)[popped, stackfull]

{pop, push} = các vị từ môi trường

{popped, stackfull} = các vị từ thành phần

- Nếu một tác tử nhận được một thông điệp do một vị từ môi trường dẫn đầu, nó chấp nhận thông điệp này

- Nếu một đối tượng thỏa mãn một cam kết tương ứng với một vị từ thành phần, nó phát đi cam kết này.

- Để minh họa chi tiết ngôn ngữ Concurrent MetateM, ta xem một số chương trình ví dụ sau…

- Nàng bạch tuyết có một số chiếc kẹo (tài nguyên), cô sẽ đưa cho các chú lùn (khách hàng cần tài nguyên)

- Tại một thời điểm cô sẽ cho một chú lùn

- Cuối cùng cô sẽ luôn một chú lùn có yêu cầu

- Sau đây là Snow White (nàng bạch tuyết) viết trong Concurrent MetateM:

- Chú lùn eager ban đầu đòi một chiếc kẹo, và sau đó bất cứ khi nào chú vừa nhận được một chiếc liền đòi tiếp.