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

Tham khảo tài liệu đề thi kết thúc học phần trí tuệ nhân tạo - đề số 3, công nghệ thông tin, kỹ thuật lập trình phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả
Nội dung trích xuất từ tài liệu:
ĐỀ THI KẾT THÚC HỌC PHẦN TRÍ TUỆ NHÂN TẠO - ĐỀ SỐ 3BỘ GIÁO DỤC & ĐÀO TẠO CỘNG HÒA XÃ HỘI CHỦ NGHĨA VIỆT NAM Độc lập - Tự do - Hạnh phúcTRƯỜNG ĐẠI HỌC VINH ---------------------- ---------------------- ĐỀ THI KẾT THÚC HỌC PHẦN TRÍ TUỆ NHÂN TẠO Cho sinh viên khoá 45B - Ngành Công nghệ Thông tin Học kỳ 2, Năm học 2005 - 2006, Thi lần 1 Câu I (I.a: 1 điểm; I.b: 2 điểm, I.c: 2 điểm)Xét bài toán “Người đưa hàng“ với trường hợp cụ thể số thành phố n = 5, thành phố xuất phátcủa người đưa hàng là thành phố A như sau:a. Hãy xác định các yếu tố: Dạng mô tả trạng thái; Tập các toán tử và tác động của các toán tửlên các trạng thái; Trạng thái đầu và tập các trạng thái đích để bi ểu di ễn bài toán trên bằngphương pháp không gian trạng thái.b. Vẽ không gian trạng thái của bài toán cho đến khi xuất hi ện các tr ạng thái đ ạt d ấu hi ệuđích.c. Cho biết các đỉnh thuộc tập ĐONG và đường đi nhận được n ếu duyệt không gian tr ạng tháinhận được theo phương pháp tìm kiếm cực tiểu hóa 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ừ m ∨n, ¬n ∨p, ¬p ∨q, ¬q ∨r, ¬r suy ra mb. Không lập bảng giá trị chân lý của biểu thức, chỉ sử dụng các phép biến đổi chứng minhbiểu thức logic mệnh đề sau đây là có hiệu lực: (a → b) ∧a → bCâu III (2 điểm) Viết chương trình giải và biện luận phương trình AX 2 + BX + C = 0 bằngngôn ngữ Turbo Prolog. Người ra đề Ký duyệt đềTrần Thị Kim Oanh Hoàng Hữu Việt