Muhammad al-xorazmiy nomidagi toshkent axborot texnologiyalari universiteti farg'ona filiali

Intellektual dasturlash.

SIdagi ushbu yo’nalish dasturchining ushbu sohaga nisbatan qarashlariga mos keladi. Intellektual ilovalarni yaratishdagi qiyinchiliklar foydalanilgan algoritmik tilga, instrumental tizimga, dasturlash paradigmalariga, intellektual axborot tizim(IAT)ni yarish vositalariga va bilimlarni olishga, grafikli tizimlarga bevosita bog’liq.

1) C, C ++ kabi an'anaviy dasturlash tillari asosan instrumental tizim yaratish uchun qo’llaniladi.

1) C, C ++ kabi an'anaviy dasturlash tillari asosan instrumental tizim yaratish uchun qo’llaniladi.

2) Maxsus dasturlash tillari:

• 
  Ro'yxatlarni qayta ishlashga yo'naltirilgan LISP va uning ko'p sonli versiyalari;
  
• 
  PROLOG mantiqiy dasturlash tili. Oldin mashinali tarjima qilishda, keyinroq esa mantiqiy ifodalardan mantiqiy xulosalashda qo’llaniladi;
  
• 
  Rekursif funksiyali REFAL tili.
  

3) BNEda qo’llaniladigan tillar: KL-1, KRL, FRL freymlarga mo’ljallangan, PILOT produsiyali modellarga mo’ljallangan.

Instrumental tizimlar yetarli darajada tez rivojlanadi va turli xil intellektual tizimlarni loyihalash va yaratish uchun mo'ljallangan. Hozirgi davrgacha ETlar deb nomlanuvchi ko’plab instrumental vositalar ishlab chiqilgan [1,12,16]. Masalan, EKO, Leonardo, Nexpert Object, Kappa, EXSYS, GURU, APT, KEE va h.k.

Shuningdek, oxirgi yillarda integrallashgan instrumental tizimlar ishlab chiqarila boshlandi. Sunday tizimlarga misol sifatida Work bench tizimlarga KEATS, Shelly, VITAL larni keltirish mumkin [16].

Ko'plab dasturiy tillar orasida SI bo'yicha kichik bir qismi ishlatiladi:

SITlarini qurishning quyidagi mavjud yondashuvlarini keltiramiz:

SITlarini qurishning quyidagi mavjud yondashuvlarini keltiramiz:

1) Mantiqiy yondashuv. Mantiqiy model uchun asos sifatida Bul algebrasi xizmat qiladi. Bul algebrasining rivojlanishi predmet belgilar, ular orasidagi munosabatlar, mavjudlik va ixtiyoriylik kvantorlarini o’z ishiga olgan predikatlar mantiqi hisobiga kengaydi. Bunga misol sifatida teoremalarni isbotlashni keltirish mumkin. Teoremalarni isbotlashda boshlang’ich ma’lumotlar aksiomalar sifatida ma’lumotlar bazasida, ular orasidagi munosabatlar mantiqiy xulosalash qoidalari sifatida saqlanadi.