Сцепки.
Предположим, что мы хотим представить фразы
1: Жак пишет книгу.
2: Жак посылает эту книгу Мари.
3: Мари читает эту книгу (которую Жак ей послал).
В БД с этими фразами использовались конкретизации Жак_2, Мари_4, Посылка_8 и Книга_22 для ссылок в объектном языке
на имена концептов метаязыка, упомянутые в этих фразах. Если расширить БД, то
добавятся новые концепты и дополнительная информация о них.
Для использования знаний полезно собрать все факты о
данном концепте в одно множество, называемое сцепкой (по-английски Unit). В нашем элементарном примере
сцепкам Жак_2, Мари_4 и Книга_22 будут соответствовать
логические формулы:
Пишет(Жак_2, Книга_22)
Посылает(Жак_2, Мари_4,
Книга_22)
Посылает(Жак_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.
Фраза «Жак посылает книгу Мари» бинарными предикатами представляется так:
Элем посылки
Отправитель Жак_2
Получатель Мари_4
Следовательно, в процессе выявления ссылок можно не
только дать явные значения аргументов и имена предикатов, но также имена,
представляющие высказывания логических формул. Например, Посылка_8 – имя высказывания Посылает(Жак_2, Мари_4, Книга_22). Такой формализм называется явным фреймом. (по-английски case-frame).
Мы уже показывали, что представление бинарными
предикатами легко можно выразить в функциональной форме. Отношения между Посылка_8 и первоначальными
аргументами для посылает можно
выразить функциями на множестве посылок.
Введем следующие функциональные обозначения для фреймов:
элем : (элем_из посылок)
отправитель : Жак_2
получатель : Мари_4
объект : Книга_22
Форма «элемент_из» в слоте имеет имя «элем» для
указания того, что описанный фреймом объект является элементом некоторого
множества (в нашем примере это множество посылок).
Определенный таким образом фрейм называется функциональным.
Друзья! Приглашаем вас к обсуждению. Если у вас есть своё мнение, напишите нам в комментарии.