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

1-bob uchun adabiyot

1. 
   Gavrilov T.A., Xoroshevskiy V.F. Bilimlar asoslari va intellektual ­tizimlar: Darslik. - Sankt-Peterburg: Pyotr, 2000 yil.
   
2. 
   Kuznetsov V. E. Norasmiy ­protseduralarni kompyuterda ko'rsatish: ishlab chiqarish tizimlari / D. A. ­Pospelova so'z bilan. - M.: Nauka, 1989 yil.
   
3. 
   Lyubarskiy Yu. Ya. Intellektual axborot tizimlari ­. - M.: Nauka, 1990 yil.
   
4. 
   Sun'iy intellekt bo'yicha qo'llanma. 3 jildda. / Ed. E. V. Popova va D. A. Pospelova. - M .: Radio va aloqa, 1990 yil.
   
5. 
   Hunt E. Sun'iy intellekt. - M.: Mir, 1978 yil.
   

2-BOB
MANTIQ DASTURLASH

1. 
   Dasturlash metodologiyalari
   

Ushbu bo'limda asosiy dasturlash metodologiyalari , dasturiy ta'minotning hayot aylanishida qo'llaniladigan va umumiy falsafiy yondashuv bilan birlashtirilgan usullar to'plami tasvirlangan.­
Bugungi kunda ko'plab metodologiyalar mavjud emas, ayniqsa ­to'liq, ya'ni dasturiy ta'minotning hayot aylanishining barcha bosqichlarini hisobga oladiganlar . Bu dasturiy ta'minotni ishlab chiqish uchun qaysi tillar va tizimlar ishlatilishini ­va qaysi texnologik ­yondashuvni qo'llashni aniqlaydigan metodologiya .­
Bizning metodologiyaga yondashuvimiz shundan iboratki ­, ba'zi qo'shimcha funktsiyalar ­bilan takomillashtirilgan o'z usullariga ega ­asosiy metodologiya mavjud . Metodologiyalarning yadrolari algoritmlarni tasvirlash usuli bilan belgilanadi. Biz metodologiyaning asosiy yadrolarini sanab o'tamiz va ­kitobning quyidagi bo'limlarini ularning batafsil tahliliga bag'ishlaymiz:

• 
  imperativ dasturlash metodologiyasi;
  
• 
  ob'ektga yo'naltirilgan dasturlash metodologiyasi ­;
  
• 
  funktsional dasturlash metodologiyasi;
  
• 
  mantiqiy dasturlash metodologiyasi.
  

Ba'zi metodologiyalar algoritmik kelib chiqishi ­. To'rtta asosiy algoritm modeli matematik jihatdan ­ekvivalentdir, lekin amalda ular dasturlashning turli yo'nalishlarini, shu jumladan ba'zi asosiy metodologiyalarni keltirib chiqardi [5]:

• 
  dasturlash metodologiyasini aniqlash ;­
  
• 
  tuzilgan dasturlash metodologiyasi o'z g'oyalari va konstruktsiyalarini meros qilib oldi ;­
  
• 
  Church, Scheinfinkel va Curry lambda hisobi - bu g'oyalar funktsional ­dasturlash metodologiyasida faol ishlab chiqilgan;
  
• 
  normal Markov algoritmlari - bu model ­mantiqiy dasturlash va ­ramziy ma'lumotlarni qayta ishlash uchun asos bo'lib xizmat qildi.
  

1. 
   Imperativ dasturlash metodologiyasi
   

, kalkulyatorning holatini bosqichma-bosqich o'zgartirish ­printsipi bilan tavsiflanadi ­. Shu bilan birga, o'zgarishlarni boshqarish to'liq aniqlangan ­va to'liq nazorat qilinadi.