Атрибутивные семантические сети

Этот популярный тин СС определяется через систему унарных отношений. Как известно, унарные отношения определяются одноместным предикатом, или свойством, описываемого понятия. Например, мы говорим: яблоко красное и вкусное. Это отношение соответствует записям: ЯБЛОКО {ЦВЕТ — красный), ЯБЛОКО {ВКУС — сладкий). Такого рода отношения называют атрибутами, а соответствующие СС — атрибутивными. Здесь предполагается известным: имя объекта (класса, подкласса, единичного экземпляра), перечень его атрибутов и область задания каждого атрибута. Например, атрибут яблока ЦВЕТ можно задать перечнем (красный, желтый, белый, зеленый,...). Совокупность атрибутов вместе с множествами их задания определяет объект как нечто целое в виде отношения:

При этом очевидно, что атрибуты составляют постоянную (статическую) часть определения объекта, а область задания — переменную (динамическую) часть. Атрибутивное задание в конкретных реализациях чаще всего осуществляется путем позиционирования атрибутов, т.е. фиксации места каждого атрибута в общем описании: позиция 1, позиция 2, позиция 3, позиция 4:

где R{имя объекта) = (А^имя атрибута^, А2 (имя атрибута2 ), ...).

Такое представление задает как бы свертку п унарных отношений в одном. Это чрезвычайно экономит память для сложных описаний и существенно повышает быстродействие. Имя атрибута при этом понимается по умолчанию, на местах значений атрибутов указываются их конкретные значения. Другими словами, мы определяем описание каждого объекта или вершины СС как отношение с перечнем атрибутов и областями их определения. Если обозначить область определения каждого атрибута как DOM (DOMain — область определения), то можно написать:

где R — имя объекта; Av А2,..., Ап имена атрибутов.

На основе такого представления можно построить множество конкретных описаний. Будем называть каждое такое описание фактом (или примером). В нашем примере мы можем определить, например, следующие факты:

FxЯБЛОКОЦВЕТ = ЗЕЛЕНЫЙ, ВКУС = КИСЛЫЙ;

F2: ЯБЛОКО2, ЦВЕТ = КРАСНЫЙ, ВКУС = СЛАДКИЙ.

Максимальное число фактов при трех значениях атрибута ЦВЕТ и двух — атрибута ВКУС — очевидно равно шести.

R задает статическую, или интенсиональную (внутреннюю), составляющую описания объекта; конкретные факты: Fv F2, Fk — динамическую, т.е. экстенсиональную (внешнюю) составляющую описания.

Теперь мы можем дать формальное определение атрибутивной семантической сети. Назовем схемой, или интенсионалом (INT — INTensional), некоторого отношения набор пар вида

где Rj — имя некоторого отношения; А} атрибут (j = 1, 2, п) домен

НОМ(Лу) = [a{J) — область значений А-у

Экстенсионалом (EXT — EXTensional) отношения R{ называется выражение

где Fk = (Rj jy ajjk>), т.е. Fk факт, описывающий атрибут j отношения Rj как атрибутивную пару; aijk значения атрибута j отношения г. Тогда атрибутивная СС описывается как множество пар вида , (i = 1, 2, 3, п) по всему множеству отношений Rf. СС (Rj) = EXT(Rj)>, i = 1, 2, 3, ...,/?.

Графически атрибутивную СС можно представить в виде звездчатых графов (рис. 4.22).

Пример графа атрибутивной семантической сети (стрелки означают отношение ИМЕЕТ)

Рис. 4.22. Пример графа атрибутивной семантической сети (стрелки означают отношение ИМЕЕТ)

 
Посмотреть оригинал
< Пред   СОДЕРЖАНИЕ   ОРИГИНАЛ     След >