6-amaliy mashg’ulot. Deduktiv, induktiv va abduktiv xulosalash Deduktiv xulosalash masalalarini formallashtirish



Download 83.21 Kb.
bet1/7
Sana17.01.2021
Hajmi83.21 Kb.
  1   2   3   4   5   6   7


6-amaliy mashg’ulot. Deduktiv, induktiv va abduktiv xulosalash
Deduktiv xulosalash masalalarini formallashtirish. Aytaylik masala predikatlar hisobi tilida tavsiflangan bo’lsin. Agar orqali boshlang’ich tasdiqlarni, orqli maqsadli tasdiqlarni belgilasak, u holda teoremalar shaklida berilgan masalani formal ko’rinishda quyidagich yozish mumkin [1,2,8,12-14]:

Boshqacha so’z bilan aytganda, to’plamdan mantiqiy ravishda formula kelib chiqishini isbotlash zarur.



Agarda to’plam formula bilan tasvirlangan bo’lsa, u holda predikatlar hisobining deduktiv xulosalash masalasi formulalarning umumqiymatliligini aniqlashga keltiriladi:

Sun’iy intellekt tizimlarining mahsuliy masalalarini echishda deduktiv xulosalashning asosan ikkita: teskari va to’g’ri xuloslash usullari mavjud (bu xulosalashlar amaliy mashg’ulotning mahsuliy modellar mavzusida to’liq keltirilgan) [8,12-14].




Download 83.21 Kb.

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




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

    Bosh sahifa
davlat universiteti
ta’lim vazirligi
O’zbekiston respublikasi
maxsus ta’lim
zbekiston respublikasi
axborot texnologiyalari
o’rta maxsus
nomidagi toshkent
guruh talabasi
davlat pedagogika
texnologiyalari universiteti
xorazmiy nomidagi
toshkent axborot
pedagogika instituti
rivojlantirish vazirligi
toshkent davlat
haqida tushuncha
Toshkent davlat
vazirligi toshkent
samarqand davlat
ta’limi vazirligi
tashkil etish
kommunikatsiyalarini rivojlantirish
matematika fakulteti
navoiy nomidagi
vazirligi muhammad
nomidagi samarqand
bilan ishlash
Darsning maqsadi
fanining predmeti
maxsus ta'lim
ta'lim vazirligi
Ўзбекистон республикаси
pedagogika universiteti
sinflar uchun
fanlar fakulteti
o’rta ta’lim
Toshkent axborot
Alisher navoiy
haqida umumiy
fizika matematika
Ishdan maqsad
moliya instituti
universiteti fizika
Nizomiy nomidagi
таълим вазирлиги
махсус таълим
respublikasi axborot
umumiy o’rta
pedagogika fakulteti
nazorat savollari