Namangan muhandislik qurulish instituti

Lavozimni tanlash uchun yechimlar daraxti
Yechimlar daraxtini konunga koidaga aylantirish
Barcha mumkin bo‘lgan mantikiy yechimlar uchun koidalarni shakllantirish
jarayoni navbatdagi boskichlardan iborat:
1.Echimlar daraxtidan xulosalar cho‘kkisi (to‘g‘riburchak)ni tanlash va uni
maxkamlash.
2.Echimlar cho‘kkisi(aylana)ni toppish va uni maxkamlash.
Jadval 1.
O‘zgaruvchan nomlar jadvali.


3.Bilimlar bazasini ishlab chikish
Barcha yechimlar cho‘kkisi tugamaguncha yoki yangi xulosalar cho‘kkisiga uchramaguncha 2-boskichni takrorlash. Agar xulosalar cho‘kkisi uchrab kolsa, uni maxkamlash va 2-boskichni amalga oshirishni to‘xtatish kerak.Agar xamma cho‘kkilar tugatilsa xam ishni bajarish to‘xtatiladi.
Xar bir yo‘llardan iborat yechimlar cho‘kkisi - bu YeSLI koidasining
o‘zgaruvchan kismlaridan biri xisoblanadi. Ma’nosi shuki, shoxlar bilan bog‘langan
bo‘lsa u o‘zida shartlarni takdim etadi.
Tanlangan mantikiy xulosani koidaning TO kismiga olib kelish.
Oldindan ma’lum prinsiplardan foydalangan xolda, bilimlar bazasini ishlab
chikish bilan ishlashni boshlaymiz. Koida xamma 6 yo‘lga tegishli bo‘ladi.
Teskari fikrlash zanjirini amalga oshirishga o‘tamiz. Bilimlar bazasi
kandaydir mantikiy xulosaga olib keladigan yo‘lni aniklash uchun ko‘llanilishi
kerak.

Mantikiy xulosalar ro‘yxati - bu mumkin bo‘lgan tartibli mantikiy xulosalar

ro‘yxatidan iborat ma’lumotlar tuzilmasi. Ro‘yxat koidalar nomeri, ushbu koidalar
bilan bog‘lik mantikiy xulosalar va xulosalarni shakllantiradigan shartlardan iborat.
Bilimlar bazasining xar bir koidasiga ro‘yxatda bir yozuv mos keladi. Mantikiy
xulosalar ro‘yxati xulosalarni fakat koida nomeri bo‘yicha kidirish uchun
ko‘llaniladi.
Ma’lumotlar tuzilmasi o‘zgaruvchan shartlar ro‘yxati deb nomlanadi.
To‘rtinchi ma’lumotlar tuzilmasi - mantikiy xulosalar stekini oxirida
muxokama kilamiz. Bu xuddi ekspert tizmidek FTZni amalga oshiruvchi asosiy
tuzilma xisoblanadi. Mantikiy xulosalar stekida mantikiy xulosalardan muxim
foydalanuvchilar xakida va tekshirish zarur bo‘lgan o‘zgaruvchan sh artlar xakida
ma’lumotlar saklanadi.