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