Сцепки. Фреймы и слоты. Явные фреймы. Функциональные фреймы.

Сцепки.

Предположим, что мы хотим представить фразы

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

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

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

В БД с этими фразами использовались конкретизации Жак_2, Мари_4, Посылка_8 и Книга_22 для ссылок в объектном языке на имена концептов метаязыка, упомянутые в этих фразах. Если расширить БД, то добавятся новые концепты и дополнительная информация о них.

Для использования знаний полезно собрать все факты о данном концепте в одно множество, называемое сцепкой (по-английски Unit). В нашем элементарном примере сцепкам Жак_2, Мари_4 и Книга_22 будут соответствовать логические формулы:

Жак_2

Пишет(Жак_2, Книга_22)

Посылает(Жак_2, Мари_4, Книга_22)

Мари_4

Посылает(Жак_2, Мари_4, Книга_22)

Читает(Мари_4, Книга_22)

Книга_22

Пишет(Жак_2, Книга_22)

Посылает(Жак_2, Мари_4, Книга_22)

Читает(Мари_4, Книга_22)

Фреймы и слоты.

Если выразить эти фразы бинарными предикатами, то сцепки будут называться фреймами. Нам известно, что тернарный предикат

Посылает(Жак_2, Мари_4, Книга_22)

Преобразуется в произведение бинарных предикатов

Отправитель (Посылает, Жак_2)

Получатель(Посылает, Мари_4)

Объект(Посылает, Книга_22).

Концепту «посылает» соответствует следующий фрейм:

ФРЕЙМ

Посылает (объект)

Отправитель Жак_2 (слот_1)

Получатель Мари_4 (слот_2)

Объект Книга_22 (слот_3)

(атрибуты или (значения или

имена слотов) значения слотов)

Каждая пара (атрибут, значение) фрейма называется слотом или (имя_слота, значение_слота). Сам фрейм по-английски – slot-and-filter notation. В этих обозначениях различные слоты сгруппированы вокруг объекта, охарактеризованного фреймом.

Явные фреймы.

Мы знаем, что часто бывает полезно представление знаний с явным указанием всех ссылок. Именно поэтому мы постулировали в нашем примере существование вполне определенной Посылки_8. Фраза «Жак посылает книгу Мари» бинарными предикатами представляется так:

Посылка_8

Элем посылки

Отправитель Жак_2

Получатель Мари_4

Объект Книга_22

Следовательно, в процессе выявления ссылок можно не только дать явные значения аргументов и имена предикатов, но также имена, представляющие высказывания логических формул. Например, Посылка_8 – имя высказывания Посылает(Жак_2, Мари_4, Книга_22). Такой формализм называется явным фреймом. (по-английски case-frame).

Функциональные фреймы.

Мы уже показывали, что представление бинарными предикатами легко можно выразить в функциональной форме. Отношения между Посылка_8 и первоначальными аргументами для посылает можно выразить функциями на множестве посылок. Введем следующие функциональные обозначения для фреймов:

Посылка_8

элем : (элем_из посылок)

отправитель : Жак_2

получатель : Мари_4

объект : Книга_22

Форма «элемент_из» в слоте имеет имя «элем» для указания того, что описанный фреймом объект является элементом некоторого множества (в нашем примере это множество посылок). Определенный таким образом фрейм называется функциональным.

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