Направления формализации Что является примером трудно формализуемой задачи ии