Fikrlashning teskari zanjirini amalga oshiruvchi tizimlarning umumiy ishlash algoritmi Fikrlashnnng teskari zanjirini amalga oshiruvchi tizimlarniig umumiy ishlash algoritmi.
Fikrlashning teskari zanjirini amalga oshiruvchi tizim kuyidagi kadamlarni bajarishi kerak:
1 .Uzgaruvchan mantikiy xulosalarni aniklash.
Mantikiy xulosalar ruyxatida bu uzgaruvchilarga birinchi kirishni kidirish. Agar Uzgaruvchi topilsa, mantikiy xulosalar steknda mos keluvchi koidaning nomerini joylashtirish va 1 ga teng shart nomerini urnatish.Agar uzgaruvchi topilmasa,foydalanuvchiga javobni topishning iloji yuk deb xabar berish.
Berilgan koidaning barcha Z^garuvchan shartlariga kiymat berish.
Agar uzgaruvchilar ruyxatida kandaydir uzgaruvchi shartning kiymati berilmagani kursatilsa va u uzgaruvchan mantikiy xulosalar ruyxatida yuk bulsa, u ni foydalanuvchidan surash.
5 .Agar kandaydir Uzgaruvchi shart uzgaruvchan mantikiy xulosalarga kirsa, koida nomerini stekda, mantikiy xulosalarda joylashtirish va 3 kadamga kaytish.
Agar koidadan uzgaruvchining kiymatini aniklash mumkin bulmasa, stekda unta mos keluvchi elementni uchirib tashlash va mantikiy xulosalar ruyxatida bu uzgaruvchan mantikiy xulosalar bilan koidani kidirishni davom ettirish.
Agar shunday koida topilsa,3 kadamga utish.
8Agar Uzgaruvchi mantikiy xulosalarda kolgan koidalar orasidan topilmasa, oldingi xulosalar uchun koida notugri buladi. Agar oldingi
Tugri zanjirli xulosa chikarish bilan umumpashtirilgan umumiy algoritmi.
Tugri zanjirli fikr yurituvchi sistema ishlashining umumiy algoritm idi kuyidagicha keltirish mumkin:
Boshlangich xolatni aniklash.
Shart uzgaruvchisini mantikiy chikarish navbatiga joylash- tirish uning kiymatini esa uzgaruvchila ruyxatiga.
Uzgaruvchilar ruyxatiga karab ruyxadan shunday uzgaruvchi topilsinki uning nomi mantikiy xulosa chikaruvchi uzgaruvchilar navbatining boshida turgan bulsin. Agar uzgaruvchi topilsa koida nomeri va 1 sonini shart uzgaruvchilari kursatgichiga yezilsin. Agar uzgaruvchi topilmasa 0 kadamga utilsin.
Tutilgan koidaning (agar topilgan bulsa) initsiallashtiril- magan uzgaruvchilarning shartli kismiga kiymat yuklansin. Uzgaruv- chilar nomi shart uzgaruvchilari ruyxatida joylashgan. Koidaning xamma shartlari tekshirilsin va ularning chin kiymatida u xola kismiga murojaat ztilsin.
Koidaning u xolda kismiga kiruvchi kismidagi uzgaruvchilar navbatining oxiriga joylashtirilsin.
Mantikiy xulosa chikaruvchi uzgaruvchilar navbatining boshida turuvchi uzgaruvchi uchirib tashlanilsin agarda u kandaydir koidani shartli kismida boshka uchramasa.
Mantikiy xulosa chikaruvchi uzgaruvchilar navbati bushashi bilan, fikr yuritishlar protsessi tugatilsin. Agarda navbatda uzgaruvchilar bulsa, 3 kadamga kaytilsin.