Page 58 - 6109

6.2 Фрейми і слоти

Якщо виразити ці фрази бінарними предикатами то зчеплення
називатимуться фреймами. Предикат з трьома аргументами
Посилає(Петро_2, Марія_4, Книга_22)
перетвориться в добуток бінарних предикатів
Відправник (Посилає, Петро_2) 

Одержувач (Посилає, Марія_4) 
Об'єкт (Посилає, Книга_22).
Концепту «посилає» відповідає наступний фрейм:
ФРЕЙМ Посилає (об'єкт)
(Відправник, Петро_2) (слот-1)
(Одержувач, Марія_4) (слот-2)
(Об'єкт, Книга_22) (слот-3)
Кожна пара (атрибут, значення) фрейма називається слотом або
(ім’я_слота, значення_слота). Сам фрейм по-англійськи — slot-and-filler
notation. У цих позначеннях різні слоти згруповані навколо об'єкту,
охарактеризованого фреймом.
У позначеннях slot-assertion відповідні бінарним предикатам слоти
використовуються як ізольована сутність без угрупування в охоплюючому їх
фреймі.

6.2.1 Явні фрейми
Раніше було показано, що часто корисне представлення знань з явною
вказівкою всіх посилань. Саме тому ми постулювали в нашому прикладі
існування цілком певної Посилки_8. Фраза «Петро посилає книгу Марії»
бінарними предикатами представляється так:
Елем(Посилка_8, посилки) 

Відправник(Посилка_8, Петро_2) 
Одержувач(Посилка_8, Марія_4) 
Об'єкт(Посилка_8, Книга_22)
Отже, в процесі виявлення посилань можна не тільки дати явні значення
аргументів і імена предикатів, але також імена представляючих вислови
логічних формул. Наприклад, Посилка_8 – ім'я вислову Посилає(Петро_2,
Марія_4, Книга_22). Такий формалізм називається явним фреймом (по-
англійськи case-frame).

6.2.2 Функціональні фрейми
Представлення бінарними предикатами легко можна виразити у
функціональній формі. Відносини між Посилка_8 і первинними аргументами
для Посилає можна виразити функціями на множині посилок. Введемо наступні
функціональні позначення для фреймів:
Посилка_8
елем : (елем_із посилок)
відправник : Петро_2
одержувач : Марія_4

58