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

Мутахассис билимларини компьютер учун дас-тур кўринишида формаллаштириш жараёни. Би-лимларнинг автоматлаштирилишини таъминлаш учун махсус методлар ва воситалар (масалан, шахсий компьютерлар) талаб қилинади

Процесс формализации знаний специалиста в ви-де программы для компьютера. Для обеспечения автоформализации знаний требуются специальные методы и инструменты (например, персональные компьютеры

autoformalization of knowledge