ĐỀ THI KẾT THÚC HỌC PHẦN TRÍ TUỆ NHÂN TẠO - ĐỀ SỐ 5

Tham khảo tài liệu đề thi kết thúc học phần trí tuệ nhân tạo - đề số 5, công nghệ thông tin, kỹ thuật lập trình phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả
Nội dung trích xuất từ tài liệu:
ĐỀ THI KẾT THÚC HỌC PHẦN TRÍ TUỆ NHÂN TẠO - ĐỀ SỐ 5BỘ GIÁO DỤC & ĐÀO TẠO CỘNG HÒA XÃ HỘI CHỦ NGHĨA VIỆT NAM Độc lập - Tự do - Hạnh phúcTRƯỜNG ĐẠI HỌC VINH ---------- ------------ ---------- ------------ ĐỀ THI KẾT THÚC HỌC PHẦN TRÍ TUỆ NHÂN TẠO Cho sinh viên khoá 43E - Ngành Công nghệ Thông tin Học kỳ 1, Năm học 2005 - 2006, Thi lần 1 Câu I (I.a: 2 điểm; I.b: 2 điểm, I.c: 1 điểm) a. Cho cây minh hoạ biểu diễn không gian trạng thái sau với đ ỉnh gốc là a và t ập ĐICH= {s, t} Mô tả quá trình duyệt cây (tình trạng danh sách ĐONG, MO ở m ỗi bước) theo thu ậttoán tìm kiếm theo chiều rộng. b. Hãy vẽ không gian trạng thái của bài toánTrò chơi 8 số với trạng thái đầu và trạng thái đích được cho như sau: 123 2 3 Trạng thái đầu 456 , Trạng thái đích 14 6 78 75 8 c. Cho biết số đỉnh thuộc tập ĐONG và đường đi nhận được n ếu duyệt không giantrạng thái ở câu c bằng thuật toán tìm kiếm theo chiều rộng.Câu II (II. a: 1 điểm; II. b: 2 điểm) a. Lập bảng giá trị chân lý của biểu thức logic mệnh đề: ¬a ∨b → c ∧d b. Sử dụng giải thuật hợp giải Robinson1, chứng minh rằng từ m → n, ¬n ∨p, ¬(p ∧q), q ∨r, m suy ra rCâu III (2 điểm) Viết chương trình Turbo Prolog kiểm tra tính nguyên tố của số nguyêndương N nhập vào từ bàn phím, nếu nhập N ≤ 1 thì thông báo không xét. Ký duyệt đề Người ra đề Hoàng Hữu Việt Trần Thị KimOanh