Основы искусственного интеллекта: учебное пособие

3-BOB 113
NEYRAL TARMOQLAR 113
3.1. Neyron tarmoqlarga kirish 113
3.2. Sun'iy neyron modeli 117
3.3.Neyron tarmoqlarni qo'llash 120
3.4.Neyron tarmoqlarni o'rgatish 122
3-bob uchun nazorat savollari va topshiriqlari 124
3-bob uchun adabiyot 124

Ushbu rekursiya qoidasi beshta komponentdan iborat. Birinchisi ­, har doim to'g'ri bo'lgan va rekursiyaga ta'sir qilmaydigan predikatlar guruhidir. Ikkinchi komponent - chiqish sharti predikati. Ushbu predikatning muvaffaqiyati ­rekursiyani davom ettirishga imkon beradi va muvaffaqiyatsizlik uni to'xtatishga olib keladi (rekursiv ­qoida "False" ni qaytaradi). Uchinchi komponent ­boshqa predikatlar ro'yxati bo'lib, ular ham har doim to'g'ri bo'ladi va rekursiyaga ham ta'sir qilmaydi. To'rtinchi guruh - bu rekursiv qoidaning o'zi, uning muvaffaqiyati rekursiyani keltirib chiqaradi ­. Va nihoyat, beshinchi guruh - bu har doim muvaffaqiyatli bo'lgan va yana rekursiyaga ta'sir qilmaydigan ­predikatlar ro'yxati ­. Beshinchi guruh, shuningdek ­, rekursiya paytida stekga surilgan qiymatlarni (agar mavjud bo'lsa) oladi.
Eslatib o'tamiz, rekursiya qoidasida chiqish sharti bo'lishi kerak. Aks holda, rekursiya cheksiz bo'ladi va bunday qoida foydasizdir. Rekursiya qoidasining tugashini ta'minlash dasturchining ­mas'uliyatidir ­. Shu tarzda tuzilgan qoidalar umumlashtirilgan rekursiya qoidalari (GRP) bo'lib, usulning o'zi esa GRP usuli deb ataladi.
Misol. 1 dan 7 gacha barcha butun sonlarni hosil qilish qoidasi.
Qoida nomi ur1^e_numbér^umbér bo'lsin).
Bu misol uchun umumiy rekursiya qoidasi strukturasining birinchi komponenti ishlatilmaydi. Ikkinchi komponent, ya'ni chiqish predikati ntbeg < 8 sharti: ­nitbeg qiymati 8 ga teng bo'lsa, qoida muvaffaqiyatli bo'ladi va dastur tugatiladi. Qoidaning uchinchi komponenti raqamlarda ishlaydi: raqam ekranda ko'rsatiladi va keyin 1 ga oshiriladi. Ko'tarilgan raqam uchun yangi Nex^_Numbé^ o'zgaruvchisi ishlatiladi. To'rtinchi komponent - bu ­rekursiya qoidasining o'zini chaqirish, url(e_number(ex^_number). Umumiy holatda taqdim etilgan beshinchi komponent bu erda ishlatilmaydi.­
Shunday qilib, raqamlar qatorini yaratish dasturi quyidagi rekursiya qoidasidan foydalanadi: mg1^e_raqam(8). mg1'e_raqam (raqam)
Raqam^ < 8, mg1'be(Raqam), n1,
Nex^_Numbe^ = Numbe^ + 1, mg1^e_num_er^ex^_num_er).
Keling, ushbu dasturning bajarilishini ko'rib chiqaylik. Bu ­m1^e_numbeer(1) pastki maqsadini hisoblashga urinish bilan boshlanadi. Birinchidan, dastur pastki maqsadga birinchi qoidaga mos keladi, ­mgl^e_raqam(8). 1 8 ga teng bo'lmagani uchun bu o'yin ­muvaffaqiyatsiz tugadi. Keyin dastur yana ­pastki maqsadga mos kelishga harakat qiladi, lekin endi qoida boshi bilan (m1(e_nm_er ^um_er). Bu safar oʻyin muvaffaqiyatli boʻldi, chunki ­Num_e^ oʻzgaruvchisiga 1 qiymati tayinlangan. Dastur endi bu qiymatni 8 (chiqish sharti) bilan solishtiradi. 1 8 dan kichik bo'lgani uchun bu pastki qoida muvaffaqiyatli bo'ldi. Quyidagi ­predikat Num_e^ ga tayinlangan qiymatni qaytaradi. Nex^_Numbé^ oʻzgaruvchisi 2 ga oʻrnatiladi va Numbé^ qiymati ­1 ga oshiriladi.

5. 
   Prologdagi ro'yxatlar
   

2.4-bo'limda biz Prolod tilida ma'lumotlarni ko'rsatish asoslari bilan tanishdik. Bular, birinchi navbatda, ob'ektlari ­aniq qiymatlar (ma'lumotlar) bo'lgan bayonotlardir. Biroq, Prologue ro'yxatlar deb ataladigan tegishli ob'ektlarni ham qo'llab-quvvatlaydi . ­Ro'yxat - birin-ketin keluvchi ob'ektlarning tartiblangan to'plami. Ro'yxatning tarkibiy qismlari bir-biri bilan ichki bog'liqdir, shuning uchun siz ular ­bilan guruh sifatida (butun ro'yxat) va alohida ­ob'ektlar (ro'yxat elementlari) sifatida ishlashingiz mumkin.
Ro'yxatlarning tuzilishi, tashkil etilishi va taqdimotini ko'rib chiqing.
tipidagi ob'ektlar to'plamidir . ­Ro'yxat ob'ektlari butun sonlar, ­haqiqiy sonlar, belgilar, belgilar qatorlari va tuzilmalar bo'lishi mumkin. Elementlarning tartibi ro'yxatning farqlovchi xususiyatidir; boshqa tarzda tartiblangan bir xil elementlar butunlay boshqa ro'yxatni ifodalaydi, chunki ­tartib moslashish jarayonida muhim rol o'ynaydi.
Prolog elementi tuzilmalar bo'lgan ro'yxatlarga ruxsat beradi. Agar tuzilmalar muqobil ­domenga tegishli bo'lsa, unda ro'yxatning elementlari har xil turdagi bo'lishi mumkin. Bunday ­ro'yxatlar maxsus maqsadlar uchun ishlatiladi.
Ro'yxat elementlari to'plami kvadrat ­qavs ichida - [] olinadi va ro'yxat elementlari bir-biridan ­vergul bilan ajratiladi.