Mashinali o‘qitishga kirish

SITlarini qurishning turli yondashuvlari. SITlarini qurishning turli 
yondashuvlari oldin ham bo’lgan va hozirgi vaqtda ham mavjud. Shuni ta’kidlash 
joizki, SIni to’liq quradigan tizimlar oldin ham bo’lmagan va hozirgi davrda ham 
mavjud emas. Shuning uchun SIni qurishdagi yondashuvlarning qaysi biri to’g’ri va 
qaysi biri noto’g’ri ekanligini aniq aytish qiyin masalaligicha qolmoqda. 
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 
O’yinli dasturlar 
Tabiiy-tilli 
dasturlar 
Musiqali 
dasturlar 
Insonlar o’yini 
Kompyuterli o’yinlar 

Pereborli o’yinlar

Topologik o’yinlar

Stoxastik o’yinlar 

Qat’iy sxemali o’yinlar 

Senariyli o’yinlar 
Mashinali tarjima 
Avtomatik rafеrentlash 
Matnlarni tuzish 

Badiiy matnlar

Sheriy matnlar
Musiqiy asarlarni tuzish 
Musiqiy asarlarni tahlil qilish 
Kuylash uslubini imitatsiya 
qilish 
Rаsm(manzara)li va grafika(chiziq, yozuv)li asarlarni yaratish 
dasturlari 
Intellektual masalalarni eshuvchi dasturlar 

---

16 
mantiqi hisobiga kengaydi. SIning har bir tizimining ishlashi asosan mantiqiy
qoidalarga asoslangan. 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. Bundan tashqari, har bir mashinada maqsadlarni generatsiy qilish 
bloki mavjud bo’ladi va xulosalash tizimi ushbu maqsadlarni teoremalar ko’rinishda 
isbotlaydi.