Intellektual tizimlar haqida umumiy ma’lumot

Fikrlashning to’g’ri zanjiri

6. 
   FIKRLAShNING TUGRI VA TESKARI ZANJIRI
   

2. 
   Fikrlanishning tugrn zanjiri
   

Anik fayuglar buyicha xulosa kidiriladiva ishchi xotira tuldiriladi. Bu ikkinchi koidaning bajarilishiga olib keladi. S & O » F, va «F» fakt bilimlar bazasiga joypashtirilady. Bunda bazadagi koidalar kaytadan tekshiriladi.
Birinchi bulib, F & V —> Z koidasi bajariladi, keyin esa Z bilimlar bazasiga yuklatipadi. Bu usul fikrlashning tugridan-tugri usuli xisoblanadi, yangi ma’lumot kidiruvi koidani ung va chap kismlarga buluvchi strelka yunapishi buyicha amalga oshiriladi.
Bu usulning bir necha nokulayliklari mavjud. koidalar mikdori bir kancha bulsa, Z bilan boglik ma’lumotni kidirish uchun Z boglik bulmagan bir kancha koidani bajarish kerak. Bunday vaziyatda bu usuldan foydalanish ortikcha vakt va sarf- xarajatga olib keladi.
Tugri zanjirli xulosa chikarish bilan umumpashtirilgan umumiy algoritmi.
Tugri zanjirli fikr yurituvchi sistema ishlashining umumiy algoritm idi kuyidagicha keltirish mumkin:

8. 
   Boshlangich xolatni aniklash.
   
9. 
   Shart uzgaruvchisini mantikiy chikarish navbatiga joylash- tirish uning kiymatini esa uzgaruvchila ruyxatiga.
   
10. 
    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.
    
11. 
    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.
    
12. 
    Koidaning u xolda kismiga kiruvchi kismidagi uzgaruvchilar navbatining oxiriga joylashtirilsin.
    
13. 
    Mantikiy xulosa chikaruvchi uzgaruvchilar navbatining boshida turuvchi uzgaruvchi uchirib tashlanilsin agarda u kandaydir koidani shartli kismida boshka uchramasa.
    
14. 
    Mantikiy xulosa chikaruvchi uzgaruvchilar navbati bushashi bilan, fikr yuritishlar protsessi tugatilsin. Agarda navbatda uzgaruvchilar bulsa, 3 kadamga kaytilsin.
    

104.