ĐỀ THI TRÍ TUỆ NHÂN TẠO - ĐỀ 1 pot

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
!