4.3. Процедурные семантические сети

Для чёткого разграничения вершин концептов и вершин экземпляров используются связи типа instance_of (экземпляризация), что позволяет решить проблему, связанную с наследованием.

В целях введения единой семантики используют процедурные семантические    сети: сеть строится на основе класса (понятия), а вершины, дуги (отношения) и процедуры представлены как объекты.

Процедурами определяются следующие основные действия над дугами (свя-зями):

1) установление дуги;

2) аннулирование дуги;

3) подсчёт числа вершин, соединённых заданной дугой;

4) проверка наличия – отсутствия связи между заданными вершинами.

Существуют также процедуры, определяющие действия над вершинами:

1) определение экземпляра класса;

2) аккумулирование экземпляра класса;

3) подсчёт числа экземпляров, принадлежащих к классу;

4) проверка принадлежности экземпляра к некоторому классу.

Благодаря этим процедурам, семантическими сетями  можно представлять процедурные знания.

Кроме того, необходимо точное определение, касающееся наследования атрибутов между классами. Для этого атрибуты класса разделяют на атрибуты определения и атрибуты свойства.

Атрибуты свойства отображают в качестве отношений между классами и не наследуются классом нижнего уровня.

Процедура наследования заключается в том, что наследование самого атрибута осуществляется с помощью связи экземпляра (instance_link), а наследование значений атрибутов свойств не производится. Для наследования некоторой вершиной класса x специфических атрибутов определения из класса верхнего уровня необходимо, чтобы он имел атрибут, соответствующий метаклассу, в котором  x является экземпляром.