Sun’iy intellektning asosiy tushunchalari

TATU SF “Kompyuter injiniringi” fakulteti “Kompyuter tizimlari” kafedrasi 4 kurs “Kompyuter injiniringi (kompyuter injiniringi va AT-servis)” yo’nalishlari talabalari uchun “Sun’iy intellekt” fanidan yakuniy baholash
Variant 1

1. 
   Sun’iy intellektning asosiy tushunchalari.
   
2. 
   Ekspert tizimni yaratishning bosqichlari.
   

3. U – noravshan to‘plamda A(erkak) va B(ayol) – noravshan to‘plamostilari berilgan bo‘lsin.

ekanligini aniqlang.

1. 
   Sun’y intellektning rivojlanish etaplari.
   
2. 
   Bilimlarni tasvirlashning formal modellari.
   
3. 
   Berilgan
   

MB: A,B.
Qoida 1: A∧G∧C → D.
Qoida 2: K∧F →H.
Qoida 3: A →G.
Qoida 4: C → F.
Qoida 5: A → C.
D qoidaning chinligini keltirib chiqaring.

1. 
   Sun’y intellektning shakllanishi.
   
2. 
   Produktsiyali tizimlarda to‘g‘ri va teskari xulosalash.
   
3. 
   A boshlang‘ich tugunli 3 va 5 qatlamli “va-yoki” tipli daraxtni quring.
   

1. 
   Ekspert tizimlarni yaratish bosqichlari.
   
2. 
   Freymli modellarning strukturasi.
   
3. 
   Daraxtning K tuguni uchun ichki tugunlarni toping va mantiqiy formula ko‘rinishda ifodalang..
   

1. 
   Sun’iy intellektning 1-avlodlari (1986–1996).
   
2. 
   Lingvistik o’zgaruvchilar va ularni tasvirlash.
   
3. 
   Berilgan
   

MB: A,B, C
Qoida 1: A∧B∧C → D.
Qoida 2: D∧F →H.
Qoida 3: A →G.
Qoida 4: C → F.
Qoida 5: A → C.
D qoidaning chinligini keltirib chiqaring.

1. 
   Sun’iy intellektning 2- avlodlari.
   
2. 
   Koxonen neyron tarmoqlari.
   
3. 
   Quyidagi “va-yoki” graflar uchun mantiqiy formulalarni tuzing:
   

1. 
   Ekspert tizimlarni yaratish uchun instrumental vositalar.
   
2. 
   Freymli modelning strukturasi.
   
3. 
   Quyidagi “va-yoki” graflar uchun mantiqiy formulalarni tuzing:
   

1. 
   Ekspert tizimlarning asosiy xarakteristikalari.
   
2. 
   Freymlarning tiplari.
   
3. 
   Quyidagi “va-yoki” graflar uchun mantiqiy formulalarni tuzing:
   

1. 
   Sun’iy intellektning neyrobionik yo‘nalishi.
   
2. 
   Noravshan bilimlar va ma’lumotlar
   
3. 
   “Agar B va C yoki D va K masalalar yechilsa, uholda A va Ye yoki F va G masalalar yechiladi” muloxazani graf ko‘rinishda tasvirlang.
   

1. 
   Ekspert tizimlarni klassifikatsiyasi.
   
2. 
   Noravshan bilimlar va ularni ishlash uslublari.
   
3. 
   “A masala yechilishi mumkin, agarda B va C va K yoki D yoki G masalalar yechilsa” muloxazani graf ko‘rinishda tasvirlang
   

1. 
   Sun’iy intellektning klassifikatsiyasi.
   
2. 
   Rastrli tasvirlar va videotasvirlarga ishlov berish va tadqiqot oʻtkazish dasturiy vositalari.
   
3. 
   mantiqiy formulani graf ko‘rinishda tasvirlang
   

1. 
   Tarmoqli modellarni sinflash.
   
2. 
   Exspert tizimlarni yaratish bosqichlari.
   
3. 
   Berilgan
   

MB: A,B, C,
Qoida 1: A∧B∧C → D.
Qoida 2: D∧F →H.
Qoida 3: A →G.
Qoida 4: C → F.
Qoida 5: H∧B → C.
Qoida 6: A∧C∧F →B.
Qoida 7: C∧F∧D → F.
Qoida 8: A → C.
H, D, F qoidalarning chinligini yoki yolg‘onligini keltirib chiqaring.
.

1. 
   Sun’iy intellekt tizimlarini klassifikatsiyalashning A. V. Andreychikov va O. N. Andreychikova prinsipi.
   
2. 
   Noravshan bilimlar va ma’lumotlarning xususiyatlari.
   
3. 
   mantiqiy formulani graf ko‘rinishda tasvirlang.
   

1. 
   Sun’iy intellekt tizimlarini klassifikatsiyalashning D. V. Gaskarov printsipi.
   
2. 
   Noravshan to‘plamlar.
   
3. 
   Robot o‘z xarakatini n punktlarning ixtiyoriy bittasidan boshlab, har birida faqat bir martadan bo‘lib, yana boshlang‘ich punktiga qaytib kelishi kerak. Quyidagi grafda berilgan marshrutlar uchun eng qisqa yo‘lni toping
   

1. 
   Sun’iy intellekt tizimlarini klassifikatsiyalashning S.N.Pavlov printsimi.
   
2. 
   Noravshan to‘plamlarda lingvistik o‘zgaruvchilar.
   
3. 
   mantiqiy formulani DNSh va KNSh ko‘rinishga keltiring.
   

1. 
   Sun’iy intellekt tizimlarini klassifikatsiyalashning L. N. Yasnitskiy printsipi.
   
2. 
   Noravshan to‘plamlar ustida oddiy amallar.
   
3. 
   Robot o‘z xarakatini n punktlarning ixtiyoriy bittasidan boshlab, har birida faqat bir martadan bo‘lib, yana boshlang‘ich punktiga qaytib kelishi kerak. Quyidagi grafda berilgan marshrutlar uchun eng uzun yo‘lni toping.
   

1. 
   Sun’iy intellekt tizimlarini klassifikatsiyalashning V. N. Bondareva, F. G. Ade printsipi.
   
2. 
   Ekspert tizimlarning vazifalari.
   
3. 
   Robotning xarakati marshruti keltirilgan. Rasmda keltirilgan ma’lumotlardan foydalanib, robotning 1-tugundan 5 -tugungacha bo‘lgan eng qisqa yo‘lini toping:
   

1. 
   Sun’iy intellekt tizimlarini qurigshning mantiqiy yondashuvi.
   
2. 
   Tarmoqli modellarni sinflash.
   
3. 
   Bilimlarni tavsiflashning freymli modelidan foydalanib, “o‘quv sinfi”, “kompyuter” tushunchalarini freymlar ko‘rinishda ifodalang.
   

1. 
   Keng va samarali qo‘llaniladigan ekspert tizimlar.
   
2. 
   Semantik tarmoqlarning tavsifi.
   
3. 
   U – noravshan to‘plamda A(erkak) va B(ayol) – noravshan to‘plamostilari berilgan bo‘lsin.
   
4. 
   
   

ekanligini aniqlang.

1. 
   Sun’iy intellekt tizimlarini klassifikatsiyalashning Ye. V. Lutsenko printsipi.
   
2. 
   Ekspert tizimlarning prototiplari va xayot tsikli.
   
3. 
   Mahsuliy -qoidalar to‘plami berilgan:
   

Boshlang‘ich ma’lumotlar:
START = {A; B;C}
1) A∧ B → D;
2) C∧B →E;
3) E∧A →F;
4) B∧D → F;
5) F∧C∧A →K;
6) T → G;
7) F∧C∧B → H;
8) K → S;
9) F →P;
10) H → goal;
11) P → goal.
12) S → goal.
Mahsuliy tizimlar xulosalarini quring va graf ko‘rinishda tasvirlang.

1. 
   Sun’iy intellekt tizimlarini qurishning strukturali yondashuvi.
   
2. 
   Funktsional tarmoqlar.
   
3. 
   U – noravshan to‘plamda A(erkak) va B(ayol) – noravshan to‘plamostilari berilgan bo‘lsin.
   
4. 
   
   

ekanligini aniqlang.

1. 
   Sun’iy intellekt tizimlarini qurigshning imitatsiyali yondashuvi.
   
2. 
   Samantik tarmoqlar klassifikatsiyasi
   
3. 
   Bilimlarni tavsiflashning freymli modelidan foydalanib, “xayvon”, “avtomobil” tushunchalarini freymlar ko‘rinishda ifodalang.
   

1. 
   Sun’iy intellekt tizimlarini qo‘llashning amaliy masalalari.
   
2. 
   Semantik tarmoqlar.
   
3. 
   Slotlarda freym-prototiplardan foydalanib, Nima? Kim? Qachon? Qaerga? Nima uchun? – o‘zgaruvchilar asosida “aspirantura”, “ekzamen” tushunchalarini freym-ekzemplyar ko‘rinishda ifodalang.
   

1. 
   Sun’iy intellekt tizimlarinining funktsional strukturasi.
   
2. 
   Semantik tarmoqlarning tiplari.
   
3. 
   «dan iborat» munosabatidan foydalanib, “kasb”, “kompyuter” tushunchalarini freymlar ko‘rinishda ifodalang.
   

1. 
   Bilimlar va ma’lumotlar.
   
2. 
   Semantik tarmoqlarda munosabatlarning turlari.
   
3. 
   U – noravshan to‘plamda A(erkak) va B(ayol) – noravshan to‘plamostilari berilgan bo‘lsin.
   
4. 
   
   
5. 
   aniqlang.
   

1. 
   Bilimlarning kategoriyalari.
   
2. 
   Assotsiativ tarmoq.
   
3. 
   Irarxik tipli freymli modellardan foydalanib, “kasb”, “uy” tushunchalarini freymlar ko‘rinishda ifodalang.
   

1. 
   Bilimlarni klassifikatsiyalashning aspektlari.
   
2. 
   Produktsiyali tizimlarda to‘g‘ri va teskari xulosalash.
   
3. 
   U – noravshan to‘plamda A(erkak) va B(ayol) – noravshan to‘plamostilari berilgan bo‘lsin.
   
4. 
   
   
5. 
   aniqlang.
   

1. 
   Timsollarni anglashning asosiy tushunchalari va ta’riflari
   

2. Predikatlar mantiqi formulasini KNF ko‘rinishga keltirish
_3. U – noravshan to‘plamda A(erkak) va B(ayol) – noravshan to‘plamostilari berilgan bo‘lsin.

aniqlang.
. .

1. 
   Bilimlarning xususiyatlari.
   
2. 
   Predikatlar mantiqi formulasini deyarli normal shaklga keltirish algoritmi.
   
3. 
   AKO-aloqa (A-Kind-Of = eto) munosabatdan foydalanib, “Talaba-O‘spirin-Odam”, tushunchalarini freymli tarmoqlar ko‘rinishda ifodalang.
   

1. 
   Bilimlarni tushunish darajalarini klassifikatsiyalash.
   
2. 
   Predikatlar mantiqi asosiy teng kuchliliklari.
   

3. AKO-aloqa (A-Kind-Of = eto) munosabatdan foydalanib, “Dotsent-Olim-Odam”” tushunchalarini freymli tarmoqlar ko‘rinishda ifodalang.

1. 
   Sun’iy intellekt masalalarini klassifikatsiyalash.
   
2. 
   Predikatlar ustida kvantor amallari.
   
3. 
   U – noravshan to‘plamda A(erkak) va B(ayol) – noravshan to‘plamostilari berilgan bo‘lsin.
   
4. 
   
   

aniqlang.

1. 
   Sun’iy intellekt masalalarini yechishning umumiy usullalari.
   
2. 
   1-tartibli predikatlar mantiqi.
   
3. 
   U – noravshan to‘plamda A(erkak) to‘plamosti berilgan bo‘lsin.
   

_.
Quyidagi

4. 
   
   

qoidadan foydalanib, noravshan A to‘plamostini ravshan to‘plamostiga keltiring.

1. 
   Timsollarni anglovchi tizimlar.
   
2. 
   Predikatlar mantiqi.
   
3. 
   U – noravshan to‘plamda A(erkak) to‘plamosti berilgan bo‘lsin..
   

_Quyidagi

4. 
   
   

qoidadan foydalanib noravshan A to‘plamostini ravshan to‘plamostiga keltiring.

1. 
   Predmet soxaga qo‘yiladigan umumiy talablar.
   
2. 
   Muloxazalar mantiqi va amallari.
   
3. 
   «qism-butun» munosabatdan foydalanib, “kasb”, “vedomost” tushunchalarini freymlar ko‘rinishda ifodalang.
   

1. 
   Bir o‘lchovli fazoda yechimni izlash usullari.
   
2. 
   Timsollarni anglovchi tizimlar yordamida yechiladigan masalalar.
   

3. Quyidagi noravshan chin qiymatlar to‘plami berilgan:

Toping:

1. 
   "Deyarli chin yoki chin" ifodaning noravshan chinligini va hosil qilingan noravshan ifodani "Ancha-muncha chin" noravshan ifoda bilan taqqoslang.
   

1. 
   Xolatlar fazosida yechimni izlash usullari.
   
2. 
   Bilimlarni namoyish etishning stsenariysi.
   

3. Quyidagi noravshan chin qiymatlar to‘plami berilgan:

Toping:

1. 
   "Deyarli chin yoki ancha-muncha chin" ifodaning noravshan chinligini va hosil qilingan
   

noravshan ifodani "Chin" noravshan ifoda bilan taqqoslang.
.

1. 
   Xolatlar fazosida yechimni kengligi (minimum) bo‘yicha izlash usuli.
   
2. 
   Bilimlarni namoyish etishning tarmoqli modeli.
   
3. 
   Bilimlarni tavsiflashning freymli modellaridan foydalanib, quyidagi vaziyatlarni tasvirlovchi munosabatlar strukturasini amalga oshiring:
   

1) Vedomostning tashkil etuvchilari: «fan, talaba, imtihon, semestr, o‘vituvchi, baho» dan iborat.

1. 
   Xolatlar fazosida yechimni chuqurligi (maksimum) bo‘yicha izlash usuli.
   
2. 
   Bilimlarni namoyish etishning mantiqiy modeli
   
3. 
   U noravshan to‘plamda quyidagi noravshan to‘plamostilari berilgan:
   

Aniqlang:
_1)
2)

1. 
   Xolatlar fazosida yechimni izlashning evristik usuli.
   
2. 
   Timsollarni anglovchi tizimlarning tiplari.
   
3. 
   “Avtomobil“ tushunchasni assotsiativ tarmoq ko‘rinishda tasvirlang.
   

1. 
   Timsollarni anglovchi tizimlar nazariyasida klassifikatsiyalash masalasi.
   
2. 
   Induktiv xulosalash.
   
3. 
   U noravshan to‘plamda quyidagi noravshan to‘plamostilari berilgan:
   

Aniqlang:
_1)
2)

1. 
   Timsollarni anglovchi tizimlarning baholi hisoblash algoritmi.
   
2. 
   Deduktiv xulosalash.
   
3. 
   Quyidagi mantiqiy mulohaza uchun mantiqiy formulalarni quring.
   

Voyaga yetgan shaxslarning mehnatga layokatsiz va mod­diy yordamga muxtoj bulgan ota-onani yoki ularning o‘rnini bosuvchi shaxslarni moddiy ta’minlashdan chuqurligin tovlashi, ya’ni ularni moddiy jihatdan ta’minlash uchun sudning hal qiluv qaroriga binoan undirilishi lozim bulgan mablag‘ni jami bo‘lib uch oydan ortik muddat mobaynida to‘lamasligi, - eng kam oylik ish haqining ellik baravarigacha mikdorda jarima yoki uch yilgacha ahloq tuzatish ishlari yoxud olti oygacha qamoq bilan jazolanadi.

1. 
   Timsollarni anglovchi tizimlarning qsmiy pretsedentli algoritmi.
   
2. 
   Sun’iy intellekt klassifikatsiyasi.
   
3. 
   Quyidagi mantiqiy mulohaza uchun mantiqiy formulalarni quring.
   

Davlat muxofazasiga olingan tarix yoki madaniyat yod­gorliklarini qasddan nobud qilish, buzish yoki ularga shikast yetkazish shunday xarakatlar uchun ma’muriy jazo qo‘llanilganidan keyin sodir etilgan bo‘lsa, - eng kam oylik ish haqining ellik baravarigacha mik­dorda jarima yoki uch yilgacha ahlok tuzatish ishlari yoxud olti oygacha qamoq bilan jazolanadi.

1. 
   Timsollarni anglovchi tizimlarda avtomatik klassifikatsiyalash masalasi va algoritmi.
   
2. 
   Evristik izlash va teoremalarni isbrtlash.
   
3. 
   Agar A=«Axmad - abiturient» i V=«Axmad hujjat topshirishga haqli». «Ixtiyoriy abiturient hujjat topshirishga haqli» mulohazaga mos mantiqiy formulani quring
   

1. 
   Bilimlarni namoyish etishningfreymli modeli.
   
2. 
   Sun’iy intellektning neyrobionik yo‘nalishi.
   
3. 
   mantiqiy predikatlar formulasini deyarli normal shaklga keltiring.
   

1. 
   Genetik algoritmlar va an'anaviy optimallashtirish usullari.
   
2. 
   Tarmoqli model.
   
3. 
   Aytaylik quyidigi atributlar mavjud:
   

Rang: X1={sariq=0, ko‘k=1, yashil=2, qizil=3};
Shakl: X2={0=aylana, 1=kvadrat, 2=to‘rtburchak};
O‘lchov: X3={0=kichchik, 1=katta};
Vazn: X4={0=engil, 1=og‘ir};
Yemoqga mo‘ljallanganlik darajasi: X5={0=emoqga mo‘ljallangan, 1= yemoqga mo‘ljallanmagan};
-Berilgan sinflar:
a1=olma; a2=to‘p; a3=ko‘taradigan tosh; a4=banan;
- Berilgan qoidalar:
1) (X2=0) (X5=0) a1;
2) (X2=0) ( X4=1) a3;
3) (X2=0) a2;
4) (X1=0) (X2=2) ( X5=0) a4;
5) (X2=0) (X5=0) (X2=1) (X2=2) a1;
1 -5 - qoidalarning chin yoki yolg‘on ekanligini aniqlang.

1. 
   Genetik algoritm va uning asosiy tushunchalari.
   
2. 
   Sun’iy intellektning informatsion yo‘nalishi
   
3. 
   U noravshan to‘plamda quyidagi noravshan to‘plamostilari berilgan:
   

Aniqlang:
_1)
2)

1. 
   Genetik algoritmlar va an'anaviy optimallashtirish usullari..
   
2. 
   Bilimlarni freymli tasvirlash tillari va freymli exspert tizimlar
   
3. 
   Quyidagi
   
4. 
   
   

boshlang‘ich tahminlarga asosan Bayes tarmog‘ini hosil qiling. 

1. 
   Neyron tarmoqlarning elementlari.
   
2. 
   Sun’iy intellektning klassifikatsiyasi
   
3. 
   mantiqiy predikatlar formulasini deyarli normal shaklga keltiring.
   

1. 
   Predikatlar mantiqi.
   
2. 
   Neyron tarmoqlarning arxitekturasi.
   
3. 
   Quyidagi keltirilgan mulohazalarni birinchi tartibli predikatlar ko‘rinishiga keltiring:
   

1) Filialning har talabasi ingliz yoki nemis yoki frantsuz tilini o‘rganadi.
2) Filialning barcha talabalari ingliz, nemis va frantsuz tilini o‘rganadi.
3) Filialning barcha talabalari o‘zbek, ingliz va rus tillarini o‘rganadi.
4) Ba’zi qurilmalar ostsillograflar bilan jihozlangan.

1. 
   1-tartibli predikatlar mantiqi.
   
2. 
   Sun’iy intellekt tizimlarini qurigshning imitatsiyali yondashuvi.
   

3. Quyidagi keltirilgan mulohazalarni birinchi tartibli predikatlar ko‘rinishiga keltiring:
1) Har bir odam dam oladi.
2) Ba’zi odamlar dam oladi.
3) Bironta odam dam olmaydi.
4) Topshiriqni bajargan barcha ishchilar mukofotlandilar.
5) Topshiriqlarni bajargan ba’zi bir talabalarga imtihonga kirishga ruxsat berildi.

1. 
   Predikatlar ustida amallar.
   
2. 
   Neyron tarmoqlarning tiplari.
   
3. 
   Quyidagi keltirilgan mulohazalarni birinchi tartibli predikatlar ko‘rinishiga keltiring:
   

1) Topshiriqlarni bajarmagan birorta talabaga imtihonga kirishga ruxsat berilmadi.
2) Ba’zi bir talabalar 2017 yilda ingliz tilidan imtihonda qatnashdi..
3) Ingliz tilidagi imtihonda qatnashgan har bir talaba uni topshiradi.
4) Birorta ham olma shirin emas..
5) Barcha archa yashil rangli.

1. 
   Predikatlar ustida kvantor amallari.
   
2. 
   Ma’lumotlar bazasidan bilimlarni ajratib olish usullari.
   
3. 
   Quyidagi mantiqiy mulohazalar berilgan:
   

1) Umumiy fakt: (∀m) Inson (m)⇒Abiturient (m).
2) Xususiy fakt: Inson (Axmad).
3) Xulosa: Abiturient (Axmad).
Quyidagi mantiqiy xulosa qanday qiymat qabul qiladi:
((∀m)Inson(m)⇒Abiturient (m))∧Inson (Axmad)⇒Abiturient (Axmad).

1. 
   Predikatlar mantiqi asosiy teng kuchliliklari.
   
2. 
   Bilimlarning tiplari va bilimlarni sinflash.
   
3. 
   Quyidagi faktlar berilgan:
   

1-fakt: Xodim ishlab chiqarish qoidasini buzdi;
2-fakt: Xodim mahsulotni saqlash qoidasini buzdi;
3-fakt: Xodim mahsulotni tashish qoidasini buzdi.
Ushbu faktlardan tuzilgan quyidagi qoidaga mantiqiy formulani quring.
Qoida: Agar xodim ishlab chiqarish, mahsulotni saqlash va mahsulotni tashish qoidalarini buzsa, u holda u ishdan bo‘shatiladi.

1. 
   Predikatlar mantiqi formulasini deyarli normal shaklga keltirish algoritmi.
   
2. 
   Assotsiativ xotirali neyron tarmoqlari.
   
3. 
   Quyidagi faktlar berilgan::
   

1-fakt: Talaba sababsiz dars qoldiradi;
2-fakt: Talaba darsga kechikib keladi;
3-fakt: Talaba barcha fanlardan qoniqarsiz baho oladi.
Ushbu faktlardan tuzilgan quyidagi qoidaga mantiqiy formulani quring.
Qoida: Agar talaba dars qoldirsa va darslarga kechikib kelsa yoki barcha fanlardan qoniqarsiz baho olsa, u holda u talabalar safidan chiqariladi.

1. 
   To‘g‘ri va teskari xulosalash.
   
2. 
   Bilimlarning kategoriyalari.
   
3. 
   Yoylarga mos tushunchalardan foydalanib quyidagi masala uchun semantik tarmoqni tuzing.
   

Oziq ovqat mahsulotlarini klassifikatsiyalash. Yoylar: mahsulot nomi, tashkil etuvchi qismlari, tayyorlash usullari, saqlash muddatlari

1. 
   Ekspert tizimlarni yaratishdagi qiyinchiliklar.
   
2. 
   Statik ekspert tizimlarning strukturasi.
   
3. 
   U noravshan to‘plamda quyidagi noravshan to‘plamostilari berilgan:
   

Aniqlang:
_1)
2)

1. 
   Sun'iy intellektning rivojlanish bosqichlari.
   
2. 
   Dinamik ekspert tizimlarning strukturasi.
   

3. Quyidagi

3. 
   
   

_{boshlang‘ich} tahminlarga asosan Bayes tarmog‘ini hosil qiling. 

1. Sun’iy intellekt klassifikatsiyasi.

2. Freymli model strukturasi.
3. Oila tushunchasini semantik tarmoq ko‘rinishda tasvirlang.

1. Masalalarni yechishda predmet sohaga qo‘yiladigan talablar.

2. Mahsuliy model yadrosining tiplari.
3. Kompyuter tushunchasini semantik tarmoq ko‘rinishda tasvirlang.

1. Funktsional tarmoqlar.

2. Yo‘lni kengligi bo‘yicha izlash.
3. mantiqiy formulani DNSh ko‘rinishga keltiring.

1. Mahsuliy tizimlarni modulli tasvirlash.

2. Yo‘lni eni bo‘yicha izlash.
3.Quyidagi keltirilgan mulohazalarni birinchi tartibli predikatlar ko‘rinishiga keltiring:
1) Topshiriqlarni bajarmagan birorta talabaga imtihonga kirishga ruxsat berilmadi.
2)Ba’zi bir talabalar 2017 yilda ingliz tilidan imtihonda qatnashdi..
3) Ingliz tilidagi imtihonda qatnashgan har bir talaba uni topshiradi.
4) Birorta ham olma shirin emas.
5) Barcha archa yashil rangli.

1. Predmet soha xususiyatlari va masalalarni echish usullarini sinflash.

2. Predikatlar mantiqi formulasini deyarli normal shaklga keltirish.
3.Quyidagi keltirilgan mulohazalarni birinchi tartibli predikatlar ko‘rinishiga keltiring:
1) Barcha srnlar orasida manfiy sonlar mavjud.
2) Ixtiyoriy aktsiya qimmatli qog‘oz hisoblanadi.
3) Barcha sut emizuvchilar hayvon yoki inson hisoblanadi.
4) Maktabni yoki kollejni yoki litseyni bitirgan har bir inson oliy ta’lim muassasiga xujjat topshirishga haqli.
5) Har bir tsilindrning ustida kub turibdi.

1. 
   Sun’iy intellekt tizimlarini qurishning turli yondashuvlari.
   
2. 
   Dinamik ekspert tizimlarning strukturasi.
   

3. Quyidagi

3. 
   
   

_{boshlang‘ich} tahminlarga asosan Bayes tarmog‘ini hosil qiling. 

1. Freymli modelning umumiy strukturasi.

2. Mulohazalar mantiqi formulasini chinlik jadvali yordamida tekshirish.
3. Quyidagi mantiqiy mulohazalar berilgan:
1) Umumiy fakt: (∀m) Inson (m)⇒Abiturient (m).
2) Xususiy fakt: Inson (Axmad).
3) Xulosa: Abiturient (Axmad).
Quyidagi mantiqiy xulosa qanday qiymat qabul qiladi:
((∀m)Inson(m)⇒Abiturient (m))∧Inson (Axmad)⇒Abiturient (Axmad).
1. Freymli modelda qo‘llaniladigan asosiy aloqalar.
2. Assotsiativ tarmoqlar.
3. Aytaylik M – odamlar to‘plami. Quyidagi predikatlar berilgan bo‘lsin:
Otasi (m1,m2) chin bo‘ladi, qachonki agar m1 shaxs m2 shaxsning otasi bo‘lsa va Erkak (m) chin bo‘ladi, qachonki m – erkak bo‘lsa, va Erkak (m) yolg‘on bo‘ladi, qachonki m – ayol bo‘lsa. Opredelite istinnost sleduyuщix predikatov:
1) (∀m1, m2 ) (Ammasi(m1,m2)∧Erkak(m1)⇔Amma(m1,m2)).

1. Tarmoqli modellarda qo‘llaniladigan asosiy aloqalarning turlari.

2. Sun’iy intellektning asosiy tushunchalari.
3. Quyidagi muloxazalarni birinchi tartibli predikatlar ko‘rinishida tasvirlang:
1) barcha talabalar (X) o‘zbek tilini (P)o‘rganadilar;
2) birota talaba (X) a’lochi (P) emas;
3) ba’zi bir talabalar (X) ingliz tilini (P) biladi;
4) ba’zi bir talabalar (X) ingliz tilini (P) bilmaydi;

1. Sun’iy intellekt tizimlarini qurigshning mantiqiy yondashuvi.

2. Predikatlar ustida kvantor amallari..
3. “Odam” tushunchasni assotsiativ tarmoq ko‘rinishda tasvirlang

1. Sun’iy intellekt tizimlarini qurigshning mantiqiy yondashuvi.

2. Predikatlar ustida kvantor amallari..
_3. («dan uzoqda», «ga yaqin», «orqada», «ustida», «tagida», «yuqorida», «pastda»…) munosabatlarni “ob’ekt – ob’ekt” tushunchalariga qo‘llab, semantik tarmoq ko‘rinishda tasvirlang.

1. Sun’iy intellekt tizimlarini qurishning mantiqiy yondashuvi.

2. Predikatlar ustida kvantor amallari..
3. («xossaga ega», «qiymatga ega»,…) atributli munosabatlarni “ob’ekt – xossa” yoki “xossa-qiymat” tushunchalariga qo‘llab, semantik tarmoq ko‘rinishda tasvirlang.
1. Noravshan to’plamlar ustida oddiy amallar.
2. Bir o‘lchovli fazoda yechimni izlash usullari.
3. Binar munosabatlardan foydalanib «Axmad ingliz tilini yaxshi bilishiga ishonib, o‘yladiki, u Jahon tillar universitetiga test topshirib o‘qishga kiradi, uning o‘rtoqlari o‘ylayaptiki, Axmad xato qilayapti, uning ota-onasi esa Axmadning qobilyatiga ishonmayapti» muloxazani kontseptual graf ko‘rinishda tasvirlang.