Режа: Қатъиймас тўпламлар устида математик амаллар. Қатъиймас тўпламларнинг t ва s нормалари

. Shunday qilib, қатъиймасmantiq sun'iy intellektning bir qismidir. Қатъиймас mantiq qoidalarining asoslari қатъиймасmantiq ilovalarida eng ko'p qo'llaniladigan vositalardir. қатъиймасmantiqiy qoidalar asoslari odatda parallel ravishda qo'llaniladigan, lekin ba'zi ilovalarda birlashtirilishi mumkin bo'lgan qoidalar to'plamidir.Qoidalarning quyidagi turlari qo'llaniladi:AGAR "bayonot" keyin "natija.Masalan: Agar "yuqori harorat" VA "yuqori bosim" bo'lsa, keyin "yaxshi shamollatish" VA "klapan ochiq".An'anaviy ekspert tizimlari kabi қатъиймасmantiq qoidalari asoslari inson tajribasi asosida qurilgan bilimlar bazasiga asoslanadi. Shu bilan birga, ushbu bilimlarni qayta ishlash va xususiyatlarida sezilarli farqlar mavjud (9-rasmga qarang).