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.