Phân tích peas và tình trạng tập mở, đóng môn Vật lý đại cương 2 | Học viện Công Nghệ Bưu Chính Viễn Thông

BÀI TẬP
Bài 1: Hãy biểu diễn các yếu tố PEAS (hàm đo hiệu năng, môi trường, bộ kích
hoạt, cảm biến) cho các tác tử thực hiện các hoạt động sau: a/ Tác tử chơi bóng đá
b/ Tác tử biểu diễn bản đồ di chuyển của vận động viên thể dục dụng cụ trên sàn
c/ Tác tử đánh bóng bàn bật tường
d/ Tác tử chọn thầu tại phiên bán đấu giá một mặt hàng
Bài 2: Hãy đề xuất bảng các cảm nhận và hành động tương ứng cho robot vận chuyển đồ vật.
Bài 3: Xây dựng không gian trạng thái cho trò chơi 8 số với trạng thái đầu và đích như hình vẽ: 1 5 7 1 2 2 4 3 ➔ 3 4 5 6 8 6 7 8
Bài 4: Cho cây với đỉnh gốc A và tập ĐÍCH = {O, P}
Hãy mô tả tình trạng tập MỞ và ĐÓNG khi duyệt cây:
a/ theo thuật toán Tìm kiếm rộng
b/ theo thuật toán Tìm kiếm sâu
c/ theo thuật toán Tìm kiếm sâu dần với độ sâu ban đầu D=3
Bài 5: Cho cây với đỉnh gốc A và tập ĐÍCH = {M, N}
Hãy mô tả tình trạng tập MỞ và ĐÓNG khi duyệt cây:
a/ theo thuật toán Tìm kiếm cực tiểu giá thành
b/ theo thuật toán Tìm kiếm cực tiểu A*
Bài 6: Cho hình vẽ dưới, cần di chuyển từ ô S đến ô G, không được phép di chuyển qua các ô đen. S G
a/ Hãy biểu diễn không gian trạng thái cho bài toán
b/ Hãy đề xuất một heuristic và tìm kiếm đường đi theo heuristic đó.
Bài 7: Cho ngôn ngữ L được xây dựng từ tập thành tố AR và các ký hiệu {┐, ,
, →, } theo cú pháp sau: (i) nếu pAR thì pL; (i ) nếu F,G  L thì cũng có
┐F, FG, FG, F→G, FG  L.
Hãy cho biết ngữ nghĩa của hàm sau: h: L → N
Bài 8: Cho tập các biểu thức:
 = {((ab)c)→(cd), (amd)→f, m→(bc), a→(c m), a, (mf)→g}
a/ Hãy chuyển đổi các biểu thức trong  về dạng chuẩn HỘI
b/ Hãy chuyển đổi các biểu thức về các câu dạng Horn (dạng kéo theo)
Bài 9: Cho các biểu thức F ,1 F2, . ., F ,n G, hãy chứng minh:
{F1, F ,2 . ., Fn}═ G khi và chỉ khi {F1, F ,2 . ., Fn-1}═ Fn→G
Bài 10: Hãy cho biết các quan hệ suy ra dưới đây, quan hệ nào đúng, quan hệ nào không đúng:
Bài 11: Cho tập biểu thức  như ở Bài 8
a/ Hãy chứng minh g bằng phương pháp hợp giải
b/ Hãy chứng minh g bằng phương pháp suy diễn tiến
c/ Hãy chứng minh g bằng phương pháp suy diễn lùi
Bài 12: Cho tập biểu thức:
 = {a, b, ab → c, bc → d, he → g, ad → h, ah → g, be → h}
a/ Hãy chuyển đổi các biểu thức trong  về dạng chuẩn HỘI và chứng minh g
bằng phương pháp hợp giải
b/ Hãy chứng minh g bằng phương pháp suy diễn tiến
c/ Hãy chứng minh g bằng phương pháp suy diễn lùi
Bài 13: Cho P(x, a, z, b), P(b, z, z, y), có thể sử dụng phép gán trị nào để hợp giải.
Bài 14: Hãy thực hiện hợp giải tìm mâu thuẫn 1. tại(C,1) 2. tại(B,3) 3. tại(A,4) 4. tại(D,2)
5. tại(A,x)  tại (A,y)
6. tại(A,x)  tại(O,x)  tại(A,y)
7. tại(A,x)  tại(O,x)  tại(O,y)
8. tại(A,x)  tại(O,x)  trên(A,O)
9. tại(A,x)  tại(O1,x)  tại(O2,x)  trên(O1,O2)
10. tại(B,2)  trên(C,B)  trên(A,C)  trên(D,A)