Bé §Ò Tæng Hîp - M«n TrÝ TuÖ Nh©n T¹o – K2CN4 Đề 1 Câu 1.(3đ) Trình bày sự khác nhau giữa thuật toán và thuật giải Heuristics. Hãy nêu 1 ví dụ về thuật giải Heuristics Câu 2.(7đ) a. Trình bày thuật giải Robinson. b. Áp dụng thuật giải Robinson, chứng minh bài toán sau: ¬p ∨ q , (s ∨ ¬ q) ∧ (r ∨ ¬s) , p ∧ u ⇒ r, u c. Hãy xây dựng cây định danh và tìm luật theo phương pháp vector đặc trưng của Quinlan để xác định một loại quả độc hay không độc theo bảng số liệu sau. Tên Vị Màu Vỏ Độc A Ngọt Đỏ Nhẵn không B Cay Đỏ Nhẵn không C Chua Vàng Có gai Không D Cay Vàng có gai Độc E Ngọt Tím Có gai Không F Chua Vàng Nhẵn Không G Ngọt Tím Nhẵn Không H Cay Tím có gai Độc Đề 2 (có giải) trang 13) Câu 1(3 đ) Trình bày khái niệm hàm heuristics.: Xây dựng hàm đánh giá h cho bài toán ở bảng 1 để giải bài toán TACI sau: 3 2 6 1 2 3 1 5 4 8 4 7 8 7 6 5 T i T G Bảng 1 Câu 2(7 đ) a. Trình bày thuật giải A*. b. Giải bài toán tìm đường đi ngắn nhất từ A đến B trong đồ thị không gian trạng thái ở Hình 1 theo thuật giải A*. (Giá trị cạnh các đỉnh là hàm đánh giá h(T), cạnh các cung là độ dài cung). amittkduong@gmail.com - k2cn4.n-stars.org – 4rum K2CN4 1 0 E K C H D I E K G H B A I F G N 22 16 24 25 30 20 12 14 13 17 9 20 11 9 17 10 16 5 7 6 18 12 15 10 8 13 12 12 8 10 Hình 1 Bé §Ò Tæng Hîp - M«n TrÝ TuÖ Nh©n T¹o – K2CN4 Đề 3 Câu 1 (3đ) a. Trình bày thuật giải Vương Hạo. b. Áp dụng thuật toán Vương hạo, chứng minh bài toán sau: p ∨ ¬q , (¬s ∨ ¬q) ∧ (r ∨s) , ¬p ∧ u ⇒ r ∨ u Câu 2 : (7đ) a. Trình bày thuật giải A KT . b. Dùng thuật toán A KT để giải bài toán TACI sau: Trạng thái ban đầu Trạng thái kết thúc Đề 4 Câu 1: (4đ) Có 6 đội bóng thi đấu vòng tròn (lượt đi). Biết rằng : - Đội A đã đấu với dội B và đội D. - Đội C đã đấu với dội D và đội F - Đội D đã đấu với dội A và đội F. - Đội B đã đấu với dội E và đội F. A B C D E F A AB AC AD AE AF B BC BD BE BF C CD CE CF D DE DF E EF F Mỗi đội chỉ có được thi đấu 1 trận trong 1 tuần. Chỉ có 2 đội thamgia 1 trận đấu. Hãy xếp lịch thi đấu sao cho số tuần diễn ra các trận đấu còn lại là ít nhất ? (Dùng thuật toán tô màu) Câu 2: (6đ) Cho bảng quan sát : STT Quang cảnh Nhiệt độ Gió Picnic 1 Nắng Cao Nhẹ Không 2 Mưa Thấp Mạnh Không 3 Râm mát TB Nhẹ Được 4 Nắng TB Mạnh Không 5 Mưa Cao Mạnh Không 6 Râm mát Thấp Mạnh Được amittkduong@gmail.com - k2cn4.n-stars.org – 4rum K2CN4 L E Y O U Q D N L E Q U Y D O N 2 Bé §Ị Tỉng Hỵp - M«n TrÝ T Nh©n T¹o – K2CN4 7 Mưa TB Nhẹ Khơng 8 Nắng TB Nhẹ Được 9 Mưa Thấp Nhẹ Khơng Xác định điều kiện như thế nào để tổ chức Được hay Khơng buổi picnic ?(Dùng thuật tốn Quinlan) Đề 5: BÀI 1:(3 ĐIỂM) Giả sử có 9 cuộc minting a,b,c,d,e,f,g,h,i được tổ chức. Mỗi cuộc mitting được tổ chức trong một buổi. Các cuộc mitting sau không được diễn ra đồng thời: ae,bc,cd,ed,abd,ahi,bhi,dfi,dhi,fgh. Hãy sử dụng thuật toán tô màu tối ưu để bố trí các cuộc mitting vào các buổi sao cho số buổi diễn ra là ít nhất. BÀI 2: (3 ĐIỂM) Cho đồ thò có ma trận chi phí như sau Hãy sử dụng thuật giải GTS2 để tìm hành trình tốt nhất với p = 4 (v1=1, v2=2, v3=4, v4=6. BÀI 3:(4 ĐIỂM) Sử dụng thuật toán QuinLan để giải quyết bài toán sau: Để xác đònh người châu Á hay người châu Âu khi xem xét một nhóm người căn cứ trên hình dáng, chiều cao và giới tính theo bảng sau: amittkduong@gmail.com - k2cn4.n-stars.org – 4rum K2CN4 1 2 3 4 5 6 1 2 3 4 5 ∞ 20 42 30 6 25 12 ∞ 16 7 33 19 23 5 ∞ 28 14 9 12 9 24 ∞ 31 15 14 7 21 15 ∞ 45 6 36 15 16 5 20 5 ∞ 3 Bé §Ị Tỉng Hỵp - M«n TrÝ T Nh©n T¹o – K2CN4 Đặc điểm Người Dáng Chiều cao Giới tính Thuộc châu 1 To Trung bình Nam Châu Á 2 Nhỏ Thấp Nam Châu Á 3 Nhỏ Trung bình Nam Châu Á 4 To Cao Nam Châu Âu 5 Nhỏ Trung bình Nữ Châu Âu 6 Nhỏ Cao Nam Châu Âu 7 Nhỏ Cao Nữ Châu Âu 8 To Trung bình Nữ Châu Âu amittkduong@gmail.com - k2cn4.n-stars.org – 4rum K2CN4 4 Bé §Ị Tỉng Hỵp - M«n TrÝ T Nh©n T¹o – K2CN4 Đề 6 BÀI 1.:(3 ĐIỂM) Sử dụng Thuật giải A KT – Tìm kiếm với tri thức bổ sung (Algorthm for Knowled geable Tree Search) để giải bài toán Taci theo các trạng thái: 2 8 3 1 6 4 7 5 Trạng thái đầu Trạng thái đích BÀI 2.:(3 ĐIỂM) Hãy sử dụng thuật giải A* để tìm đường đi ngắn nhất từ thành phố A đến thành phố B biết khoảng cách ước lượng từ các thành phố đến thành phố B được cho như sau: Đỉnh khoảng cách ước lượng Z 374 A 366 T 329 C 160 R 193 P 98 B 0 F 178 S 253 O 380 BÀI 3.:(4 ĐIỂM) Sử dụng phương pháp độ đo hỗn loạn để giải bài toán sau: Theo bảng dữ liệu xác đònh hiệu quả của việc sử dụng kem cháy nắng amittkduong@gmail.com - k2cn4.n-stars.org – 4rum K2CN4 1 2 4 8 5 7 6 3 5 O Z A T C P B F R S 75 118 70 151 99 120 100 146 80 140 110 60 97 Bé §Ị Tỉng Hỵp - M«n TrÝ T Nh©n T¹o – K2CN4 Tên Màu tóc Chiều cao Cân nặng Dùng kem Kết quả 1. Sarah Vàng Trung bình Nhẹ Không Cháy nắng 2. Dana Vàng Cao Trung bình Có Không cháy nắng 3. Alex Nâu Lùn Trung bình Có Không cháy nắng 4. Annie Vàng Lùn Trung bình Không Cháy nắng 5. Emily Đỏ Trung bình Nặng Không Cháy nắng 6. Pete Nâu Cao Nặng Không Không cháy nắng 7. John Nâu Trung bình Nặng Không Không cháy nắng 8. Katie Vàng Lùn Nhẹ Có Không cháy nắng amittkduong@gmail.com - k2cn4.n-stars.org – 4rum K2CN4 6 Bé §Ị Tỉng Hỵp - M«n TrÝ T Nh©n T¹o – K2CN4 Đề 7 BÀI 1:(3 ĐIỂM) Sử dụng thuật toán A* cho bài toán tháp Hà Nội: Cho 3 cọc A,B,C. ở cọc A ban đầu có n đóa sắp xếp theo thứ tự có kích thước lớn dần từ trên xuống. Hãy dòch chuyển n đóa đó sang cọc C sao cho: -Mỗi lần chỉ được di chuyển chỉ 1 đóa. -Trong mỗi cọc không cho phép đóa có kích thước lớn trên đóa có kích thước nhỏ hơn. BÀI 2: (3 ĐIỂM) Sử dụng Thuật toán Vương Hạo giải bài toán sau: Ví dụ: Chứng minh rằng: Minh là sinh viên của ĐHKHTN. Biết: - Minh là sinh viên ngành công nghệ thông tin. - Công nghệ thông tin là một ngành của khoa tin học. - Khoa tin học là một bộ phân của ĐHKHTN. BÀI 3:(4 ĐIỂM) Sử dụng thuật toán QuinLan để giải quyết bài toán sau: Quyết đònh mua hàng hay không mua theo bảng sau: STT Kích cở Màu sắc Hình dáng Quyết đònh 1 Trung bình Đỏ Cầu Mua 2 Lớn Vàng Hộp Mua 3 Trung bình Xanh Trụ Không mua 4 Nhỏ Xanh Cầu Mua 5 Trung bình Xanh Nón Không mua 6 Nhỏ Xanh Nón Không mua 7 Trung bình Đỏ Trụ Mua amittkduong@gmail.com - k2cn4.n-stars.org – 4rum K2CN4 7 Bé §Ò Tæng Hîp - M«n TrÝ TuÖ Nh©n T¹o – K2CN4 amittkduong@gmail.com - k2cn4.n-stars.org – 4rum K2CN4 8 Bé §Ị Tỉng Hỵp - M«n TrÝ T Nh©n T¹o – K2CN4 Đề 8 BÀI 1.:(3 ĐIỂM) Sử dụng Thuật giải A KT – Tìm kiếm với tri thức bổ sung (Algorthm for Knowled geable Tree Search) để giải bài toán Taci theo các trạng thái: 1 2 3 4 5 6 7 8 Trạng thái đầu Trạng thái đích BÀI 2.:(3 ĐIỂM) Hãy sử dụng thuật toán Robinson chứng minh bài toán sau: (i) {p->q,q->r,r->s,p} Hỏi: p^s? (ii) {a^b->c,b^c->d,a^b} Hỏi d? BÀI 3.:(4 ĐIỂM) Sử dụng phương pháp độ đo hỗn loạn để giải bài toán sau: Theo bảng dữ liệu xác đònh hiệu quả của việc sử dụng kem cháy nắng amittkduong@gmail.com - k2cn4.n-stars.org – 4rum K2CN4 1 2 3 5 7 6 4 8 9 Bé §Ị Tỉng Hỵp - M«n TrÝ T Nh©n T¹o – K2CN4 Tên Màu tóc Chiều cao Cân nặng Dùng kem Kết quả 1. Sarah Vàng Trung bình Nhẹ Không Cháy nắng 2. Dana Vàng Cao Trung bình Có Không cháy nắng 3. Alex Nâu Lùn Trung bình Có Không cháy nắng 4. Annie Vàng Lùn Trung bình Không Cháy nắng 5. Emily Đỏ Trung bình Nặng Không Cháy nắng 6. Pete Nâu Cao Nặng Không Không cháy nắng 7. John Nâu Trung bình Nặng Không Không cháy nắng 8. Katie Vàng Lùn Nhẹ Có Không cháy nắng ĐỀ 9 BÀI 1:(3 ĐIỂM) (1) Phân công, lòch công tác, lòch thi đấu: - Có một cuộc hội thảo khoa học với 9 chủ đề khác nhau, mỗi chủ đề diễn ra trong một buổi. - Các chủ đề sau không được đồng thời: AE, BC, CD, ED, ABD, AHI, BHI, DFI, DHI, FGH. - Xây dựng lòch sao cho số buổi diễn ra là ít nhất. Gợi ý: số màu = số buổi. BÀI 2: (3 ĐIỂM) Sử dụng Thuật toán Vương Hạo giải bài toán sau: Ví dụ: Chứng minh rằng: Minh là sinh viên của ĐHKHTN. Biết: - Minh là sinh viên ngành công nghệ thông tin. - Công nghệ thông tin là một ngành của khoa tin học. - Khoa tin học là một bộ phân của ĐHKHTN. BÀI 3:(4 ĐIỂM) Sử dụng thuật toán QuinLan để giải quyết bài toán sau: Để xác đònh người châu Á hay người châu Âu khi xem xét một nhóm người căn cứ trên hình dáng, chiều cao và giới tính theo bảng sau: amittkduong@gmail.com - k2cn4.n-stars.org – 4rum K2CN4 10 [...]... mệnh đề mới bằng cách tuyển một cặp mệnh đề trong danh sách mệnh đề Nếu mệnh đề mới có các biến mệnh đề đối ngẫu thì loại bỏ các biến đó b6 Thay thế hai mệnh đề vừa tuyển trong danh sách mệnh đề bằng mệnh đề mới b7 Nếu khơng xây dựng được thêm một mệnh đề mới nào và trong danh sách mệnh đề khơng có hai mệnh đề nào đối ngẫu nhau thì vấn đề khơng được chứng minh Nếu danh sách mệnh đề khơng còn mệnh đề. .. thuật giải Thuật giải được đề cập đến nhiều trong khoa học trí tuệ nhân tạo là thuật giải heuristics, đó là các quy tắc thơ, phương pháp, chiến lược hay mẹo rút ra từ kinh nghiệm để giải quyết một vấn đề Giải bài tốn bằng thuật giải heuristics dễ dàng đưa ra lời giải nhưng có thể khơng phải là lời giải tối ưu b Chia N vật có khối lượng khác nhau thành M nhóm có khối lượng đều nhau bằng ngun lý thứ tự... và kết luận của vấn đề dưới dạng sau: GT1, GT2, ,GTn ⇒ KL1, KL2, ,KLm Trong đó các GTi và KLj được xây dựng từ các biến mệnh đề và các phép logic: ∧,∨, ¬ b2: Nếu GTi có phép ∧ thì thay bằng dấu"," Nếu KL j có phép ∨ thì thay bằng dấu "," b3: Biến đổi dạng chuẩn ở b1 về dạng sau: GT1, GT2, ,GTn ,¬ KL1, ¬KL2, , ¬KLm b4: Nếu trong danh sách mệnh đề ở b3 có mệnh đề đối ngẫu thì mệnh đề được chứng minh Ngược... b5: Một dòng được chứng minh nếu tồn tại chung một mệnh đề ở cả hai phía b6a: Nếu một dòng khơng còn phép nối ∧ hoặc phép hoặc ∨ ở cả hai vế và ở cả hai vế khơng có chung một biến mệnh đề, thì dòng đó khơng được chứng minh b6b: một vấn đề được chứng minh nếu tất cả các dòng dẫn xuất từ dạng chuẩn ban đầu đều được chứng minh b Chứng minh tập mệnh đề: (0,5 điểm) p ∨ ¬q , (¬s ∨q) ∧ (r ∨s) , ¬p ∧ u ⇒ r ∨... rỗng:Φ), vấn đề được chứng minh b Áp dụng thuật giải, chứng minh tập mệnh đề sau: (0,5 điểm) ¬p ∨ q , (s ∨ ¬ q) ∧ (r ∨ ¬s) , p ∧ u ⇒ r, u ¬p ∨ q , s ∨ ¬ q, r ∨ ¬s , p , u ⇒ r, u ¬p ∨ q , s ∨ ¬ q, r ∨ ¬s , p , u, ¬r,¬ u (¬p ∨ q , s ∨ ¬ q), r ∨ ¬s , p , u, ¬r,¬ u (¬p ∨ s, r ∨ ¬s) , p , u, ¬r,¬ u (¬p ∨ r , p) , u, ¬r,¬ u (r ∨ ¬r), u, ¬ u u, ¬ u = Φ Danh sách mệnh đề trở thành danh sách rỗng, vấn đề được chứmg... số) có 2 cách xây dựng hàm đánh gía h(Ti) 3 1 7 2 5 8 Ti 6 4 1 8 7 2 6 TG 3 4 5 Hàm h1: với mỗi trạng thái Ti, h(Ti) là số qn khơng nằm đúng vị trí của nó trong trạng thái đích h1(Ti) = 5 Hàm h2: tính theo tổng các dịch chuyển của các qn nằm sai vị trí về vị trí của nó trong trạng thái đích h2(Ti)= 1 + 0 + 2 + 0 + 5 + 3 + 0 + 2 = 13 b Trình bày thuật giải A* (1 điểm) 1 Đặt OPEN chỉ chứa T0 ; Đặt g(T0)=0;... amittkduong@gmail.com - k2cn4.n-stars.org – 4rum K2CN4 11 Bé §Ị Tỉng Hỵp - M«n TrÝ T Nh©n T¹o – K2CN4 BỘ ĐỀ BỔ SUNG ĐỀ 1(có giải trang 9) Câu 1 a Trình bày sự khác nhau giữa thuật tốn và thuật giải Heuristics b Áp dụng ngun lý thứ tự của kỹ thuật heuristics trình bày tư tưởng của bài tốn chia N vật có khối lượng khác nhau thành M nhóm đều nhau Giải bài tốn chia 8 vật thành 3 nhóm, các vật có trọng lượng như sau: n1 =... k2cn4.n-stars.org – 4rum K2CN4 18 Bé §Ị Tỉng Hỵp - M«n TrÝ T Nh©n T¹o – K2CN4 b1: Phát biểu lại giả thiết và kết luận của vấn đề theo dạng chuẩn sau: GT1, GT2, ,GTn ⇒ KL1, KL2, ,KLm Trong đó các GTi và KLj được xây dựng từ các biến mệnh đề và các phép logic: ∧,∨, ¬ b2: Chuyển vế các GTi và KLj là các mệnh đề có dạng phủ định b3: Nếu GTi có phép ∧ thì thay bằng dấu"," Nếu KLj có dấu ∨ thì thay bằng dấu "," b4: Nếu... kế tiếp hợp lệ của Ti> then Begin ; stop:=true; End else Begin Tk:=; If then Begin Ti :=Tk ; Better:=true; End; End; End; {while} End;{else} End; A d Tìm đường đi từ điểm A đến điểm B theo thuật giải leo đồi dốc đứng (0,5) Bước 1: Đặt trạng thái hiện hành là trạng thái 15 C E 10 A, phát triển các trạng thái hợp lệ của... Ngược lại đặt trạng thái hiện hành (Ti) là trạng thái khởi đầu 2 Lặp lại cho đến khi đạt đến trạng thái kết thúc hoặc cho đến khi khơng còn một trạng thái tiếp theo hợp lệ (Tk) của trạng thái hiện hành: 2.1 Đặt Tk là trạng thái tiếp theo hợp lệ của trạng thái hiện hành Ti 2.2 Đánh giá trạng thái Tk mới: 2.2.1 Nếu Tk là trạng thái kết thúc thì trả về trạng thái này và thốt 2.2.2 Nếu Tk khơng phải là . mệnh đề. Nếu mệnh đề mới có các biến mệnh đề đối ngẫu thì loại bỏ các biến đó. b6. Thay thế hai mệnh đề vừa tuyển trong danh sách mệnh đề bằng mệnh đề mới. b7 đề mới nào và trong danh sách mệnh đề không có hai mệnh đề nào đối ngẫu nhau thì vấn đề không được chứng minh. Nếu danh sách mệnh đề không còn mệnh đề