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

Tham khảo tài liệu đề thi kết thúc học phần trí tuệ nhân tạo - đề số 4, 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Ố 4BỘ 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 2 Câu I (I.a: 2 điểm; I.b: 3 điểm) a. Hãy trình bày thuật toán tìm kiếm sâu dần trên cây bi ểu di ễn không gian trạng thái. b. Cho cây sau với đỉnh gốc là a và tập ĐICH = {u, v} Mô tả quá trình duyệt cây (tình trạng danh sách ĐONG, MO ở m ỗi b ước) theothuật toán tìm kiếm sâu dần với k = 3Câu II (II. a: 1 điểm; II. b: 2 điểm) a. Chứng minh rằng biểu thức logic mệnh đề sau là có hiệu lực: (p → q) ∧ (s → r)→ (p ∧ s → q ∧ r) b. Cho các biêủ thức logic mệnh đề sau: 1. (a ∧ b) → c 3. d → f 5. h → b 2. c → d 4. a → h 6. a Xem các biểu thức này là giả thiết ban đầu và đúng. Hãy dùng phương pháp hợpgiải Robinson1 để chứng minh rằng f đúng.Câu III (2 điểm) Viết chương trình Prolog tính tổng sau: S = 12 + 22 + 32 +. . . + N2 Với N nguyên dương nhập vào từ bàn phím Ký duyệt đề Người ra đề Hoàng Hữu Việt Trần Thị KimOanh