Bài giảng Trí tuệ nhân tạo

để đưa trạng thái a tới trạng thái b ghi cung Áp dụng thuật tốn tìm kiếm tối ưu A* để tìm đường ngắn từ trạng thái A đến trạng thái I A 10 B 11 C 12 19 13 D E Câu 2: 10 Cho sở tri thức: F H R1: P^Q => R^S R2: U => P G R3: H => Q R5: H R6: U I Áp dụng thủ tục chứng minh bác bỏ luật phân giải logic mệnh đề để chứng minh: S Câu 3: Cho sở tri thức: Brother(X,Y)^Married(Y,Z) => Sister_in_law(X,Z) Brother(tom,peter) Brother(harold,john) Married(peter,mary) Married(john,sue) Áp dụng thuật toán suy diễn lùi chứng minh: Sister_in_law(tom,mary) * Hết * ưu ý: Không viết, vẽ, sửa đề thi, nộp lại đề sau thi THI ẾT TH C HỌC PHẦN Bộ môn: hoa học máy tính Học phần: Trí tuệ tuệ nhân tạo Đề thi số Thời gian 60 phút Ký duyệt đề Câu 1: Áp dụng thuật tốn tìm kiếm có đối thủ Minimax để tìm nước cho quân A A C -3 F I Max D -5 E G K Câu 2: Cho sở tri thức: B H R -3 R1: Father(X,Y)^Father(Y,X) => Grandfather(X,Z) R2: Child(X,Y) => Father(Y,X) R3: Child(dan,peter) R4: Child(tom,dan) Áp dụng thủ tục chứng minh bác bỏ luật phân giải logic vị từ cấp I để chứng minh: Grandfather(peter,tom) Câu 3: Cho sở tri thức: Tập luật: a => c d^c => e b => d a^b => f a^h => i e^f => k Tập kiện: FB={a,b} Áp dụng thuật toán suy diễn tiến vào sở tri thức * Hết * ưu ý: Không viết, vẽ, sửa đề thi, nộp lại đề sau thi THI ẾT TH C HỌC PHẦN Bộ mơn: hoa học máy tính Học phần: Trí tuệ tuệ nhân tạo Đề thi số Thời gian 60 phút duyệt đề Câu 1: Áp dụng thuật tốn tìm kiếm có đối thủ Minimax để tìm nước cho quân A A -3 C F Max D I E G Câu 2: Cho sở tri thức: R1: P^Q^R => K R2: R => U B R -3 H R3: G => P R4: Q R5: G R6: U Áp dụng thuật toán chứng minh bác bỏ chứng minh K hệ logic CSTT Câu 3: Cho sở tri thức: R1: Father(X,Y)^Father(Y,X) -> Grandfather(X,Z) R2: Son(X,Y) -> Father(Y,X) R3: Son(dan,peter) R4: Son(john,dan) Áp dụng thủ tục suy diễn lùi để chứng minh: Grandfather(peter,john) * Hết * ưu ý: Không viết, vẽ, sửa đề thi, nộp lại đề sau thi K THI ẾT TH C HỌC PHẦN Bộ mơn: hoa học máy tính Học phần: Trí tuệ tuệ nhân tạo Đề thi số Thời gian 60 phút duyệt đề Câu 1: Cho đồ thị không gian trạng thái với hàm đánh giá trạng thái h(u) ghi đỉnh, giá phải trả k(a,b) để đưa trạng thái a tới trạng thái b ghi cung Áp dụng thuật tốn tìm kiếm tối ưu A* để tìm đường ngắn từ trạng thái A đến trạng thái I A 10 11 12 19 13 B E Câu 2: Cho sở tri thức: C D R1: P^Q -> R^S R2: U -> P R3: H -> Q 10 4 R5: H F H R6: U Áp dụng thuật toán chứng minh bác bỏ chứng minh S làGhệ logic CSTT Câu 3: Cho sở tri thức: Cat(X)^Mother(X,Y)^Beauty(Y) => Good(X) 10 Cat(mimi) 11 Cat(lili) 12 Cat(kiki) 13 Mother(mimi,kiki) 14 Mother(kiki,titi) 15 Beauty(titi) 16 Beauty(kiki) I Áp dụng thuật toán suy diễn tiến vào sở tri thức * Hết * ưu ý: Không viết, vẽ, sửa đề thi, nộp lại đề sau thi ...THI ẾT TH C HỌC PHẦN Bộ môn: hoa học máy tính Học phần: Trí tuệ tuệ nhân tạo Đề thi số Thời gian 60 phút Ký duyệt đề Câu 1: Áp dụng thuật tốn tìm kiếm có đối thủ... sửa đề thi, nộp lại đề sau thi THI ẾT TH C HỌC PHẦN Bộ mơn: hoa học máy tính Học phần: Trí tuệ tuệ nhân tạo Đề thi số Thời gian 60 phút duyệt đề Câu 1: Áp dụng thuật tốn tìm kiếm có đối thủ Minimax... sửa đề thi, nộp lại đề sau thi K THI ẾT TH C HỌC PHẦN Bộ mơn: hoa học máy tính Học phần: Trí tuệ tuệ nhân tạo Đề thi số Thời gian 60 phút duyệt đề Câu 1: Cho đồ thị không gian trạng thái với hàm