Tham khảo tài liệu đề thi kết thúc học phần trí tuệ nhân tạo - đề số 3 , 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¸ 45B - Ngµnh C«ng nghÖ Th«ng tin Häc kú 2, N¨m häc 2005 - 2006, Thi lÇn 1 C©u I (: 1 ®iÓm; : 2 ®iÓm, : 2 ®iÓm) XÐt bµi to¸n “Ngêi ®a hµng“ víi trêng hîp cô thÓ sè thµnh phè n = 5, thµnh phè xuÊt ph¸t cña ngêi ®a hµng lµ thµnh phè A nh sau: a. H·y 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. b. VÏ kh«ng gian tr¹ng th¸i cña bµi to¸n cho ®Õn khi xuÊt hiÖn c¸c tr¹ng th¸i ®¹t dÊu hiÖu ®Ých. c. Cho biÕt 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 nhËn ®îc theo ph¬ng ph¸p t×m kiÕm cùc tiÓu hãa gi¸ thµnh. C©u II (II. a: 2 ®iÓm; II. b: 1 ®iÓm) a. Sö dông thuËt to¸n Wong, chøng minh r»ng tõ m n, n p, p q, q r, r suy ra m b. Kh«ng lËp b¶ng gi¸ trÞ ch©n lý cña biÓu thøc, chØ sö dông c¸c phÐp biÕn ®æi chøng minh biÓu thøc logic mÖnh ®Ò sau ®©y lµ cã hiÖu lùc: (a b) a b C©u III (2 ®iÓm) ViÕt ch¬ng tr×nh gi¶i vµ biÖn luËn ph¬ng tr×nh AX2 + BX + C = 0 b»ng ng«n ng÷ Turbo Prolog. Ngêi ra ®Ò Ký duyÖt ®Ò TrÇn ThÞ Kim Oanh Hoµng H÷u ViÖt
