..

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.