Tham khảo tài liệu đề thi kết thúc học phần trí tuệ nhân tạo - đề số 5 , 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 1 C©u I (: 2 ®iÓm; : 2 ®iÓm, : 1 ®iÓm) a. Cho c©y minh ho¹ biÓu diÔn kh«ng gian tr¹ng th¸i sau víi ®Ønh gèc lµ a vµ tËp §ICH = {s, 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 theo chiÒu réng. b. H·y vÏ kh«ng gian tr¹ng th¸i cña bµi to¸n "Trß ch¬i 8" sè víi tr¹ng th¸i ®Çu vµ tr¹ng th¸i ®Ých ®îc cho nh sau: Tr¹ng th¸i ®Çu , Tr¹ng th¸i ®Ých c. Cho biÕt sè ®Ønh thuéc tËp §ONG vµ ®êng ®i nhËn ®îc nÕu duyÖt kh«ng gian tr¹ng th¸i ë c©u c b»ng thuËt to¸n t×m kiÕm theo chiÒu réng. 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 ®Ò: a b c d b. Sö dông gi¶i thuËt hîp gi¶i Robinson1, chøng minh r»ng tõ m n, n p, (p q), q r, m suy ra r C©u III (2 ®iÓm) ViÕt ch¬ng tr×nh Turbo Prolog kiÓm tra tÝnh nguyªn tè cña sè nguyªn d¬ng N nhËp vµo tõ bµn phÝm, nÕu nhËp N 1 th× th«ng b¸o kh«ng xÐt. Ký duyÖt ®Ò Ngêi ra ®Ò Hoµng H÷u ViÖt TrÇn ThÞ Kim Oanh
