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

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á 45E6 - Ngành Công nghệ Thông
tin
Học kỳ 4, Năm học 2005 - 2006
<Thời gian làm bài 90 phút>
Đề số 1
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 cực tiểu hoá giá thành 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 = {s,o, 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ật toán tìm kiếm cực tiểu hoá giá thành
Câu II (II. a: 2 điểm; II. b: 1 điểm)
a. Sử dụng thuật toán Wong, chứng minh rằng từ
p → q, q → r, ¬r ∨ ¬s, ¬s → u, ¬u suy ra ¬p
b. Lập bảng giá trị chân lý của biểu thức
¬m ∧ n → n ∨ p
Câu III (2 điểm)
Viết chương trình bằng ngôn ngữ Turbo Prolog, tính tổng
S = 1
2
+ 2
2
+ + N
2

với N là số 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