Ma’lumki, hozirgi vaqtda ko’pgina jarayonlarni o’rganish kompyuter yordamida tadqiq qilinmoqda. Bunda ko’pincha mulohazalar hisobidan keng foydalanishga to’g’ri keladi, ya’ni qaralayotgan jarayonning har xil holatlari formallashtirilib, mulohazalar hisobining keltirib chiqarish qoidalariga asosan elementar bilimlar bazasi hosil qilinadi. So’ngra undagi elementar bilimlar bazasidan berilgan ma’lumot va talab qilingan shartga asosan tuzilgan dastur yordamida yangi bilim hosil qilinadi.