bộ giáo dục & đào tạo trường đại học vinh cộng hòa xã hội chủ nghĩa việt nam  Độ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 Đề 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 = 12 + 22 + + N2 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