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

Cheklovli dasturlash metodologiyasi - kerakli yechim uchun dasturda ma'lumotlar turi, domen va uning qiymatidagi cheklovlar aniqlangan yondashuv . ­Yechim tizim tomonidan topiladi. Ushbu metodologiya cheklovchi komponent va dasturiy komponentni birlashtirgan ­ikki bosqichli arxitekturani nazarda tutadi ­. Bunda cheklash komponenti asosiy operatsiyalarni ta'minlaydi va cheklash tizimining asosiy ­xususiyatlari bo'yicha xulosalar tizimidan iborat. Cheklov komponenti atrofidagi operatsiyalar ­dastur tili komponenti tomonidan amalga oshiriladi.
Cheklovli dasturlash metodologiyasi ­1980-yillarning boshida paydo bo'lgan. ramziy hisoblash, sun'iy intellekt, operatsiyalarni tadqiq qilish va intervalli ­arifmetika chorrahasida ­istiqbolli tadqiqot yo'nalishi sifatida .­
Cheklangan dasturlash - bu ­muammo bayonotlari nuqtai nazaridan dasturlash. Muammoning bayoni V = { y [1], ..., ^[n]} o'zgaruvchilarning chekli ­to'plami bo'lib , ularga B = {^[1], qiymatlarning chekli (hisoblanadigan) to'plamlari mos keladi . ­.., B[n ]} va cheklovlar to‘plami S = {S[1], ..., S[t]}. Bunday holda, cheklovlar ­"parametrlar" sifatida berilgan V to'plamining ba'zi ­u [ ) ], ] = 1 ... m kichik to'plamidagi o'zgaruvchilarni o'z ichiga olgan bayonotlar sifatida taqdim etiladi . Bunday muammoning echimi qiymatlar to'plamidir. barcha ­cheklovlarni qondiradigan o'zgaruvchilardan [)].
Semantik jihatdan, dasturning bajarilishi bu erda ­o'zgaruvchilar qiymatlarini topish deb hisoblanadi. 1980-yillarda cheklangan ­dasturlash tillari ham ­mashhurlikka erishdi. "UTOPIST" ("Universal Textual Descriptions of Terms") dasturlash tili ­tushunchalar va vazifalarni tavsiflash uchun mo'ljallangan. Bu til PRIZ instrumental dasturlash tizimining asosidir. U protsessual qismga ega (chunki ­vazifani tavsiflashda ba'zan harakatlarni tasvirlashga to'g'ri keladi), lekin ­uning asosiy ekspressivligiga tavsiflar orqali erishiladi.
Cheklovli dasturlash muammolari sinfiga ­operatsion tadqiqotlar va sun'iy ­intellekt muammolari kiradi. Ular tez-tez foydalanadilar ma'lum bir yechim maydoni , ­toraytirish orqali istalgan natijaga erishiladi. Asl yechim maydonining bunday torayishi tabiiy ravishda cheklovlar sifatida ifodalanishi mumkin.

6. 
   Neyron tarmoqlarni dasturlash metodologiyasi
   

Neyron tarmog'ini dasturlash metodologiyasi - bu mutaxassislardan olingan ­bilimlar asosida ­neyron dasturlash tilida dastur yaratiladigan , so'ngra analog neyronlarning ekvivalent neyron tarmog'iga kompilyatsiya qilinadigan yondashuv. Neyron tarmoqlarni dasturlash metodologiyasini 3-bobda batafsilroq muhokama qilamiz .­

2. 
   Hisob-kitoblarga qisqacha kirish
   

predikatlar va teoremani isbotlash
to'g'ri yoki noto'g'ri bo'lishi mumkin bo'lgan mantiqiy bayonot . ­U ob'ektlar va ular orasidagi munosabatlardan iborat [5].