1 O‘zbekiston respublikasi oliy va o‘rta maxsus ta‘lim vazirligi buxoro davlat universiteti

Predmetli soxa - bu vazifalar xakidagi bilimlar soxasi, muammoli soxa esa 
uz ichiga predmetli soxani va bu soxada yechiladigan vazifalarning uzini oladi. 
Ma‘lumotlar - joriy paytda yechilayetgan vazifa xakidagi dastlabki, oralik va 
Predmetli sohaning modeli yoki 
tushunchali bilim 
Bilimlar bazasini boshqarish tizimi 
ADP, qoidalar va tadbirli 
bilim 
Ma‘lumotlar bazasi yoki 
predmetli bilim 

---

21 
yakuniy (natijaviy) bulishlari mumkin va bilimlar - bu xar kanday axborotlar, shu 
jumladan tizim vaktning ushbu paytida vazifani yechayetibdimi yeki yukmi kat‘iy
nazar, tizimda saklanayetgan anik dalillar bulishi mumkin. BB dan vazifani 
yechish uchun bilimlardan bevosita foydalanish, karorlarni olish mexanizmi 
tomonidan ta‘minlanadi. Karorlarni olish mexanizmi BBdan javoblarni olish, 
BBda saklanayetgan atamalrni shakllantiruvchi vazifalar yechimini olish imkonini 
beradi. Karorlar yechimini olish tamoyili BBda ma‘lumotlarni takdim etish usullar 
bilan yakindan boglik . BBda takdim kilingan bilimlar uchun tenglamalarni 
yechish tadbirlari karorlarni olish mexanizmining darajalari buladi. Mantikiy 
formulalar yeki maxsus kurinishidagi koidalar bilan takdim etilgan bilimlar uchun 
esa - bu chikarishning belgilangan mexanizmidir. Karorlarni olish mexanizmi 
yechimining algoritmiga, ya‘ni maxsus algoritmli bilimga ega. Boshka tomondan 
esa karorlarni olish mexanizmi tadbirli shaklldagi bilimlar semantikasining 
belgilangan kismiga ega. Buni karorlarni olish mexanizmi va BB urtasidagi 
chegaralarning nisbiyligi tasdiklaydi. Interfeys - bu BB tizimining bir kismi, u BB 
va karorlarni olish mexanizmi bilan ishni BB ga tegishli bulgan predmetli soxa 
mutaxassislarining kasbiy tiliga yakin bulgan yetarlicha yukori darajadagi tilni 
ta‘minlaydi. Interfesga tegishli tilli protsessor xam kiritiladi. Bundan tashkari, 
interfeysning vazifalariga foydalanuvchi bilan dialogni kullab-kuvvatlash xam 
kiradi, bu tizim xarakatlarning izoxini olishga, yechimlarni kidirishda ishtirok 
etishga va BBga tuzatishlar kiritishga imkoniyat beradi.