Mashinali o’qitishga kirish” fanidan mustaqil ish №1



Download 28,19 Kb.
bet5/8
Sana29.04.2023
Hajmi28,19 Kb.
#933392
1   2   3   4   5   6   7   8
Bog'liq
1-mustaqil ish

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.9-rasm) [1,12,16].

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.


Download 28,19 Kb.

Do'stlaringiz bilan baham:
1   2   3   4   5   6   7   8




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish