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.. 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 ĐON
Trang 1BỘ 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:
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
Trang 2Ký duyệt đề Người ra đề