Muïc luïc CHÖÔNG 1 1. MÔÛ ÑAÀU 1 1 1 2 2 3 3 6 7 8 13 13 13 15 17 17 18 19 22 23 23 25 29 29 31 Heä thoáng thoâng minh . Kieåm soaùt tình huoáng vaø löïa choïn . Hoïc . Söû duïng tri thöùc Giôùi thieäu trí tueä nhaân taïo . Moät soá ví duï . Khaùi nieäm . Heä cô sôû tri thöùc Moät soá baøi toaùn GIAÛI QUYEÁT VAÁN ÑEÀ BAÈNG TÌM KIEÁM 2. 3. CHÖÔNG 2 1. Khaùi nieäm . Khoâng gian traïng thaùi . Tìm kieám treân khoâng gian traïng thaùi Caùc nguyeân lyù tìm kieám | Muc luc CHƯƠNG 1 MỞ ĐẦU 1 1. Hệ thông thông minh 1 . Kiểm soát tình huống và lựa chon 1 . Hoc 2 . Sử dung tri thức 2 2. Giời thiệu trí tuệ nhân tao 3 . Một so ví du 3 . Khái niểm 6 . Hể cQ sô tri thức 7 3. Môt số bâi tôân 8 CHƯƠNG 2 GIẦI QUYET VAN ĐE BANG TÌM KIEM 13 1. Khâi niệm 13 . Khong gian trang thái 1 3 . Tìm kiếm trển khong gian trang thái 1 5 2. Câc nguyện ly tìm kiếm 17 . Cac nguyên ly cô ban 1 7 . Cac nguyên ly thử sai 1 8 . Cac nguyên ly heuristic 1 9 . Cai đạt cac nguyên ly 22 3. Ầp dung 23 . Cai đat thuật giải 23 . Giai quyết vấn để 25 CHƯƠNG 3 TÌM KIEM VƠI HEURISTIC 29 1. Khâi niệm 29 2. Thuât giâi Ầ 31 3. Thuật giải A0 34 . Tìm kiếm trên cây AND OR 35 . Thêm heuristic - Thuât giâi AO 38 CHƯƠNG 4 TRÒ CHƠI Đối KHANG VA PHƯƠNG PHAP GPS 43 1. Trò chơi đôi khảng 43 . Khâi niêm 43 . Thuât giâi 44 . Bân thêm vê heuristic 49 2. Phương phập giải quyết vấn đe tổng quật GPS 50 . Khâi niêm 50 . Thuât giâi 51 CHƯƠNG 5 SUY LƯẬN LOGIC 63 1. Suy luận 63 2. Suy luận vơi logic mếnh đế 64 . Khâi niêm 64 . Một so cô chế phât sinh sự kiên quy tâc suy diên 65 . Suy luân 67 3. Suy luận vơi logic cap 1 71 . Khâi niêm 71 . Suy luân 72 CHƯƠNG 6 SƯY LưAn vơi thòng tin KHÒNG CHAC chan 79 1. Phận bò xậc suất 79 . Khâi niêm 79 . Suy luân 81 2. Suy luận xập xỉ 83 . Khâi niêm 83 . Suy luân 85 3. Giơi thiếu môt sò suy luận khậc 87 . Phân bộ khâ xuất 87 . Logic mô 88 CHƯƠNG 7 BIEU DIEN TRI THỨC 97 1. Tri thức 97 . Khái niêm 97 . Biêu diên tri thức 99 2. Biểu dien bang logic vi tù 100 . Biêu diên các tri thức đơn gián 100 . Biểu diễn mối quán hê Instáncê vá isá 101 . Suy diên báng hơp giái resolution 101 3. Biểu dien bang luật sần xuất 103 . Khái niêm 103 . Biêu diên 105 . Suy diên 105 . Bán thêm 106 4. Lấp trình logic 107 . Các thánh phán 107 . Sự kiên vá luát 107 . Hơp giái vá prolog 108 . Một so ví du 109 CHƯƠNG 8 CAC biEu diEn có cAu trUc 117 1. .
