vazifalar. 1965 yilda Karnegi Mellon universiteti olimlari guruhi
1950-yillarda paydo bo'lgan kompyuterlar a
GPS (umumiy muammolarni hal qiluvchi) kabi birinchi aqlli tizim evristik
qoidalar va tamoyillarga asoslangan holda ishlab chiqilgan.
shuningdek, keyinchalik mantiqiy dasturlashning asosiga aylangan predikat
hisobini yaratish - formal.
og'zaki sun'iy intellekt usullaridan foydalanadigan
tizimlar XX asrning 60-
yillarida yaratilgan. 1962 yilda J.Makkarti ko‘plab
murakkab masalalarni
yechish uchun qulay bo‘lgan LISP funksional dasturlash tilini yaratdi.
ramziy yoki og'zaki sun'iy intellekt asoslari.
raqamlar, balki og'zaki jarayonlarni algoritmik modellashtirish
ko'plab teoremalarni isbotlovchi muammolar va modernizatsiya qilingan
mantiqiy xulosa. Ushbu tizim hal qilish uchun ishlatilgan
aql-idrok bo'yicha odamlar bilan raqobatlasha oladigan dasturlarni yaratish
uchun mantiqiy xulosalardan foydalanishni bo'g'ib qo'ying. Algoritmik
dasturlash tizimini yaratuvchisi A.Tyuring, kompyuterlar faqat qayta ishlay
olmaydi, degan fikrni ilgari surdi.
asosida qurilgan evristika tizimini amalga oshirish orqali
robotlar.
fikrlash. Olimlarning fikrlash mashinalarini yaratishga
intilishi fikrlashga
taqlid qila oladigan dasturlarni yaratishga olib keldi.
manipulyatsiyani rejalashtirish va integral navigatsiyasi uchun shakl
munosabatlar mantig'i va Freget va Peanoning takliflar hisobi,
Intellektualni yaratish uchun birinchi amaliy qadamlar
keyin bir qator tijorat ekspert tizimlarini ishlab chiqish: AMLInter (birinchi
tibbiy tizim), MYCIN (tibbiyot).
insonning fikrlash jarayonlarini o'rganish.
mantiqning Dekart tomonidan empirik bilim shaklida rasmiylashtirilishi.
Zamonaviy mantiq qat'iy aksiomatikaga ega rasmiy Bul-Morgan mantiqiy
tizimining rivojlanishi bilan bog'liq.
Bilim kontseptsiyasi rasmiy ravishda 1970-yillarda ishlab chiqilgan bo'lib,
birinchi DENDRAL ekspert tizimining (Stenford universiteti) yaratilishiga olib
keldi. U bilimlarni Post ishlab chiqarish ko'rinishida ishlatgan va LISP da
dasturlashtirilgan. Keyinchalik
47
Machine Translated by Google
Sun'iy intellektda ob'ektli yondashuvni amalga oshirish uchun ko'p
sonli protsessorli va tarmoqni tashkil qiluvchi maxsus kompyuterlar ishlab
chiqilgan. Ushbu kompyuterlardan biri
asoslangan kuchli mantiqiy dastur tarjimon
Ulanish mashinasi, massiv parallel arxitekturaga ega bo'lgan mashinalarga
ishora qiladi va tomonidan ishlab chiqilgan
dasturlash.
1972 yilda PROLOG mantiqiy dasturlash tili ishlab chiqildi,
u turli
modifikatsiyalarda hozirgi kungacha aqlli dasturlarni yozish uchun keng
qo'llaniladi. Uning
muvaffaqiyat va samarali qo'llash dastur tufayli edi
murakkab matnlar, sahnalar va tuzilgan bilimlar bilan.
sun'iy intellekt tamoyillariga asoslangan holda, ushbu dastur doirasidagi
ishlar juda kuchli mantiqiy apparat va dasturiy ta'minotni ishlab chiqishga
olib keldi.
1960-yillarning oxirida ishlab chiqilgan bilimlarning semantik tarmoqlar
ko'rinishida ifodalanishi rivojlanish uchun asos bo'ldi.
semantik va ramka tarmoqlaridagi tizimlar. Bunday yondashuv rivojlanish
uchun yangi
imkoniyatlar berishi mumkin, deb taxmin qilingan
1987 yilda aqlli apparatni amalga oshirishi mumkin edi
Robinsonning rezolyutsiya usuli va tilning soddaligi.
Kelajakda vakillik ham alohida ahamiyatga ega
Ramziy aqlli tizimlarning rivojlanishiga sezilarli turtki bo'lgan
Yaponiyaning ICOT dasturi.
tabiiy tillar, tushunchalar va semantik ma'lumotlar bilan ishlaydigan aqlli
tizimlar.
aqlli tizimlar.
noto'g'ri bilimga asoslangan tizim) va boshqalar.
allaqachon ishlashga imkon beruvchi bilimning tarmoq yoki ob'ekt shakli
ushbu dastur doirasida olimlar PROLOG tilining takomillashtirilgan
versiyalarini va ular bilan ishlash uchun maxsus protsessorlarni ishlab
chiqdilar. Kompyuterni yaratishning yakuniy maqsadlari bo'lishiga
qaramay
1975 yilda taklif qilingan ramkalar tarmoqlari ko'rinishidagi bilim. Bu bo'lgandi
noto'g'ri bilimga asoslangan tizim), PROSPECTOR (geografik
beshinchi avlod kompyuterlarini yaratish. 1981 yildan yaponiyalik
48
Machine Translated by Google
qaysi bir taklifning predmeti va boshqasining predikati asosida
til. Aristotel an'anaviy mantiqning uchta qonunini kiritdi:
ramziy yo'nalish ularning faoliyati doirasidan tashqariga chiqmadi
- o'ziga xoslik: A - A (hukm o'zini anglatadi);
An'anaviy mantiqda fikrlashning asosi sillogizm edi,
ma'lum bir mavzu bo'yicha yangi bilimlar. Ushbu ish kalit bo'lgan mashinani o'rganish
muammosiga ishora qiladi
to'liq fikrni tushungan,
tabiiy ravishda ifodalangan
o'z-o'zini o'rganish bilan mantiqiy aqlli tizimlarni yaratishda. Biroq, hozirgacha bunday
tizimlarni ishlab chiquvchilar doirasida
shakllanishi.
to'rtta shakl. Natijada deduktiv xulosa chiqarish qoidalari shu edi
Do'stlaringiz bilan baham: 
