1-ma'ruza. Sun’iy intellektga kirish

birinchi
tartibli
1960 yildan boshlab
predikatlar mulohazasida
teoremalarni
isbotlashni amalga oshiradigan bir qator dasturlar ishlab chiqildi. Bu daturlar SI da deduktiv xulosalashda qo’llanilgan.
Amerikalik kibernetik A.Samuel tomonidan mashinada shashka o’ynaydigan dastur yaratildi. 1962 yilda bu dastur asosida mashina AQShning eng kuchli shashkachisi R. Nili bilan o’ynadi va uni yutib chiqdi.
SI asosiy yo’nalashlaridan biri-robototexnika hisoblanadi [4]. Birinchi yaratilgan robotlarni intellektual
Faqat 1960 yillarda universal
deb hisoblab bo’lmaydi. kompyuterlar
bilan boshqariladigan sezuvchi robotlar
yaratila boshladi. Misol sifatida 1969 yilda Yaponiyada “sanoat intellektual roboti” yaratish loyihasi ishlab chiqildi. Bu loyihaning maqsadi - yig’ish-montaj ishlarini bararuvchi sezuvchi manipulyatsiyali robotni yaratishdan iborat edi.
Shunday qilib, 1960 -yillarning oxirida SI sohasida asosiy e’tibor masalalarni tavsivlash va holatlar fazosida echimlarni izlash usullariga, hususan, masalalarni mantiqiy shaklda tavsiflash va rezolyusiyalar usuli asosida teoremalarni avtomatik isbotlash qaratildi.
20-asrning 70-yillari quyidagi tadqiqotlar bilan xarakterlanadi [1-4].
E. Feygenbaum, B. Bukhenenom, E. Liderbergom tomonidan 1969 yilda ishlab chiqilgan dastur bu - DENDRAL hisoblanadi. DENDRAL - murakkab organik molekulalar strukturalarini tanish uchun qo’llaniladigan ekspert tizim[1- 4].
Keyinchalik E. Feigenbaum, B. Bukxenen, E. Shortliff MYCIN ekspert tizimini ishlab chiqadi [1-4]. Unda qonda yuqumli kasalliklarni aniqlashga imkon beradigan 450 ga yaqin qoidalar mavjud. MYCIN - ichak kasalliklariga tashxis qo`yuvchi ekspert tizim.
1979 yilda "PROSPECTOR" ekspert tizimi yaratilgan. PROSPECTOR
foydali qazilmalarni topishda maslahat beruvchi ekspert tizim hisoblanadi[1-4].
1973 yilda A. Kolmeroe AQSh, Yevropa, Rossiyada ommalashgan mantiqiy dasturlash tili - Prolog tilini yaratdi. Keyinchalik FRL, KRL, GUS mantiqiy dasturlash tilllari ishlab chiqildi.
1973 yilda A. Kolmeroe AQSh, Yevropa, Rossiyada ommalashgan mantiqiy dasturlash tili - Prolog tilini yaratdi. Keyinchalik FRL, KRL, GUS mantiqiy dasturlash tilllari ishlab chiqildi.