Xem mẫu
7/24/2014
Tuần 11 (Bài 1) Hai V Pham
HUST 1
Lập kế hoạch cho máy tính nhằm xác định kế hoạch tối ưu hướng tới mục tiêu tốt nhất
Các kiểu bài toán lập kế hoạch
Rằng buộc thời gian (Time constrains)
Rằng buộc thời gian và tài nguyên
(Time constrains & Resources )
Rằng buộc thời gian và tài nguyên với điều kiện Conditions
2
Hệ chuyển trạng thái (State Transition System -STS) được lựa chọn cho bài toán lập kế hoạch.
STS
3
1
7/24/2014
Hai V Pham
hai@spice.ci.ritsumei.ac.jp 4
5
http://idm-lab.org/wiki/460/index.php/Main/Schedule
Planning as Satisfiability
Encoding Planning Problems Partial-Order Planning
Hai V Pham
hai@spice.ci.ritsumei.ac.jp 6
2
7/24/2014
Hai V Pham
hai@spice.ci.ritsumei.ac.jp 7
Hai V Pham
hai@spice.ci.ritsumei.ac.jp 8
3
...
- tailieumienphi.vn
nguon tai.lieu . vn