..
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.