Tài liệu tham khảo đề thi kết thúc học phần trí tuệ nhân tạo dành Cho sinh viên Ngành Công nghệ Thông tin | Bé gi¸o dôc vµ ®µo t¹o Trêng §¹i häc Vinh Céng hoµ x· héi chñ nghÜa ViÖt Nam §é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 kho¸ 43A ngµnh S ph¹m CNTT Häc kú 1 n¨m häc 2005-2006, thi lÇn 2 PhÇn HÖ chuyªn gia - Thêi gian lµm bµi 60 phót C©u 1. (2 ®iÓm) Cho hÖ c¬ së tri thøc víi tËp sù kiÖn {A, B, C, D, E, F, G, H, I, J} vµ tËp luËt {R1, R2, R3, R4, R5, R6, R7, R8} R1: B + C A R2: B + D + E A R3: D B R4: E + F C R5: I D R6: G + H E R7: I + J E R8: F + I G Cho gi¶ thiÕt lµ {I, J} vµ kÕt luËn lµ {A}, h·y vÏ c¸c ®å thÞ AND/OR, RPG vµ FPG. C©u 2. (3 ®iÓm) HÖ chuyªn gia lµ g×? Tr×nh bµy cÊu tróc cña nã. PhÇn TrÝ tuÖ nh©n t¹o - Thêi gian lµm bµi 60 phót C©u 3. (3 ®iÓm) a. H·y tr×nh bµy thuËt to¸n t×m kiÕm s©u dÇn trªn c©y biÓu diÔn kh«ng gian tr¹ng th¸i. b. Cho c©y sau víi ®Ønh gèc lµ a vµ tËp §ICH = {v} 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 s©u dÇn víi k = 3 C©u 4. ( ®iÓm; : 1 ®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 Wong, chøng minh r»ng tõ m n, n p, (p q), q r, m suy ra r
