DE THI TRI TUt NHAN T.:\0 Cho K49CA- CB . ThO'igian: 120 phiit Call 1. a. Hay phat bi~u bai toan tim duang di ng~n nh~t trong khong gian tr(;lng thai. Xac dinh ham danh gia tr(;lngthai feu) va neu y tuemg cua thu~t toan A*? b. Cho khong gian tr(;lngthai duQ'cmo ta b&id6 thi dinh huang sau. .Trong do, S Iatr(;lngthai ban d~u,F Iatr(;lngthai dich, s6 ghi c(;lnh cung Ia dQdai cua cung, s6 ghi trong dinh Ia danh gia th~p khoang cach tu dinh do t6i dich. Hay xay d\ffig cay tim kiSm theo thu~t toan A*, chi ra thu t\1'cac dinh da phit triSn. Hay chi ra duang di ng~n nh~t tu S dSn F va dQdai cua duang di do. A c .D G- ., l Call 2. Cho cO'so'tri thuc (CSTT) g6m cae diu tuy~n sau: lDvlBvC A vlE BvE , trong do A, B, C, D, E la cac ky hi~u m~nh d~. B~ng phuong phap ph~mchUng va su d\lng lu~t phan giai, hay chUng minh r~ng cong thtl'c sau: D=>C 1ah~ qua logic cua CSTT tren. Cau 3. a. Hay dua vao cac vi tir c~n thi(h, bi~u dien cau sau day thanh cong thuc trong logic vi ttl' : « Co mQt bai hat ma mQi sinh vien d~u bi~t » b. . Chu~n hoa cong thuc nh~n dugc a cau a. d~ dua v~ cac cau tuy~n. Cau 4. a. Cho cac thong tin sau : . MQisinh vien co b6 chai co vua cling chai co vua. . B6 An chaico vua. . T~t ca cac b~n cua Ba d~u 1asinh vien. . An va Lan la b~n cua Ba. . B~n cua Ba cling la b~n cua An. . T~t ca cac b~n cua An d~u chai co vua Hay xay d\mg CSTT g6m cac lu~t if - then va cac s\!,ki~n tir cac thong tin da chotren. b. Su d\lng phuong phap suy di@nlui d~tim ra cac cau tra loi cho cau hoi : « Ai chai co vua ? » i ! . DE THI TRI TUt NHAN T.: Cho K49CA- CB . ThO'igian: 12 0 phiit Call 1. a. Hay phat bi~u bai toan tim duang di ng~n nh~t trong khong. tim kiSm theo thu~t toan A*, chi ra thu t 1& apos;cac dinh da phit triSn. Hay chi ra duang di ng~n nh~t tu S dSn F va dQdai cua duang di do. A c .D G- ., l Call 2. Cho cO'so'tri thuc. lu~t phan giai, hay chUng minh r~ng cong thtl'c sau: D=>C 1ah~ qua logic cua CSTT tren. Cau 3. a. Hay dua vao cac vi tir c~n thi( h, bi~u dien cau sau day thanh cong thuc trong logic vi ttl'