Шаги формализации (steps to formalizations) — последовательность применения методов и приемов абстрагирования от второстепенных факторов в данный момент исследования или решения заданий при описании предметов, явлений или процессов для ввода описаний в базу знаний. Ш.ф. включают: создание имен терминов (всех понятий), создания разделов лексикона (терминологического словаря) данной области знаний, сбор и передача системе фактов, ввод и отладка знаний и согласование фактов, формирование текстов запросов, автоматизированное или автоматическое построение программ и их прогон, анализ результатов для формирования итоговых положений или принятия решений.
[Словарь понятий по информатике от Т до Я. (Электронный ресурс). Режим доступа: http:// http://topuch.ru/slovare-ponyatij-po-informatike-ot-t-do-ya/index.html/, свободный.]