Bài giảng Tìm hiểu Trí tuệ nhân tạo

Muïc luïc<br /> <br /> CHÖÔNG 1<br /> <br /> MÔÛ ÑAÀU<br /> <br /> 1<br /> <br /> 1.<br /> <br /> Heä thoáng thoâng minh<br /> 1.1. Kieåm soaùt tình huoáng vaø löïa choïn<br /> 1.2. Hoïc<br /> 1.3. Söû duïng tri thöùc<br /> <br /> 1<br /> 1<br /> 2<br /> 2<br /> <br /> 2.<br /> <br /> Giôùi thieäu trí tueä nhaân taïo<br /> 2.1. Moät soá ví duï<br /> 2.2. Khaùi nieäm<br /> 2.3. Heä cô sôû tri thöùc<br /> <br /> 3<br /> 3<br /> 6<br /> 7<br /> <br /> 3.<br /> <br /> Moät soá baøi toaùn<br /> <br /> CHÖÔNG 2<br /> <br /> GIAÛI QUYEÁT VAÁN ÑEÀ BAÈNG TÌM KIEÁM<br /> <br /> 8<br /> 13<br /> <br /> 1.<br /> <br /> Khaùi nieäm<br /> 1.1. Khoâng gian traïng thaùi<br /> 1.2. Tìm kieám treân khoâng gian traïng thaùi<br /> <br /> 13<br /> 13<br /> 15<br /> <br /> 2.<br /> <br /> Caùc nguyeân lyù tìm kieám<br /> 2.1. Caùc nguyeân lyù cô baûn<br /> 2.2. Caùc nguyeân lyù thöû sai<br /> 2.3. Caùc nguyeân lyù heuristic<br /> 2.4. Caøi ñaët caùc nguyeân lyù<br /> <br /> 17<br /> 17<br /> 18<br /> 19<br /> 22<br /> <br /> 3.<br /> <br /> Aùp duïng<br /> 3.1. Caøi ñaët thuaät giaûi<br /> 3.2. Giaûi quyeát vaán ñeà<br /> <br /> 23<br /> 23<br /> 25<br /> <br /> CHÖÔNG 3<br /> <br /> TÌM KIEÁM VÔÙI HEURISTIC<br /> <br /> 29<br /> <br /> 1.<br /> <br /> Khaùi nieäm<br /> <br /> 29<br /> <br /> 2.<br /> <br /> Thuaät giaûi A*<br /> <br /> 31<br /> <br /> 3.<br /> <br /> Thuaät giaûi A0*<br /> 3.1. Tìm kieám treân caây AND/OR<br /> 3.2. Theâm heuristic - Thuaät giaûi AO*<br /> <br /> CHÖÔNG 4<br /> <br /> TROØ CHÔI ÑOÁI KHAÙNG VAØ PHÖÔNG PHAÙP GPS<br /> <br /> 34<br /> 35<br /> 38<br /> 43<br /> <br /> 1.<br /> <br /> Troø chôi ñoái khaùng<br /> 1.1. Khaùi nieäm<br /> 1.2. Thuaät giaûi<br /> 1.3. Baøn theâm veà heuristic<br /> <br /> 43<br /> 43<br /> 44<br /> 49<br /> <br /> 2.<br /> <br /> Phöông phaùp giaûi quyeát vaán ñeà toång quaùt (GPS)<br /> 2.1. Khaùi nieäm<br /> 2.2. Thuaät giaûi<br /> <br /> 50<br /> 50<br /> 51<br /> <br /> CHÖÔNG 5<br /> 1.<br /> <br /> SUY LUAÄN LOGIC<br /> <br /> Suy luaän<br /> <br /> 63<br /> 63<br /> <br /> 2.<br /> <br /> Suy luaän vôùi logic meänh ñeà<br /> 2.1. Khaùi nieäm<br /> 2.2. Moät soá cô cheá phaùt sinh söï kieän (quy taéc suy dieãn)<br /> 2.3. Suy luaän<br /> <br /> 64<br /> 64<br /> 65<br /> 67<br /> <br /> 3.<br /> <br /> Suy luaän vôùi logic caáp 1<br /> 3.1. Khaùi nieäm<br /> 3.2. Suy luaän<br /> <br /> 71<br /> 71<br /> 72<br /> <br /> CHÖÔNG 6<br /> <br /> SUY LUAÄN VÔÙI THOÂNG TIN KHOÂNG CHAÉC CHAÉN<br /> <br /> 79<br /> <br /> 1.<br /> <br /> Phaân boá xaùc suaát<br /> 1.1. Khaùi nieäm<br /> 1.2. Suy luaän<br /> <br /> 79<br /> 79<br /> 81<br /> <br /> 2.<br /> <br /> Suy luaän xaáp xæ<br /> 2.1. Khaùi nieäm<br /> 2.2. Suy luaän<br /> <br /> 83<br /> 83<br /> 85<br /> <br /> 3.<br /> <br /> Giôùi thieäu moät soá suy luaän khaùc<br /> 3.1. Phaân boá khaû xuaát<br /> 3.2. Logic môø<br /> <br /> 87<br /> 87<br /> 88<br /> <br /> CHÖÔNG 7<br /> <br /> BIEÅU DIEÃN TRI THÖÙC<br /> <br /> 97<br /> <br /> 1.<br /> <br /> Tri thöùc<br /> 1.1. Khaùi nieäm<br /> 1.2. Bieåu dieãn tri thöùc<br /> <br /> 2.<br /> <br /> Bieåu dieãn baèng logic vò töø<br /> 2.1. Bieåu dieãn caùc tri thöùc ñôn giaûn<br /> 2.2. Bieåu dieãn moái quan heä Instance vaø isa<br /> 2.3. Suy dieãn baèng hôïp giaûi (resolution)<br /> <br /> 100<br /> 100<br /> 101<br /> 101<br /> <br /> 3.<br /> <br /> Bieåu dieãn baèng luaät saûn xuaát<br /> 3.1. Khaùi nieäm<br /> 3.2. Bieåu dieãn<br /> 3.3. Suy dieãn<br /> 3.4. Baøn theâm<br /> <br /> 103<br /> 103<br /> 105<br /> 105<br /> 106<br /> <br /> 4.<br /> <br /> Laäp trình logic<br /> 4.1. Caùc thaønh phaàn<br /> 4.2. Söï kieän vaø luaät<br /> 4.3. Hôïp giaûi vaø prolog<br /> 4.4. Moät soá ví duï<br /> <br /> 107<br /> 107<br /> 107<br /> 108<br /> 109<br /> <br /> CHÖÔNG 8<br /> <br /> CAÙC BIEÅU DIEÃN COÙ CAÁU TRUÙC<br /> <br /> 97<br /> 97<br /> 99<br /> <br /> 117<br /> <br /> 1.<br /> <br /> Maïng ngöõ nghóa<br /> 1.1. Khaùi nieäm<br /> 1.2. Bieåu dieãn<br /> 1.3. Suy dieãn<br /> 1.4. Ñoà thò khaùi nieäm<br /> 1.5. Chuyeån veà logic vò töø<br /> 1.6. Moät ví duï phöùc taïp<br /> <br /> 117<br /> 117<br /> 118<br /> 120<br /> 121<br /> 123<br /> 124<br /> <br /> 2.<br /> <br /> Giôùi thieäu moät soá bieåu dieãn khaùc<br /> 2.1. Bieåu dieãn baèng khung (Frames)<br /> 2.2. Bieåu dieãn tri thöùc baèng boä ba OAV<br /> 2.3. Boä nhôù keát hôïp (bieåu dieãn tri thöùc moâ phoûng heä thaàn kinh)<br /> <br /> 127<br /> 127<br /> 128<br /> 129<br /> <br /> CHÖÔNG 9<br /> 1.<br /> <br /> Môû ñaàu<br /> <br /> THU NAÏP TRI THÖÙC<br /> <br /> 135<br /> 135<br /> <br /> 2.<br /> <br /> Toång quan veà thu nhaän tri thöùc<br /> 2.1. Khaùi nieäm<br /> 1.1. Caùc caùch tieáp caän<br /> <br /> 136<br /> 136<br /> 138<br /> <br /> 3.<br /> <br /> Phöông phaùp caây quyeát ñònh<br /> 3.1. Khaùi nieäm<br /> 3.2. Tieáp caän cöïc tieåu Entropy trung bình<br /> <br /> 139<br /> 139<br /> 139<br /> <br /> 4.<br /> <br /> Phöông phaùp khoâng gian theá heä<br /> 4.1. Khaùi nieäm<br /> 4.2. Thuaät toaùn<br /> <br /> 141<br /> 141<br /> 141<br /> <br /> 5.<br /> <br /> Phöông phaùp xaây döïng moät giaûi thích<br /> 5.1. Khaùi nieäm<br /> 5.2. Thuaät toaùn<br /> <br /> 144<br /> 144<br /> 144<br /> <br /> CHÖÔNG 10<br /> <br /> MOÄT SOÁ CHUÛ ÑEÀ<br /> <br /> 151<br /> <br /> 1.<br /> <br /> Maïng neuron nhaân taïo<br /> 1.1. Khaùi nieäm<br /> 1.2. Giôùi thieäu moät soá luaät hoïc<br /> <br /> 151<br /> 151<br /> 154<br /> <br /> 2.<br /> <br /> Thuaät toaùn di truyeàn<br /> 2.1. Khaùi nieäm<br /> 2.2. Moâ hình vaø Thuaät toaùn<br /> <br /> 158<br /> 158<br /> 158<br /> <br /> 3.<br /> <br /> Xöû lyù raøng buoäc<br /> 3.1. Khaùi nieäm<br /> 3.2. Thuaät giaûi<br /> <br /> 161<br /> 161<br /> 164<br /> <br /> 4.<br /> <br /> Maùy vector hoã trôï (Supported Vector Machine - SVM)<br /> 4.1. Khaùi nieäm<br /> 4.2. Thuaät toaùn<br /> 4.3. Taùch phi tuyeán<br /> <br /> 167<br /> 167<br /> 167<br /> 168<br /> <br /> PHUÏ LUÏC 2<br /> 1.<br /> <br /> NGOÂN NGÖÕ PROLOG<br /> <br /> Giôùi thieäu prolog<br /> 1.1. Caùc thaønh phaàn cuûa chöông trình<br /> 1.2. Söï kieän vaø luaät<br /> 1.3. Quan heä<br /> <br /> 175<br /> 175<br /> 175<br /> 175<br /> 176<br /> <br /> 1.4.<br /> 1.5.<br /> 1.6.<br /> 2.<br /> <br /> Caùc kieåu ñoái töôïng<br /> Cô cheá tìm kieám<br /> Vaøi ví duï laäp trình prolog<br /> <br /> Thaûo luaän<br /> 2.1. Bieåu dieãn caây<br /> 2.2. Duøng ñaïi soá quan heä<br /> <br /> PHUÏ LUÏC 3<br /> <br /> NGHIEÂN CÖÙU TÌNH HUOÁNG<br /> <br /> 177<br /> 180<br /> 182<br /> 185<br /> 185<br /> 188<br /> 191<br /> <br /> 1.<br /> <br /> Thieát keá höôùng ñoái töôïng duøng C++<br /> 1.1. Moät thieát keá ñôn giaûn<br /> 1.2. Moät thieát keá toång quaùt<br /> <br /> 191<br /> 191<br /> 194<br /> <br /> 2.<br /> <br /> Caøi ñaët thuaät toaùn A* baèng prolog<br /> <br /> 201<br /> <br /> 3.<br /> <br /> Xaây döïng heä chuyeân gia ñôn giaûn baèng prolog<br /> 3.1. Cô sôû tri thöùc<br /> 3.2. Caøi ñaët baèng prolog<br /> <br /> 203<br /> 203<br /> 203<br /> <br /> 4.<br /> <br /> Xaây döïng moät cô cheá thu nhaän tri thöùc<br /> 4.1. Cô sôû tri thöùc<br /> 4.2. Minh hoïa cô cheá hoïc<br /> <br /> 205<br /> 205<br /> 206<br /> <br /> 5.<br /> <br /> Ñoái saùnh<br /> 5.1. Khaùi nieäm<br /> 5.2. Ñoái saùnh bieåu thöùc<br /> <br /> 208<br /> 208<br /> 208<br /> <br /> Lôøi noùi ñaàu<br /> Ngaøy nay, haàu heát caùc lónh vöïc ñeàu coù söï tham gia cuûa maùy tính. Trong<br /> moät soá lónh vöïc, vai troø cuûa maùy tính laø raát quan troïng. Theá nhöng, vaãn<br /> coøn ñoù nhieàu coâng vieäc, duø giaûn ñôn, duø nguy hieåm, duø nhaøm chaùn, con<br /> ngöôøi vaãn cöù phaûi ñaûm nhieäm.<br /> Lieäu coù theå xaây döïng nhöõng heä coù khaû naêng haønh ñoäng nhö con ngöôøi, suy<br /> <br />