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.
