Mavzu: O‘yinlarda sun’iy intellekt elementlarini qo‘llash. Sun'iy intellektning asosiy yo`nalishlari yo'nalishlari

Teoremalarning avtomatik isbotlari jozibador bo'lib, ular mantiqning umumiyligi va qat'iyligiga asoslanadi. Rasmiy tizimdagi mantiq avtomatlashtirish imkoniyatini anglatadi, ya'ni agar biz muammoni va u bilan bog'liq qo'shimcha ma'lumotlarni mantiqiy aksiomalar to'plami shaklida taqdim etsak va muammoning maxsus holatlarini isbot talab qiladigan teoremalar sifatida taqdim etsak, ko'pgina muammolarni hal qilishimiz mumkin. Matematik asoslash tizimlari va teoremalarni avtomatik tasdiqlash tizimlari ushbu printsipga asoslanadi. O'tgan yillarda teoremalarni avtomatik isbotlash uchun dastur yozishga bir necha bor urinish bo'lgan, ammo bitta usul yordamida muammolarni echishga imkon beradigan tizimni yaratish mumkin emas edi. Har qanday nisbatan murakkab evristik tizim ahamiyatsiz bo'lgan juda ko'p isbotlangan teoremalarni keltirib chiqarishi mumkin edi, natijada dasturlar zaruriyat topilgunga qadar ularni isbotlashi kerak edi.

Sun'iy intellektning uzoq muddatli maqsadlari inson tilini taniy oladigan va undan mazmunli iboralarni yaratish uchun foydalanadigan dasturlarni yaratishni o'z ichiga oladi. Tabiiy tilni tushunish va qo'llash qobiliyati inson aqlining asosiy xususiyatidir. Ushbu qobiliyatni muvaffaqiyatli avtomatlashtirish kompyuterlarning samaradorligini sezilarli darajada oshirishi mumkin edi. Bugungi kunga kelib, tabiiy tilni tushunadigan ko'plab dasturlar yozilgan va ular cheklangan kontekstlarda muvaffaqiyatli qo'llanilmoqda, ammo baribir tabiiy tillarni odamning umumiyligi va moslashuvchanligi bilan ishlatadigan tizimlar mavjud emas. Gap shundaki, tabiiy tilni tushunish jarayoni nafaqat jumlalarni tarkibiy qismlarga oddiy tahlil qilish va lug'atlardagi individual so'zlarning ma'nosini izlashdan iborat. Dasturlar ushbu vazifani muvaffaqiyatli bajarmoqda. Inson nutqidan foydalanish suhbat mavzusi, u bilan bog'liq bo'lgan idiomlar haqida keng bilimlarni talab qiladi, bundan tashqari noaniqliklar, e'tiborsizliklar, professionallik, jargon, og'zaki iboralar va insonning normal nutqiga xos bo'lgan ko'p narsalarni tushunish kerak.