Г. В. Сменцарёв - Методы формализации в решении задач автоматизированного анализа антропосоциокультурных систем

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