формализация

Формализация научных знаний

отождествление определенного фрагмента научного языка, фактически используемого научным сообществом, для ведения дискуссий на определенную тему с некой математической моделью этого языка, позволяющей представить важные с точки зрения данной дискуссии фрагменты научного знания и когнитивные операции с ними таким образом, чтобы представления этих фрагментов знания и операций не несли никакой дополнительной смысловой нагрузки, т. е. не выполняли никаких информационных функций, кроме заранее и явным образом оговоренных.

Формализация

в широком смысле метод семиотического анализа объектов любой природы, направленный на выявление формы. Конкретнее под формализацией понимают фиксацию содержательного знания в знаковом формализме, напр., сведение содержательных мыслительных процессов к манипуляции символами.

Формализация

1) представление некоторого содержания путем его отображения в некоторую формальную систему и рассмотрение его с позиций этой формальной системы.