В докладе рассматриваются рекурсивные графы решений как способ аппроксимации универсальной индукции. Вначале дается общее понятие об универсальной индукции и показывается ее невычислимость. Представляется метод аппроксимации универсальной индукции с помощью деревьев решений. Затем вводятся графы решений как обобщение деревьев. Основное внимание уделено методу эффективного вычисления мат.ожидания по смеси графов, а также способу индексации подграфов для быстрого поиска подграфов одинаковой структуры.
Докладчик: Михаил Дробышевский
Презентация (pdf)
Comments are closed.