Семантическая сеть как Пролог-программа

Если рассматривать семантическую сеть как описание отношений, которые поддерживаются между сущностями, то ее можно непосредственно реализовать при помощи языка Пролог. Нижеследующая программа выражает структуру сети с «птицами», представленную на рис. 6.2:

является (канарейка, птица).

является (твити, канарейка).

живет_с(сильвестр, твити).

летает (тица).

летает(Х):- является (X, У) .летает (У).

цвет (канарейка, желтый).

цвет(Х, Y) :- является (X, Z), цвет (Z, Y).

Вторая фраза "цвет" позволяет сделать вывод о том, что « твиги» желтого цвета, так как «твити» - это канарейка, а любая сущность, которая является канарейкой, имеет желтый цвет. Вывод можно выполнить в любом месте, где два узла диаграммы связаны дугой "является". Дуга "является" представляет либо отношение включения в класс (например, класс канареек включат я в класс птиц), либо отношение принадлежности к классу («твити»— это член класса канареек).

6.3. Фреймы Представление знаний о ситуациях

Мински создал концепцию фреймов как один из способов представления знаний о ситуациях [72]. Каждый фрейм содержит слоты (в буквальном переводе - щели), которые идентифицируют тип ситуации или задают параметры конкретной ситуации. К примеру, фрейм, описывающий ситуацию на вечеринке, может иметь слот тип, значение которого будет определять тип вечеринки. В этом фрейме могут также присутствовать слоты время и место, значениями которых будут параметры конкретной вечеринки. Формализм фреймов можно рассматривать как обобщение формализма семантических сетей. Иерархия — это одна из важнейших концепций формализма фреймов, поэтому данный формализм также пригоден для представления таксономии знаний.

Выражение, записанное на языке фреймов, таком как FRL [36], декларирует существование фрейма. В нижеследующем примере упоминаются три фрейма - МЕРОПРИЯТИЕ, СОБРАНИЕ и СОБРАНИЕ _38. Фрейм МЕРОПРИЯТИЕ - наиболее общий, фрейм СОБРАНИЕ - более конкретный, описывающий вид МЕРОПРИЯТИЯ, а фрейм СОБРАНИЕ-38 - наиболее уточненный фрейм, описывающий конкретное СОБРАНИЕ. Фрейм СОБРАНИЕ называется субфреймом фрейма МЕРОПРИЯТИЕ, а фрейм СОБРАНИЕ-38 будет субфреймом фрейма СОБРАНИЕ.

(СОБРАНИЕ имя фрейма

(РАЗНОВИДНОСТЬ ($VАLUE (МЕРОПРИЯТИИ))) имена и значения слотов (ВРЕМЯ ($DEFAULT (CPЕДA 14.00))) (умалчиваемые

(МЕСТО ($DEFAULT (ЗАЛ ЗАСЕДАНИЙ))) значения насле- дуются субфреймами)

(СОБРАНИЕ 38 ^имя ФРЕЙМА

(РАЗНОВИДНОСТЬ ($VALUE (СОБРАНИЕ))) имени и значения слота

(ПРИСУТСТВУЮТ ($VALUE- (РОНАЛЬД)

(СИНДИ)

(ФРЕД)))

)

Наследование значений слотов

Другой важнейшей концепцией формализма фреймов является наследование. Можно дать указание о том, что если значение слота в одном из фреймов не задается, то фрейм должен унаследовать умалчиваемое значение этого слота из фрейма более высокого уровня. Наследование фреймами значений слотов будет осуществляться в том случае, если в фрейме будет присутствовать слот РАЗНОВИДНОСТЬ, в котором содержится имя другого фрейма. Например, слоты ВРЕМЯ и МЕСТО фрейма СОБРАНИЕ будут унаследованы фреймом СОБРАНИЕ-38. Слот РАЗНОВИДНОСТЬ языка фреймов аналогичен руге "является" семантической сети в том смысле, что он представляет отношение включения в класс или отношение принадлежности к классу.