ĐỀ THI KẾT THÚC HỌC PHẦN TRÍ TUỆ NHÂN TẠO - ĐỀ SỐ 7

Tham khảo tài liệu đề thi kết thúc học phần trí tuệ nhân tạo - đề số 7 , 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¸ 43B - 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 (: 1 ®iÓm; : 2 ®iÓm, : 1 ®iÓm; : 1 ®iÓm) XÐt bµi to¸n “Rãt n­íc“ sau: Cho 2 chiÕc can lo¹i 4 lÝt vµ lo¹i 3 lÝt ®ang ®ùng ®Çy n­íc. Kh«ng sö dông thªm dông cô c©n, ®o, lµm thÕ nµo ®Ó nhËn ®­îc ®óng 2 lÝt n­íc trong can 4 lÝt. a. Ph©n tÝch c¸c ®Æc tr­ng cña bµi to¸n ®Ó x¸c ®Þnh xem bµi to¸n cã ph¶i lµ bµi to¸n ph¸t biÓu chØnh hay kh«ng? b. 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. c. VÏ kh«ng gian tr¹ng th¸i cña bµi to¸n cho ®Õn khi xuÊt hiÖn tr¹ng th¸i ®¹t dÊu hiÖu ®Ých d. Cho kÕt qu¶ nhËn ®­îc khi duyÖt kh«ng gian tr¹ng th¸i trªn theo TKR vµ TKS. C©u II (II. a: 1 ®iÓm; II. b: 2 ®iÓm) a. b. LËp b¶ng gi¸ trÞ ch©n lý cña biÓu thøc a b c d b. Cho c¸c biªñ thøc logic mÖnh ®Ò sau: 1. (m n) p 3. q r 5. s n 2. p q 4. m s 6. m 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 r ®óng. C©u III (2 ®iÓm) ViÕt ch­¬ng tr×nh b»ng ng«n ng÷ Turbo Prolog, tÝnh tæng sau: S = 2*4*6 + 4*6*8 + . +(2N)*(2N+2)*(2N+4), víi N nguyªn d­¬ng nhËp vµo tõ bµn phÝm, nÕu N 0 th«ng b¸o ra mµn h×nh lµ kh«ng xÐt. Ng­êi ra ®Ò Ký duyÖt ®Ò TrÇn ThÞ Kim Oanh Hoµng H÷u ViÖt