Пусть Z - множество объектов.
Методы обобщения на сетях
В качестве условий окончания вывода используются близость qk к 0 или 1, а также ограничения (времени, количества примеров и пр.).
Каждый объект sÎZ представляется сетью, называемой семантическим графом (СГ), который включает вершины двух типов: объектные и предикатные.
Объектной вершине приписывается имя объекта, имя базового класса объекта и вектор его признаков;
СГ, предназначенный для представления объекта sÎZ, распадается на иерархически упорядоченное множество двухуровневых р-подграфов, служащих для представления объекта s, его «частей» (р-потомков), частей его частей и т. д.;
p-подграф содержит на первом уровне объектную вершину vs, связанную отношением р (целое—часть) с объектными вершинами второго уровня, которые связаны между собой отношениями через предикатные вершины.
Обобщенный семантический граф (ОСГ) также представляется в виде набора обобщенных р-подграфов (ор-подграфов). Каждый ор-подграф `g предназначен для представления множества M=m(`g ) объектов.
Для решения задачи обобщения рассматривают наложимость op-подграфа `g на некоторый частичный подграф g. Обобщенное представление искомого класса К ищется по обучающей выборке <v+, v-> в виде покрывающей совокупности ОСГ `gi, iÎIk, таких, что
