Page 64 - 6109
P. 64
фреймі. Наприклад, ми цікавимося, який диплом у Степана. Для відповіді на
питання спочатку спробуємо встановити паропоєднання фрейма-мети з
фреймом-фактом. Якщо фрейм-факт по Степану має вигляд
Степан_2
елем: (елем_із проф_унів)
дипл: кандидат
то паропоєднання залучає уніфікацію (у, кандидат) і відповідь буде
наступною: кандидат (Степан має диплом кандидата). Навпаки, якщо фрейм-
факт по Степану говорить лише, що він професор університету:
Степан_2
елем: (елем_із проф_унів)
то механізм паропоєднання використовує фрейм:
{ х | проф_унів}
дипл: доктор
і відповідь – доктор.
64
