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

Докладчик: Михаил Дробышевский

Презентация (pdf)