Tham khảo tài liệu đề thi kết thúc học phần trí tuệ nhân tạo - đề số 11 , 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 & hÖ chuyªn gia Cho sinh viªn líp 43A - Ngµnh C«ng nghÖ Th«ng tin Häc kú 1, N¨m häc 2005 - 2006, Thi lÇn 1 PhÇn TrÝ tuÖ nh©n t¹o C©u I (: 1 ®iÓm; : 1 ®iÓm, : 1 ®iÓm) a. H·y x¸c ®Þnh c¸c yÕu tè sau ®Ó biÓu diÔn bµi to¸n “Th¸p Hµ Néi“ b»ng ph¬ng ph¸p kh«ng gian tr¹ng th¸i: - D¹ng m« t¶ tr¹ng th¸i - C¸c to¸n tö vµ sù t¸c ®éng cña c¸c to¸n tö lªn d¹ng m« t¶ tr¹ng th¸i biÓu diÔn b»ng c¸c luËt s¶n xuÊt. - Tr¹ng th¸i ®Çu vµ tr¹ng th¸i ®Ých b. VÏ c©y biÓu diÔn kh«ng gian tr¹ng th¸i cña bµi to¸n cho ®Õn khi nhËn ®îc tr¹ng th¸i ®Ých, (trªn mçi cung cã ghi râ luËt ®· sö dông) c. Cho biÕt sè ®Ønh thuéc tËp §ONG vµ kÕt qu¶ nhËn ®îc khi duyÖt kh«ng gian tr¹ng th¸i trªn b»ng hai ph¬ng ph¸p TKR vµ TKS. C©u II (II. a: 1 ®iÓm; II. b: 1 ®iÓm) a. Sö dông gi¶i thuËt hîp gi¶i Robinson1, chøng minh r»ng tõ p q, q r, r s, s u, u suy ra p b. ViÕt ch¬ng tr×nh Turbo Prolog ®Ó tÝnh tæng sau: S = 1/(1*2*3) - 1/(2*3*4) + . + (-1)N+1/(N*(N+1)*(N+2)), víi N nguyªn d¬ng nhËp vµo tõ bµn phÝm, nÕu N 0 th× th«ng b¸o kh«ng xÐt. Ngêi ra ®Ò Ký duyÖt ®Ò TrÇn ThÞ Kim Oanh Hoµng H÷u ViÖt
