BỘ GIÁO DỤC & ĐÀO TẠO CỘNG HÒA XÃ HỘI CHỦ NGHĨA VIỆT NAM TRƯỜNG ĐẠI HỌC VINH Độc lập - Tự do - Hạnh phúc   ĐỀ 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 <Thời gian làm bài 90 phút> 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) theo thuật toán tìm kiếm sâu dần với k = 3 Câ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ợp giả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 = 1 2 + 2 2 + 3 2 +. . . + N 2 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ị Kim Oanh . TẠO CỘNG HÒA XÃ HỘI CHỦ NGHĨA VIỆT NAM TRƯỜNG ĐẠI HỌC VINH Độc lập - Tự do - Hạnh phúc   ĐỀ THI KẾT THÚC HỌC PHẦN TRÍ TUỆ NHÂN TẠO Cho sinh viên khoá 43 E - Ngành Công nghệ Thông tin Học. 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. PHẦN TRÍ TUỆ NHÂN TẠO Cho sinh viên khoá 43 E - Ngành Công nghệ Thông tin Học kỳ 1, Năm học 2005 - 2006, Thi lần 2 <Thời gian làm bài 90 phút> Câu I (I.a: 2 điểm; I.b: 3 điểm) a. Hãy trình