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

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