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