Intellektual tizimlar

3. Fikrlashning teskari zanjirini amalga oshiruvchi tizimlarning umumiy ishlash algoritmi.
Fikrlashning teskari zanjirini amalga oshiruvchi tizim quyidagi qadamlarni bajarishi kerak:
1.O’zgaruvchan mantiqiy xulosalarni aniqlash.
2.Mantiqiy xulosalar ro’yxatida bu o’zgaruvchilarga birinchi kirishni qidirish.Agar o’zgaruvchi topilsa, mantiqiy xulosalar stekida mos keluvchi qoidaning nomerini joylashtirish va 1 ga teng shart nomerini o’rnatish. Agar o’zgaruvchi topilmasa, foydalanuvchiga javobni topishning iloji yo’q deb xabar berish.
3.Berilgan qoidaning barcha o’zgaruvchan shartlariga qiymat berish.
4.Agar o’zgaruvchilar ro’yxatida qandaydir o’zgaruvchi shartning qiymati berilmagani ko’rsatilsa va u o’zgaruvchan mantiqiy xulosalar ro’yxatida yo’q bo’lsa, uni foydalanuvchidan so’rash.
5.Agar kandaydir o’zgaruvchi shart o’zgaruvchan mantiqiy xulosalarga kirsa, qoida nomerini stekda, mantiqiy xulosalarda joylashtirish va 3-qadamga qaytish.
6.Agar qoidadan o’zgaruvchining kiymatini aniqlash mumkin bo’lmasa, stekda unga mos keluvchi elementni o’chirib tashlash va mantiqiy xulosalar ro’yxatida bu o’zgaruvchan mantiqiy xulosalar bilan qoidani qidirishni davom ettirish.
7.Agar shunday qoida topilsa, u holda 3- qadamga o’tish.
8.Agar o’zgaruvchi mantiqiy xulosalarda qolgan qoidalar orasidan topilmasa, oldingi xulosalar uchun qoida noto’g’ri bo’ladi. Agar oldingi xulosalar mavjud bo’lmasa, javobni olishning iloji yo’q deb xabar berish. Agar oldingi xulosa mavjud bo’lsa, unda 6- qadamga qaytish.
9.Stek boshida joylashgan qoidadan o’zgaruvchi shartni aniqlash; qoidani stekdan o’chirib tashlash. Agar o’zgaruvchi xulosa yana bor bo’lsa, shart nomeri qiymatini kattalashtirish va qolgan o’zgaruvchilarni tekshirish uchun 3-qadamga qaytish. Agar boshqa o’zgaruvchan mantiqiy xulosalar yo’q bo’lsa, foydalanuvchiga yakuniy xulosa xakida xabar kilish.
O’z- o’zini tekshirish uchun nazort savollari.
1.Fikrlashning to’g’ri zanjirini amalga oshirish mexanizmini tushuntirib bering.
2.Fikrlashning to’g’ri zanjirini amalga oshiruvchi vazifaga misol keltiring.
3.O’zgaruvchi shartlar ro’yxatini izoxlab bering.
4. Fikrlashning to’g’ri zanjirini amalga oshirish algoritmini tushuntirib bering.