Методика построения модели предметной области в виде сети фреймов

Рассматриваемую задачу об обезьяне и бананах представим теперь в виде сети фреймов. Это можно сделать по-разному, используя в качестве фреймов различные понятия: либо объекты — О, Я, Б, К, либо действия, либо состояния. Для примера построим один из вариантов однородной СС, вершины которой являются действиями (процессами), дуги этой сети моделируются путем введения во фреймы действий слота «следовать за» со значением «имя фрейма действия», которое должно выполняться следующим. В этом случае мы получаем фреймы — вершины сети с соответствующим описанием: Подойти (F1), Перенести (F2), Влезть (F3),.

Схватить (F4), Слезть (F5), Отойти (F6) и т.н. Так как у нас выбрано только одно отношение — отношение следования, граф переходов будет иметь элементарный вид (рис. 4.35). Но каждый фрейм действия, кроме ссылок на следующее действие, содержит ссылки на другие фреймы — объекты со слотами: субъект (тот, кто производит действие), объект (па что направлено действие), откуда, куда или место действия (все рассматриваемые точки комнаты: /х е D), другие, если это нужно для активизации фрейма-действия. Очевидно, что фрейм-действия — протофреймы, так как они содержат в качестве значений слотов переменные. На рис. 4.35 и 4.36 показаны граф перехода между фреймами, их структура и содержание.

Рис. 435. Граф перехода между фреймами.

Рис. 436. Фрагмент сети фреймов.

В нашем примере во фреймы действий, кроме перечисленных, добавлены следующие слоты: условие активизации действия (какое условие должно выполняться, чтобы действие перешло на следующий фрейм), результат выполнения действия и следовать (куда переходит действие, на какой фрейм). Как только выполняется слог — условие активизации и формируется результат, активизируется следующий по графу фрейм. Например, если был активизирован фрейм F4, то в нем проверяется выполнение условия Обезьяна На Ящике И Обезьяна Не Держит Бананы. Если оно истинно, то срабатывает слот следовать и активность передается фрейму F5 (по стрелке). Здесь проверяется свое условие: Обезьяна Держит Бананы И Обезьяна На Ящике и т. д.