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

Tham khảo tài liệu đề thi kết thúc học phần trí tuệ nhân tạo - đề số 7, 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Ố 7BỘ 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á 43B - Ngành Công nghệ Thông tin Học kỳ 1, 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: 1 điểm; I.d: 1 điểm)Xét bài toán “Rót nước“ sau: Cho 2 chiếc can loại 4 lít và loại 3 lít đang đựng đầy n ước. Không s ử d ụng thêm d ụngcụ cân, đo, làm thế nào để nhận được đúng 2 lít nước trong can 4 lít.a. Phân tích các đặc trưng của bài toán để xác định xem bài toán có ph ải là bài toán phát bi ểuchỉnh hay không?b. 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ằng phương pháp không gian trạng thái.c. Vẽ không gian trạng thái của bài toán cho đến khi xuất hiện trạng thái đạt dấu hiệu đíchd. Cho kết quả nhận được khi duyệt không gian trạng thái trên theo TKR và TKS.Câu II (II. a: 1 điểm; II. b: 2 điểm)a. b. Lập bảng giá trị chân lý của biểu thức ¬a ∧b → c ∨db. Cho các biêủ thức logic mệnh đề sau: 1. (m ∧n) → p 3. q → r 5. s → n 2. p → q 4. m → s 6. m 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ảiRobinson1 để chứng minh rằng r đúng.Câu III (2 điểm) Viết chương trình bằng ngôn ngữ Turbo Prolog, tính tổng sau: S = 2*4*6 + 4*6*8 + ... +(2N)*(2N+2)*(2N+4), với N nguyên dương nhập vào từ bàn phím, nếu N ≤ 0 thông báo ra màn hình là không xét. Người ra đề Ký duyệt đềTrần Thị Kim Oanh Hoàng Hữu Việt