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

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

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

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

• установление дуги;
• аннулирование дуги;
• подсчёт числа вершин, соединённых заданной дугой;
• проверка наличия – отсутствия связи между заданными вершинами.

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

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

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

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

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

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