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¸ 45E6 - Ngµnh C«ng nghÖ Th«ng tin
Häc kú 4, N¨m häc 2005 - 2006
<Thêi gian lµm bµi 90 phót>
§Ò sè 2
C©u I ( I.a: 3 ®iÓm; I.b: 2 ®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, p}
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. Cho biÕt danh s¸ch c¸c ®Ø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 a b»ng thuËt to¸n t×m kiÕm theo chiÒu s©u.
Cho nhËn xÐt hai ®êng ®i nhËn ®îc ë c©u a vµ c©u b.
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 RobÝnson1, 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 b»ng ng«n ng÷ lËp tr×nh Turbo Prolog tÝnh tæ
hîp chËp K cña N, víi K, N nguyªn d¬ng nhËp vµo tõ bµn phÝm, (K≤N).
Ký duyÖt ®Ò Ngêi ra ®Ò
Hoµng H÷u ViÖt TrÇn ThÞ Kim
Oanh