Главная arrow книги arrow Копия Глава 10. Представление знаний arrow Семантические сети
Семантические сети

Это высказывание может быть подтверждено в семантической сети, если связи являются овеществленными, т.е. преобразованными в объекты в полном смысле этого понятия. Например, может быть предусмотрен объект sisterOf, соединенный связью Inverse с объектом HasSister. После получения запроса, касающегося того, кто является сестрой (SisterOf) Джона, алгоритм логического вывода может обнаружить, что связь HasSister является инверсной по отношению к связи SisterOf, и поэтому ответить на данный запрос, проследовав по связи HasSister от объекта John к объекту Магу. При отсутствии этой инверсной информации могло бы потребоваться проверить каждое лицо женского пола для определения того, не имеет ли это лицо связь SisterOf, направленную к Джону. Это связано с тем, что в семантических сетях непосредственная индексация предусмотрена только для самих объектов, а также категорий и связей, исходящих из них; проводя сравнение с логикой первого порядка, можно отметить, что это аналогично индексации базы знаний только по первому параметру каждого предиката.

Читатель должен был обнаружить очевидный недостаток системы обозначений с помощью семантических сетей по сравнению с логикой первого порядка: тот факт, что между овалами проводятся связи, соединяющие два овала, говорит о том, что в семантических сетях могут быть представлены только бинарные отношения. Например, высказывание Fly{ Shankar, NewYork, NewDelhi, Yesterday) не может быть реализовано непосредственно в семантической сети. Тем не менее можно достичь эффекта реализации n-арных высказываний путем овеществления самого рассматриваемого высказывания в виде события (см. раздел 10.3), принадлежащего к соответствующей категории событий. На рис. 10.8 показана структура семантической сети для указанного выше конкретного события. Обратите внимание на то, что ограничение, связанное с необходимостью применять только бинарные отношения, вынуждает создавать богатую онтологию овеществленных понятий; в действительности основная часть онтологии, разработанной в данной главе, происходила из систем с семантическими сетями.

Рис. 10.8. Фрагмент семантической сети, на которой показано представление логического утверждения

Fly ("Shankar, NewYork, NewDelhi, Yes terday)