Tugri xulosa chikarish (modus ponens — m.p.) koidasi: A. A—»V V U “Agar A va A—»V tugri bulsa, U xolda V tugri buladi” fikrni ifodalaydi. Ikkilik Uzgaruvchanlarni kullaydigan fikrlar xisobini predikat xdsobi deb ataydi. Predikat - bu mazkur ikkilik uzgaruvchanlar xar kanday mikdordagi argumentlar funksiyalari. Teskari xulosa chiqarish qoidasi
Teskari xulosa chikarish (modus tollens - m.t.) koidasi: V. A—»V . A U “Agar V va A—>-V tugri bulsa, U xolda A tugri buladi” fikrni ifodalaydi Mantiqiy xulosa chiqarish teskari fikrlash zanjirini mexanizmi
Mantikiy chikarish tugri fikrlash zanjirini (TFZ) mexanizmi. TFZ mexanizmi{“A|=>Ag”, Ag=>Az”, ... “Ad-i=>A„”}produksion koidalarni shart va okibatlarni kullash xamda ularni shart va okibatlarini taxdillash ketma-ketligi yuli bilan xulosalarni shakllantirishdan iborat. Shunday kilib, TFZ mexanizmi deduktiv xulosa chikrish ketma- ketligini(toyi8 ponens koidalardan foydalanib) amalga oshiradi: Ai-i=>Ai Ai.i - tugriAi -tugri.
Mantiqiy xulosa chiqarish teskari fikrlash zanjiri ishlashini uumlashtirilgan algoritmi
TFZ ishlashini umumlapggirilgan algoritmi. Tadkikot ob’ektni belgipaydigan Ai ye M xolat va Ai-i=>Ai koidalar tuplamini shakllantirish.
Dastlabki (Ai) xolatni anikdash, BBda unga oid shart kismida Ai kiymati mavjud bulgan 1-koidani topish va yangi Aichikarish.
Xar bir navbatdagi (A) xolat uchun shart kismida A kiymati mavjud bulgan (Ai=>A;+i) koidani BBda topish.
Olinadigan joriy (A+i) xulosalarni (koidalar U XOLDA kismi kiymatlarini) taxdil kilish va kayta ishlash xamda mavjud xolat tuplamiga yangi xolat sifatida (koidalar AGAR kismi kiymatlariga) Kushish. Ya’ni (Ai,A2,..., A, Ai+i} tuplamini shakllantirish.
Apgoritmni 2-boskichiga utish.
Olingan xolatlar tuplami uchun xech bulmasa shart kismida tegishli xolatni majud bulgan bitta konsa topilguncha mazkur fnkrlashnn davom etish.
BMdagi barcha koidalarni va ulardagi xolatlarni kayta ishlash va taxdil kilish jaryonni tugatish.
