TR NG I H C BÁCH KHOA HÀ N I VI N CÔNG NGH THÔNG TIN VÀ TRUY N THÔNG - C NG HOÀ XÃ H I CH NGH A VI T NAM c L p – T – H nh phúc C ƠNG MÔN H C TRÍ TU NHÂN T O Mã s mơn h c: IT4040 Ngành t o ánh giá • • : : K s CNTT: Tài n ng i m trình 1: 5% i m trình 2: 25% Ki m tra l p, i m danh Bài t p v nhà / BT l n & Báo cáo tham lu n i m k t thúc h c ph n: 70% Ki m tra vi t cu i k (70%) N i dung tóm t t mơn h c: Mơn h c có m c ích cung c p m t s ki n th c c n b n v l nh v c trí tu nhân t o, n i dung g m: k thu t tìm ki m, ph ơng pháp bi u di n tri th c Gi i thi u m t s h tri th c Thông tin h c ph n: IT4040 Trí tu nhân t o L ch h c; Th 3, 14:30-15:50 Mã l p: 73350 Trang TRÍ TU NHÂN T O PH N I T NG QUAN V TRÍ TU NHÂN T O VÀ CÁC H TH NG THÔNG MINH CH NG I GI I THI U CHUNG (4 LT + BT) I.1 Trí tu nhân t o gì? I.2 M t s n n t ng c b n c a trí tu nhân t o I.3 L ch s hình thành c a trí tu nhân t o I.4 Các k thu t TTNT I.5 Các h th ng thông minh I.5 Các v n CH m NG II TÁC T THÔNG MINH (4 LT + BT) II.1 Tác t môi trư ng II.2 B n ch t c a môi trư ng II.2.1 Môi trư ng gì? II.2.2 M t s tính ch t c a môi trư ng II.3 C u trúc c a tác t II.3.1 Mơ hình chung II.3.2 M t s mơ hình tác t c b n II.3.3 Chư ng trình tác t n gi n II.4 Các h th ng a tác t thông minh PH N II GI I QUY T V N CH NG III GI I QUY T V N B NG TÌM KI M VÉT C N (4 LT + BT) III.1 T ng quan v gi i quy t v n III.1.1 nh ngh a v n III.1.2 Phân lo i v n III.1.3 V n III.1.4 Các phư ng pháp bi!u di#n v n phát bi!u ch"nh tìm ki m l i gi i III.2 M t s ví d$ v gi i quy t v n III.3 Bi!u di#n v n tìm ki m l i gi i không gian v n III.4 M t s chi n lư%c tìm ki m c b n III.4.1 Tìm ki m r ng III.4.2 Tìm ki m sâu III.4.3 Tìm ki m v&i sâu gi&i h n Trang III.4.4 Tìm ki m sâu d'n III.4.5 So sánh chi n lư%c tìm ki m III.5 Gi i pháp tránh tr ng thái l(p l i tìm ki m III.6 Tìm ki m v&i thơng tin khơng 'y CH NG IV TÌM KI M CĨ )NH H NG V I HEURISTICS (4 LT + BT) IV.1 Các chi n lư%c tìm ki m heuristics IV.1.1 Chi n lư%c tham lam IV.1.2 Chi n lư%c A*: T i thi!u hóa chi phí l i gi i ư&c lư%ng IV.1.3 Tìm ki m heuristics v&i b nh& gi&i h n IV.1.4 C i thi n ch t lư%ng tìm ki m d*a h+c IV.2 Các hàm heuristics IV.2.1 Tác IV.2.2 ng c a hàm heuristics n hi u n,ng tìm ki m i u ki n ch p nh n ư%c c a hàm heuristics IV.3 Các thu t tốn tìm ki m t i ưu a phư ng IV.3.1 Tìm ki m leo -i IV.3.2 Tìm ki m IV.3.3 Thu t gi i di truy n IV.4 Tìm ki m c$c b khơng gian liên t$c CH NG V GI I QUY T V N V.1 Bi!u di#n v n D.A TRÊN TH/A MÃN RÀNG BU0C (4 LT + BT) b1ng ràng bu c V.2 Các k thu t th2a mãn ràng bu c V.2 Tìm ki m quay lui th2a mãn ràng bu c V.3 Các thu t tốn tìm ki m a phư ng th2a mãn ràng bu c V.4 Các thu t tốn tìm ki m heuristic th2a mãn ràng bu c CH NG VI TÌM KI M CĨ 3I TH4 (4 LT + BT) VI.1 Trò ch i VI.2 Ra quy t nh t i ưu trò ch i VI.2.1 Các chi n lư%c t i ưu VI.2.2 Thu t toán Minimax VI.2.3 Ra quy t nh t i ưu trò ch i nhi u ngư i VI.3 Thu t toán c5t t"a Alpha-Beta VI.4 L p chư ng trình trị ch í Trang PH N III TRI TH C VÀ SUY DI N CH NG VII LOGIC M NH (4 LT + BT) VII.1 Logic VII.2 Logic m nh VII.2.1 Cú pháp VII.2.2 Ng6 ngh a VII.2.3 M t c s tri th7c n gi n VII.2.4 Suy di#n VII.2.5 Tính tư ng ng, tính úng 5n tính th2a ư%c VII.3 Ch7ng minh logic m nh VII.3.1 H%p gi i CH NG VIII LOGIC V) T8 (4 LT + BT) VIII.1 Cú pháp ng6 ngh a c a logic v t9 VIII.2 So sánh gi6a logic v t9 logic m nh VIII.3 Suy di#n logic v t9 VIII.3.1 Phép h%p nh t VIII.3.2 H%p gi i VIII.4 Gi&i thi u ngôn ng6 L p trình PROLOG, C++, Java CH NG IX BI:U DI;N TRI THT TÍNH TỐN M M (4LT + BT) X.1 M ng n ron X.2 Gi i thu t di truy n X.3 Lôgic m Trang CH NG XI CÁC K= THU>T NÂNG CAO (5LT + BT) XI.1 X lý ngôn ng6 t* nhiên XI.2 H+c máy XI.3 L p k ho ch quy t nh N i dung thí nghi m (th c hành, ti u lu n, t p l n, t p v nhà) • • • • +c t p chí/h i th o qu c t vi t báo cáo L p trình 7ng d$ng c a môn h+c: áp d$ng thu t tốn, mơ hình thơng minh, trị ch i thơng minh: c vua, c caro, vv L p trình mơ ph2ng m t s phư ng pháp gi i quy t v n Bài t p l&n: 2-3 sinh viên / nhóm theo ti n mơn h+c u c'u k t qu 'u ra: vi t cư ng ti!u lu n, cài (t ph'n m m mô ph2ng phư ng pháp gi i quy t v n / toán vi t ti!u lu n trình bày báo cáo k t qu Tài li u tham kh o Stuart Russell, Peter Norvig, “Artificial Intelligence: A modern approach”, Pearson Education, 2007 Nguy#n Thanh Th y, “Trí Tu Nhân T o”, Nhà xu t b n giáo d$c, Nhà xu t b n KHKT inh M nh Tư ng, “Trí tu nhân t o” Nhà xu t b n khoa h+c k thu t, 2005 S Russell and P Norvig, Artificial Intelligence: A Modern Approach, Prentice Hall, 2003, Second Edition Eugene Charniak and Drew McDermott, Introduction to Artificial Intelligence, 1999, Second Edition J Finlay and A Dix, An Introduction to Artificial Intelligence, UCL Press Limited, 1997 N Forbes, Imitation of Life: How Biology is Inspiring Computing, Cambridge MA, MIT Press, 2004 (Bìa thư ng: ISBN 0262562154; Bìa c7ng: ISBN 0262062410) M Sipper, Machine Nature: The Coming of Bio-Inspired Computing, Cambridge MA, MIT Press, 2002 (ISBN 0071387048) Trang ...TRÍ TU NHÂN T O PH N I T NG QUAN V TRÍ TU NHÂN T O VÀ CÁC H TH NG THÔNG MINH CH NG I GI I THI U CHUNG (4 LT + BT) I.1 Trí tu nhân t o gì? I.2 M t s n n t ng c b n c a trí tu nhân t o... II.4 Các h th ng a tác t thông minh PH N II GI I QUY T V N CH NG III GI I QUY T V N B NG TÌM KI M VÉT C N (4 LT + BT) III.1 T ng quan v gi i quy t v n III.1.1 nh ngh a v n III.1.2 Phân lo i v... trình bày báo cáo k t qu Tài li u tham kh o Stuart Russell, Peter Norvig, “Artificial Intelligence: A modern approach”, Pearson Education, 2007 Nguy#n Thanh Th y, ? ?Trí Tu Nhân T o”, Nhà xu t b n