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

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].