Предикатной вершине приписывается имя отношения, выполняющегося между объектами

Пусть Z - множество объектов.

Методы обобщения на сетях

В качестве условий окончания вывода используются близость qk к 0 или 1, а также ограничения (времени, количества примеров и пр.).

Каждый объект sÎZ представляется сетью, называемой семантическим графом (СГ), который включает вершины двух типов: объектные и предикатные.

Объектной вершине приписывается имя объекта, имя базового класса объекта и вектор его признаков;

СГ, предназначенный для представления объекта sÎZ, распадается на иерархически упорядоченное множество двухуровневых р-подграфов, служащих для представления объекта s, его «частей» (р-потомков), частей его частей и т. д.;

p-подграф содержит на первом уровне объектную вершину vs, связанную отношением р (целое—часть) с объектными вершинами второго уровня, которые связаны между собой отношениями через предикатные вершины.

Обобщенный семантический граф (ОСГ) также представляется в виде набора обобщенных р-подграфов (ор-подграфов). Каждый ор-подграф `g предназначен для представления множества M=m(`g ) объектов.

Для решения задачи обобщения рассматривают наложимость op-подграфа `g на некоторый частичный подграф g. Обобщенное представление искомого класса К ищется по обучающей выборке <v<sup>+</sup>, v<sup>-</sup>> в виде покрывающей совокупности ОСГ `g_i, iÎI_k, таких, что