Tham khảo tài liệu đề thi kết thúc học phần trí tuệ nhân tạo - đề số 4 , 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¸ 43E - Ngµnh C«ng nghÖ Th«ng tin Häc kú 1, N¨m häc 2005 - 2006, Thi lÇn 2 C©u I (: 2 ®iÓm; : 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: 1. (a b) c 3. d f 5. h b 2. c d 4. a 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 Prolog tÝnh tæng sau: S = 12 + 22 + 32 +. . . + N2 Víi N 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