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á 45B - Ngành Công ngh Thông tinệ
H c kỳ 2, Năm h c 2005 - 2006, Thi l n 1ọ ọ ầ
<Th i gian làm bài 90 phút>ờ
Câu I (I.a: 1 đi m; I.b: 2 đi m, I.c: 2 đi mể ể ể )
Xét bài toán “Ng i đ a hàngườ ư “ v i tr ng h p c th s thành ph ớ ườ ợ ụ ể ố ố n = 5, thành ph xu t phátố ấ
c a ng i đ a hàng là thành ph A nh sau:ủ ườ ư ố ư
a. Hãy 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.ươ ạ
b. V không gian tr ng thái c a bài toán cho đ n khi xu t hi n các tr ng thái đ t d u hi uẽ ạ ủ ế ấ ệ ạ ạ ấ ệ
đích.
c. Cho bi t các đ nh thu c t p ĐONG và đ ng đi nh n đ c n u duy t không gian tr ng tháiế ỉ ộ ậ ườ ậ ượ ế ệ ạ
nh n đ c theo ph ng pháp tìm ki m c c ti u hóa giá thành.ậ ượ ươ ế ự ể
Câu II (II. a: 2 đi m; II. b: 1 đi mể ể )
a. S d ng thu t toán Wong, ch ng minh r ng t ử ụ ậ ứ ằ ừ
m ∨ n, ¬n ∨ p, ¬p ∨ q, ¬q ∨ r, ¬r suy ra m
b. Không l p b ng giá tr chân lý c a bi u th c, ch s d ng các phép bi n đ i ch ng minhậ ả ị ủ ể ứ ỉ ử ụ ế ổ ứ
bi u th c logic m nh đ sau đây là có hi u l c:ể ứ ệ ề ệ ự
(a → b) ∧ a → b
Câu III (2 đi mể) Vi t ch ng trình gi i và bi n lu n ph ng trình AXế ươ ả ệ ậ ươ 2 + BX + C = 0 b ngằ
ngôn ng Turbo Prolog.ữ
Ng i ra đườ ề Ký duy t đệ ề
Tr n Th Kim Oanhầ ị Hoàng H u Vi tữ ệ