Автоматизация научных исследований в теории представленийтезисы доклада