Intellektual tizimlar

 
7.6. Fikrlashning teskari zanjirini amalga oshiruvchi tizimlarning umumiy 
ishlash algoritmi. 
Fikrlashning teskari zanjirini amalga oshiruvchi tizim kuyidagi kadamlarni 
bajarishi kerak: 
1.O‘zgaruvchan mantikiy xulosalarni aniklash. 
2.Mantikiy xulosalar ro‘yxatida bu o‘zgaruvchilarga birinchi kirishni kidirish. Agar 
o‘zgaruvchi topilsa, mantikiy xulosalar stekida mos keluvchi koidaning nomerini 
joylashtirish va 1 ga teng shart nomerini o‘rnatish.Agar o‘zgaruvchi 
topilmasa,foydalanuvchiga javobni topishning iloji yo‘k deb xabar berish. 
3.Berilgan koidaning barcha o‘zgaruvchan shartlariga kiymat berish.

---

69 
4.Agar o‘zgaruvchilar ro‘yxatida kandaydir o‘zgaruvchi shartning kiymati 
berilmagani ko‘rsatilsa va u o‘zgaruvchan mantikiy xulosalar ro‘yxatida yo‘k bo‘lsa, 
uni foydalanuvchidan so‘rash. 
5.Agar kandaydir o‘zgaruvchi shart o‘zgaruvchan mantikiy xulosalarga kirsa, koida 
nomerini stekda, mantikiy xulosalarda joylashtirish va 3 kadamga kaytish. 
6.Agar koidadan o‘zgaruvchining kiymatini aniklash mumkin bo‘lmasa, stekda unga 
mos keluvchi elementni o‘chirib tashlash va mantikiy xulosalar ro‘yxatida bu 
o‘zgaruvchan mantikiy xulosalar bilan koidani kidirishni davom ettirish. 
7.Agar shunday koida topilsa,3 kadamga o‘tish. 
8.Agar o‘zgaruvchi mantikiy xulosalarda kolgan koidalar orasidan topilmasa, 
oldingi xulosalar uchun koida noto‘g‘ri bo‘ladi. Agar oldingi xulosalar mavjud 
bo‘lmasa, javobni olishning iloji yo‘k deb xabar berish. Agar oldingi xulosa mavjud 
bo‘lsa, unda 6 kadamga kaytish. 
9.Stek boshida joylashgan koidadan o‘zgaruvchi shartni aniklash; koidani stekdan 
o‘chirib tashlash. Agar o‘zgaruvchi xulosa yana bor bo‘lsa, shart nomeri kiymatini 
kattalashtirish va kolgan o‘zgaruvchilarni tekshirish uchun 3 kadamga kaytish. Agar 
boshka o‘zgaruvchan mantikiy xulosalar yo‘k bo‘lsa, foydalanuvchiga yakuniy 
xulosa xakida xabar kilish.