Сб. Сен 7th, 2024

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

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

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

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

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

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

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

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

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

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

От content