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

Sun'iy intellekt usullari avtomatlashtirilgan konsalting tizimlari yoki ekspert tizimlarini yaratishda qo'llanilgan. Birinchi ekspert tizimlari 60-yillarda tadqiqot vositasi sifatida ishlab chiqilgan. Ular sun'iy intellekt tizimlari bo'lib, masalan, kasalliklarni tibbiy tashxislash kabi tor mavzu sohasidagi murakkab muammolarni hal qilish uchun yaratilgan. Ushbu yo'nalishning klassik maqsadi dastlab umumiy maqsadga qaratilgan sun'iy intellekt tizimini yaratish edi, bu esa ushbu sohada aniq ma'lumotga ega bo'lmagan holda har qanday muammoni hal qilishga qodir edi. Hisoblash resurslarining imkoniyatlari cheklanganligi sababli, ushbu vazifani maqbul natija bilan hal qilish juda qiyin bo'lib chiqdi. Ekspert tizimlarini tijorat asosida amalga oshirish 1980-yillarning boshlarida ro'y berdi va shundan beri ekspert tizimlari katta shuhrat qozondi. Ular biznesda, fanda, texnologiyada, ishlab chiqarishda, shuningdek, aniq belgilangan fan sohasi mavjud bo'lgan boshqa sohalarda qo'llaniladi.

Sun'iy intellekt usullari avtomatlashtirilgan konsalting tizimlari yoki ekspert tizimlarini yaratishda qo'llanilgan. Birinchi ekspert tizimlari 60-yillarda tadqiqot vositasi sifatida ishlab chiqilgan. Ular sun'iy intellekt tizimlari bo'lib, masalan, kasalliklarni tibbiy tashxislash kabi tor mavzu sohasidagi murakkab muammolarni hal qilish uchun yaratilgan. Ushbu yo'nalishning klassik maqsadi dastlab umumiy maqsadga qaratilgan sun'iy intellekt tizimini yaratish edi, bu esa ushbu sohada aniq ma'lumotga ega bo'lmagan holda har qanday muammoni hal qilishga qodir edi. Hisoblash resurslarining imkoniyatlari cheklanganligi sababli, ushbu vazifani maqbul natija bilan hal qilish juda qiyin bo'lib chiqdi. Ekspert tizimlarini tijorat asosida amalga oshirish 1980-yillarning boshlarida ro'y berdi va shundan beri ekspert tizimlari katta shuhrat qozondi. Ular biznesda, fanda, texnologiyada, ishlab chiqarishda, shuningdek, aniq belgilangan fan sohasi mavjud bo'lgan boshqa sohalarda qo'llaniladi.

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.