Intellektual tizimlar haqida umumiy ma’lumot

Fikrlashning to’g’ridan-to’g’ri usuli bilan teskari usuli o’rtasidagi farq nimadan iborat?

6. 
   FIKRLAShNING TUGRI VA TESKARI ZANJIRI
   

1. 
   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:

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

7.2. Fikrlashning tes kari zanjri
Faraz kilaylik, avtomobil yurmay koldi. Muammo nimada-. yo akkumulyator utirib kalgan, yo startyor nosoz? Muammoni boshka umumiyrok xolda karab chikamiz: ma’lum sababga kura (avtomobil urnidan kuzgalmay koldi) sharoitni aniklab olishimiz kerak, muammoga sabab nima? U oldingi bulimdagi vazifadan shunisi bilan fark kiladiki, u yerda shartlar oldindan ma’lum edi, lekin natijalari noma’lum edi. Vazifaning yechimini oldindan aytiщ mumkin edi.Bu yerda xam yechim ma’lum va uning sababini toppish kerak.
FTZprinsipi buyicha ishlovchi dasturiy vositalar oldindan ma’lum bulgan natijalarni kidirish uchun muljallangan. Ma’lum shartga asoslangan, tugri fikr zanjirini amalga oshiruvchi tizim mumkin mantikiy natijalarni amalga oshiradi; teskari fikrlash zanjirini amalga oshiruvchi tizim esa,ma’lum natijalar buyicha ular uchun zarur bulgan sharoitlarni kidiradi.

101.