..

bilimlarni avtoformallashtirish

Loyihani qo'llab quvvatlash uchub buyerga bosing
Ingliz tilida:
autoformalization of knowledge
Rus tilida:
Автоформализация знаний

Mutaxassis bilimlarini kompyuter uchun dastur ko’rinishida formallashtirish jarayoni. Bilimlarning avtomatlashtirilishini ta’minlash uchun maxsus metodlar va vositalar (masalan, shaxsiy kompyuterlar) talab qilinadi.