В среду, 19 ноября 2014 г., в 16-30, в аудитории 1406 (на 14-м этаже), состоится объединённый семинар молодых ученых ИСА РАН и ИСП РАН.
Докладчик: Белобородов И.Б., ИСП РАН
Тема доклада: Индукция рекурсивных графов решений*
Аннотация: В докладе рассматривается задача достаточно точной и эффективной аппроксимации универсальной индукции. Предлагаются рекурсивные графы решений (РГР) как универсальное представление вычислимых зависимостей, ставится задача индукции РГР по примерам. Предлагается метод индукции РГР с помощью последовательных преобразований, рассматриваются задачи сопоставления и индексации графов решений.
Ключевые слова: аппроксимация универсальной индукции, рекурсивные графы решений, индукция графов решений
Семинар открытый, приглашаются все желающие!
|