Семантические сети. Рассмотрим семантические сети - направление в теории графов, связанное с включением семантики в традиционные обозначения

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

Семантическая сеть - граф Gs=(Vs,Es), в котором множества вершин Vs и ребер Es разделены на группы с именами (семантикой), характерными для предметной области. Множество вершин соответствует объектам (сущностям) предметной области и имеет вместо номеров вершин явные имена этих сущностей. Имена позволяют однозначно идентифицировать соответствующие объекты, хотя и нет общих формальных правил записи имен. Разделение множества ребер отражает виды связей между сущностями предметной области.

Например, в семантической сети для знаний о рабочем персонале компании объектами могут быть отдельные сотрудники, каждый из которых задан именем и фамилией. В сети могут присутствовать также подразделения компании и рабочие проекты. Семантическими связями могут быть участие сотрудников в проектах, их должностное подчинение, принадлежность к подразделению компании и т.д.

Семантические сети отличаются от других графов специальными видами графических обозначений для разных типов вершин и ребер. Вершины обычно имеют вид различных геометрических фигур в соответствии с типом сущностей предметной области. Ребра также приобретают вид различных линий со специальными обозначениями. Соответствующая графическая нотация в квантовой теории поля была предложена Ричардом Фейнманом ещё в 1949 году (т.н. «диаграммы Фейнмана»). При автоматизированной обработке информации соответствующие данные хранятся в виде структур в языках программирования высокого уровня. Предварительно отметим, что диаграммы языка UML являются специальными классами семантических сетей с развитыми условными обозначениями. (Более детально эти вопросы изложены в главах 4 и 5.