9.6 Các đặc tả nhiệm vụ bằng vị từ.
- Một trường hợp đặc biệt gán utilities cho lịch sử là gán 0 (false) hoặc 1 (true) to một lượt chạy
- Nếu một lượt chạy được gán 1, thì tác tử thành công trong lượt chạy đó, và trái lại
- Gọi trường hợp này là các đặc tả nhiệm vụ bằng vị từ.
- Ký hiệu đặc tả này là Y
Y : R ® {0, 1}
9.7 Các môi trường nhiệm vụ
- Một môi trường nhiệm vụ là một cặp Env, Yñ trong đó Env là một môi trường,
Y : R ® {0, 1} là một vị từ đối với các lượt chạy
Giả sử TE là tập tất cả các môi trường nhiệm vụ
- Một môi trườn nhiệm vụ đặc tả:
+ Các thuộc tính của hệ thống mà tác tử sống
+ Các tiêu chuẩn tác tử sẽ được đánh giá là thành công hay không
- Ký hiệu RY(Ag, Env) là taaph hợn các lượt chạy của tác tử Ag trong môi trường Env thỏa mãn :
- Ta nói tác tử Ag thành công trong môi trường nhiệm vụ áEnv, Yñ nếu
9.8 Xác suất thành công
- Giả sử P(r | Ag, Env) là xác suất lượt chạy r xảy ra nếu tác tử Ag đặc trong môi trượng Env.
- Thì xác suất P(Y | Ag, Env) mà ở đó Y được thỏa mãn bởi Ag trong Env sẽ là:
9.9 Các nhiệm vụ thành tích và dùy trì
- Có hai loại nhiện vụ phổ biến nhất là nhiệm vụ thành tích và nhiệm vụ duy trì:
+ Các nhiệm vụ thành tích là các nhiệm vụ có dạng “đạt được trạng thái f”
+ Các nhiệm vụ duy trì có dạng “duy trì trạng thái y”
- Nhiệm vụ thành tích được đặt tả bởi tập G các trạng thái “tốt” hay “mục tiêu”: G Í E. Tác tử thành công nếu nó đảm bảo mang về ít nhất một trong những trạng thái này (ta không quan tâm là trạng thái nào – tất cả chúng được xem là tốt như nhau)
- Mục tiêu duy trì được đặc tả bởi tập B các trạng thái “xấu”: B Í E. Tác tử thành công trong môi trường nào đó nếu nó tránh được tất cả các trạng thái trong B. Nếu nó chưa từng thực thi các hành động dẫn tới một trạng thái trong B xảy ra.
X. Tổng hợp tác tử
- Tổng hợp tác tử là việc lập chương trình tự động: mục tiêu là có một chương trình mang một môi trường nhiệm vụ, và từ môi trường nhiệm vụ tự động sinh ra một tác tử thành công trong môi trường này.
( như null trong java)
- Thuật toán tổng hợp là:
+ tốt nếu bất cứ khi nào nó trả về một tác tử, thì tác tử này thành công trong môi trường nhiệm vụ được truyền như dữ liệu vào
+ đầy đủ nếu đảm bảo trả về được một tác tử bất cứ khi nào có một tác tử thành công trong môi trường nhiệm vụ được cho trước.
- Thuật toán syn tốt nếu thỏa mã điều kiện sau:
Và đầy đủ nếu:
Chia sẻ với bạn bè của bạn: |