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

Maqsad(3)
Fakt(2)
Tal (z,Maftuna4) ˄-(Teng(dast,z)	-(Tal (info, Maftuna 4)

-(Teng (Dast, Info) =1(chin)

Rezolyutsiya prinsipi sun’iy imtellekt tizimlarida quyidagi amaliy masalalarni echishda qo’llaniladi: axborotli izlash, robotning siljishini rejalashtirish, dasturlarni avtomatik yozish, mantiqiy dasturlash (Prolog), exspert tizimlar va h.k.

Abduktiv xulosalash. Abduksiya – bu tushuntiruvchi gipotezalarni shakllantirish jarayoni. Aniqrog’i, taklif qilingan tushuntirishlar uchun berilgan nazariyalar va kuzatuvlar asosida abduktiv xulosalash tushuntirishlar orasidan bitta yoki ko’proq eng yaxshi tushuntirishlarni aniqlashi lozim [1, 2, 8,14].

Abduktiv xulosalash kuzatilayotgan hodisa va faktorlarni tushuntirish yoki sababini aniqlash uchun qo’llaniladi.

Abduktiv xulosalash quyidagi sxema boyicha tasvirlanadi: qoida va natijalar berilgan bo’ladi, xususiy holat-sababni aniqlash talab etiladi.

Sun’iy intellektda abduktiv xulosalash deganda eng yaxshi abduktiv tushuntirish tushuniladi.

Misol. Quyidagi qoida mavjud: «Ushbu qutidagi barcha mevalar olmalar»; Kuzatish natijasi quyidagicha: «Bu mevalar olmalar»; U holda abduksiya bo’yicha quyidagi xulosaga kelinadi: «Бу olmalar ushbu qutidan olingan» (sabab-tushuntirish);