Главная
»
Информационные системы
»
Представление знаний в ИС
»
Сцепки. Фреймы и слоты. Явные фреймы. Функциональные фреймы.
Сцепки. Фреймы и слоты. Явные фреймы. Функциональные фреймы.
Сцепки.
Предположим, что мы хотим представить фразы
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
Форма «элемент_из» в слоте имеет имя «элем» для указания того, что описанный фреймом объект является элементом некоторого множества (в нашем примере это множество посылок). Определенный таким образом фрейм называется функциональным.
Друзья! Приглашаем вас к обсуждению. Если у вас есть своё мнение, напишите нам в комментарии.