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

Tham khảo tài liệu đề thi kết thúc học phần trí tuệ nhân tạo - đề số 6 , 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ả | 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¸ 43C - 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 (: 1 ®iÓm; : 3 ®iÓm; : 1 ®iÓm) a. §Ó biÓu diÔn mét bµi to¸n b»ng ph­¬ng ph¸p kh«ng gian tr¹ng th¸i cÇn ph¶i x¸c ®Þnh c¸c yÕu tè nµo? b. Cho c©y sau víi ®Ønh gèc lµ a vµ tËp §ICH = {s} 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. Quy bµi to¸n Th¸p Hµ néi víi n = 3 vÒ c¸c bµi to¸n con vµ biÓu diÔn b»ng ®å thÞ Vµ/HoÆc. Tõ lêi gi¶i cña c¸c bµi to¸n con nhËn ®­îc cho biÕt lêi gi¶i cña bµi to¸n ban ®Çu. C©u II (II. a: 1 ®iÓm; II. b: 2 ®iÓm) a. LËp b¶ng gi¸ trÞ ch©n lý cña biÓu thøc logic mÖnh ®Ò sau: a b b c b. Cho c¸c biÓu thøc logic mÖnh ®Ò sau: 1. (a b) c 4. a h 2. c d 5. h b 3. d (f h) 6. a 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 b»ng ng«n ng÷ Turbo Prolog, tÝnh tæng sau: S = 12 + 22 +. + N2, víi N nhËp vµo tõ bµn phÝm, nÕu N 0 th«ng b¸o kh«ng xÐt. DuyÖt ®Ò Ng­êi ra ®Ò