7/24/2014
Tuần 11 (Bài 1) Hai V Pham
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
HUST 1
Các kiểu bài toán 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
4 Hai V Pham hai@spice.ci.ritsumei.ac.jp
http://idm-lab.org/wiki/460/index.php/Main/Schedule
Planning as Satisfiability Planning as Satisfiability Encoding Planning Problems Partial-Order Planning
5
Hai V Pham hai@spice.ci.ritsumei.ac.jp 6
2
7/24/2014
Hai V Pham 7 hai@spice.ci.ritsumei.ac.jp
Hai V Pham hai@spice.ci.ritsumei.ac.jp 8
