|
Sun'iy intellektning asosiy yo`nalishlari yo'nalishlari Teoremalarni isbotlash
|
| bet | 2/2 | | Sana | 29.06.2022 | | Hajmi | 19.69 Kb. | | #24542 |
Bog'liq 24mavzu Презентация Microsoft PowerPoint, sadaassfsssasdasdasdaadsaasdasssfasg, iTm4X1UNxDwvHI6gm6j1wflKNeSVpzI90ZYygz54 (1), 050-20 STRo‘(2-топшириқ, Kimyo. 9-sinf (2014, I.Asqarov, N.To\'xtaboyev), pdf 20230516 000427 0000, 10 Ma\'ruza , C#, Катить - качу́-WPS Office, MAKTAB YOSHIGACHA BO’LGAN QIZ BOLALAR KO\'YLAGINI ASOS CHIZMASINI CHIZISH, 4-маъруза, МАКОМ САНЪАТИ ТАРИХИ ВА УНИНГ, Маруза, 5-seminarEkspert tizimlari. 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. "Aniq aniq" iborasining asosiy ma'nosi shundan iboratki, tajribali shaxs ushbu mavzu sohasidagi har qanday muammoni hal qilish uchun fikrlash bosqichlarini aniqlay oladi. Bu shuni anglatadiki, shunga o'xshash harakatlar kompyuter dasturi tomonidan amalga oshirilishi mumkin. Endi biz buni ishonch bilan ayta olamiz sun'iy intellekt tizimlaridan foydalanish keng chegaralarni ochadi. Bugungi kunda ekspert tizimlari sun'iy intellekt texnologiyasining eng muvaffaqiyatli dasturlaridan biridir. Shuning uchun siz bilan tanishishingizni maslahat beramiz
Sun'iy intellekt ilmiy yo'nalish sifatida tan olingan va o'tgan asrning 50-yillari o'rtasida sodir bo'lgan paytdan boshlab, aqlli tizimlarni ishlab chiquvchilar ko'plab muammolarni hal qilishlari kerak edi. An'anaviy ravishda barcha vazifalarni bir nechta sinflarga bo'lish mumkin: inson tilini tan olish va tarjima, teoremalarni avtomatik ravishda isbotlash, o'yin dasturlarini yaratish, tasvirni tanib olish va mashina yaratuvchisi. Keling, muammolarning har bir sinfining mohiyatini qisqacha ko'rib chiqaylik.
Teoremalarni isbotlash.
Teoremalarni avtomatik isbotlash sun'iy intellektni qo'llashning eng qadimgi sohasidir. Ushbu sohada juda ko'p izlanishlar olib borildi, natijada rasmiy qidiruv algoritmlari va PROLOG, mantiqiy dasturlash tili va predikatli hisoblar kabi rasmiy vakillik tillari paydo bo'ldi.
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. Shu sababli, katta bo'shliqlar bilan faqat muayyan holatlar uchun maxsus ishlab chiqilgan norasmiy strategiyalar yordamida ishlashingiz mumkin degan fikr paydo bo'ldi. Amalda, bu yondashuv juda samarali bo'lib chiqdi va boshqalar qatori ekspert tizimlari asosiga qo'yildi.
Ammo rasmiy mantiqqa asoslangan mulohazalarni e'tiborsiz qoldirib bo'lmaydi. Rasmiy yondoshish ko'plab muammolarni hal qilishga imkon beradi. Xususan, undan foydalangan holda murakkab tizimlarni boshqarish, kompyuter dasturlarining to'g'riligini tekshirish, mantiqiy zanjirlarni loyihalash va tekshirish mumkin. Bundan tashqari, teoremalarni avtomatik isbotlash tadqiqotchilari mantiqiy ifodalarning sintaktik shaklini baholashga asoslangan kuchli evristikani ishlab chiqdilar. Natijada, maxsus strategiyalarni ishlab chiqishga murojaat qilmasdan qidirish maydonining murakkabligini kamaytirish mumkin bo'ldi.
Teoremalarning avtomatik isbotlanishi olimlarni qiziqtiradi, shuning uchun juda murakkab muammolar uchun odamning aralashuvisiz ham tizimdan foydalanish mumkin. Hozirgi vaqtda dasturlar ko'pincha yordamchilar sifatida ishlaydi. Mutaxassislar vazifani bir nechta pastki qismlarga ajratishadi, so'ngra evristik nuqtai nazardan yuzaga keladigan sabablarni aniqlashga harakat qilinadi. Bundan tashqari, dastur lemmani isbotlaydi, unchalik muhim bo'lmagan taxminlarni tasdiqlaydi va inson tomonidan tasdiqlangan dalillarning rasmiy jihatlariga qo'shimchalar kiritadi.
Naqshni aniqlash.
Patternni tanib olish - bu ma'lumotlarning tasniflanadigan umumiy xususiyatlaridan kelib chiqqan holda dastlabki ma'lumotlarni tavsiflovchi muhim xususiyatlarni tanlab olish.
Naqshni aniqlash nazariyasi kompyuter fanining bir sohasidir, uning vazifasi ob'ektlarni (ob'ektlar, jarayonlar, hodisalar, vaziyatlar, signallar va boshqalar) aniqlash va tasniflash asoslari va usullarini ishlab chiqishdir, ularning har biri ba'zi belgilar va xususiyatlarning kombinatsiyasiga ega. Amalda, siz ob'ektlarni tez-tez aniqlashingiz kerak. Odatiy vaziyat bu svetoforning rangini tanib olish va hozirgi vaqtda ko'chani kesib o'tish to'g'risida qaror qabul qilishdir. Ob'ektni tan olmasdan amalga oshirib bo'lmaydigan boshqa sohalar ham mavjud, masalan, analog signallarni raqamlashtirish, harbiy ishlar, xavfsizlik tizimlari va hokazo, shuning uchun bugungi kunda olimlar tasvirni tanib olish tizimini yaratish ustida faol ish olib bormoqdalar.
Ish ikki asosiy yo'nalish bo'yicha olib boriladi:
· Tirik mavjudotlarga xos bo'lgan qobiliyatlarni tadqiq qilish, tushuntirish va modellashtirish.
Amaliy maqsadlarda individual muammolarni echishga imkon beradigan qurilmalarni yaratishning nazariy va uslubiy asoslarini yaratish.
Tanib olish muammolari matematik til yordamida tuziladi. Sun'iy neyron tarmoqlari nazariyasi eksperimentlar natijasida natijalarni olishga asoslangan bo'lsa-da, naqshni aniqlash muammolarini shakllantirish eksperiment asosida emas, balki matematik dalillar va mantiqiy mulohazalar asosida amalga oshiriladi.
Bunday muammoning klassik shakllanishini ko'rib chiqing. Tasniflanishi kerak bo'lgan ko'plab ob'ektlar mavjud. To'plam quyi sinflardan yoki sinflardan iborat. So'raladi: to'plamni tavsiflovchi ma'lumotlar, sinflar to'g'risidagi ma'lumotlar va alohida ob'ektning ma'lum bir sinfga tegishli ekanligini ko'rsatmasdan tavsifi. Vazifa: mavjud ma'lumotlar asosida ob'ektning qaysi sinfga tegishli ekanligini aniqlash.
Agar vazifalar monoxrom tasvirlardan iborat bo'lsa, ularni samolyotdagi funktsiyalar deb hisoblash mumkin. Funktsiya rasmning rasmiy yozuvi bo'ladi va har bir nuqtada tasvirning o'ziga xos xususiyatini - optik zichlik, shaffoflik, nashrida va hokazolarni ifodalaydi. Bunday holda, rasmlar to'plamining modeli tekislikda ko'p funktsiyalarga ega bo'ladi. Tanib olish muammosini shakllantirish tan olishdan keyingi bosqichlar qanday bo'lishi kerakligiga bog'liq.
Naqshni aniqlash usullariga miya modeli kontseptsiyasini kiritgan F. Rozenblatning tajribalari kiradi. Tajribaning maqsadi ma'lum funktsional xususiyatlar va tuzilishga ega bo'lgan fizik tizimda psixologik hodisalarning paydo bo'lishini ko'rsatishdir. Olim tan olish bo'yicha eng sodda tajribalarni tasvirlab berdi, ammo ularning xususiyati aniqlanmaydigan echim algoritmi.
Tizim haqida psixologik jihatdan muhim ma'lumotni olish mumkin bo'lgan eng oddiy tajriba quyidagicha: bir idrok ikki xil stimullarning ketma-ketligi bilan taqdim etiladi, ularning har biri qandaydir tarzda javob berishi kerak va turli xil stimullar uchun reaktsiya boshqacha bo'lishi kerak. Bunday tajribaning maqsadlari boshqacha bo'lishi mumkin. Eksperimentator oldida tashqi aralashuvisiz o'z-o'zidan paydo bo'lgan stimullar tizimi tomonidan kamsitish ehtimolini o'rganish yoki majburan tan olish imkoniyatini o'rganish vazifasi turibdi. Ikkinchi holda, eksperimentator tizimga ikkitadan ko'p bo'lishi mumkin bo'lgan turli xil ob'ektlarni tasniflashni o'rgatadi. O'rganish tajribasi quyidagicha: tasvirlar in'ikosga taqdim etiladi, ular orasida tan olinishi kerak bo'lgan barcha sinflarning vakillari bor. To'g'ri javob xotirani o'zgartirish qoidalariga muvofiq mustahkamlanadi. Shundan so'ng, tajriba o'tkazuvchi idrokronni nazorat stimuli bilan taqdim etadi va ushbu sinf tasvirlari uchun berilgan reaktsiyani olish ehtimolini aniqlaydi. Boshqarish stimuli mashg'ulotlar ketma-ketligida ko'rsatilgan ob'ektlarning biriga mos kelishi yoki taqdim etilgan barcha narsalardan farq qilishi mumkin. Bunga qarab quyidagi natijalar olinadi:
Agar nazorat stimuli ilgari berilgan barcha o'quv stimullaridan farq qilsa, demak, sof diskriminatsiyaga qo'shimcha ravishda eksperiment umumlashtirish elementlarini o'rganadi.
Agar boshqaruv stimulyatori ilgari berilgan sinfning stimuli ta'sirida faollashtirilgan elementlarning biron biriga to'g'ri kelmaydigan sezgir elementlarning ma'lum bir guruhini faollashtirsa, u holda tajriba sof umumlashtirishni o'rganadi va tanib olishni o'rganishni o'z ichiga olmaydi.
In'ikoslar sof umumlashtirishga qodir emasligiga qaramay, ular tan olish vazifalarini qoniqarli ravishda hal qilmoqdalar, ayniqsa tasvirlar namoyish qilingan holatlarda, ularda allaqachon hislar mavjud.
Inson nutqini aniqlash va mashinani tarjima qilish.
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.
Misol tariqasida "hujumchi", "pas", "uzatish", "jarima", "himoyachi", "hujumchi", "sardor" va boshqa so'zlarni ishlatadigan futbol haqida gapirish mumkin. Ushbu so'zlarning har biri bir qator ma'nolar bilan ajralib turadi va individual ravishda so'zlar juda tushunarli, ammo ulardan tuzilgan ibora futbolga qiziqmagan va ushbu o'yin tarixi, qoidalari va printsiplari haqida hech narsa bilmaydigan har bir kishi uchun tushunarsiz bo'ladi. Shunday qilib, inson tilini tushunish va qo'llash fon bilimlarini uyg'unlashtirishni talab qiladi va tabiiy inson tilini tushunish va qo'llashni avtomatlashtirishdagi asosiy muammolardan biri bu bilimlarni to'plash va tizimlashtirishdir.
|
| |
