Семантические сети. Правила конъюнкции и упрощения.

Ранее указывалось, что каждый концептуальный граф представляет одну логическую формулу. Семантическая сеть гораздо сложнее. Она представляет не только набор (соединение) формул, но также описывает их взаимосвязи и погружение их в контекст области рассуждений. Семантические сети получаются из концептуальных графов по правилам соединения, которые будут введены посредством примеров.

Правила конъюнкции и упрощения

Рассмотрим набор из трех фраз:

Фраза 1: Жак пишет книгу.

Фраза 2: Жак посылает эту книгу Мари.

Фраза 3: Мари читает эту книгу (которую Жак ей послал).

Каждую из этих фраз можно представить либо формулой исчисления предикатов, либо концептуальным графом. Первый этап построения семантической сети основан на использовании двух следующих формальных правил получения концептуального графа g из двух графов g1 и g2.

Правило конъюнкции. Если узел-концепт с1 в g1 идентичен узлу-концепту с2 в g2, то g получается удалением с2 и соединением с с1 всех связывающих узлов, которые были связаны с с2 в g2.

Правило упрощения. Если концептуальный граф g содержит два идентичных (соединенных с одними и теми же узлами-концептами) связывающих узла, то можно удалить один из них вместе со связанными с ним стрелками.

Применим правило конъюнкции к приведенному примеру. Книга, которую написал Жак, которую он послал Мари и которую Мари читала представляется конкретизацией Книга_22. Эта конкретизация книги появляется в концептуальных графах, представляющих рассмотренные выше фразы 1), 2), 3). Группирование конкретизаций Книга_22, Жак_2 и Мари_4 порождает концептуальный граф, изображенный на следующем рисунке. На нем рамками выделены графы фраз 1, 2, 3 и граф группы фраз.

Друзья! Приглашаем вас к обсуждению. Если у вас есть своё мнение, напишите нам в комментарии.