Фреймы в решении экономических задач

Фрейм - структура данных (т.е. декларативное представление); предназначенная для представления некоторой стандартной ситуации. С каждым фреймом ассоциируется разнообразная информация (в том числе и процедуры), например информация о том, как пользоваться данным фреймом, ка­ковы ожидаемые результаты выполнения фрейма, что делать, если ожидания не оправдались, и т.п. Фрейм можно представить в виде сети, состоящей из вершин и отношений (дуг). Верхние уровни фрей­ма фиксированы и представляют сущности, всегда истинные в ситуа­ции, описываемой данным фреймом. Нижние уровни заканчиваются слотами, которые заполняются конкретной информацией при вызове фрейма. Можно провести аналогию между фреймами и описанием процедур в языках программирования.

Фрейм соответствует описанию процедуры, а означенный фрейм (фрейм-пример) соответствует вызову процедуры. Отличие фреймов от описаний процедур состоит в том, что фреймы могут вы­зываться не по имени, а по соответствию текущей ситуации той си­туации, которую описывает данный фрейм. Кроме того, фрейм, сло­ты и механизм их означивания описывают ситуацию в семантических (а не синтаксических) терминах и в метатерминах. С каждым слотом фрейма связаны описания условий, которые должны быть соблюде­ны, чтобы могло произойти означивание слота. В простейших случаях эти условия могут сводиться к указанию семантических категорий, которым должно удовлетворять значение слота. В более сложных случаях условия могут касаться отношений между значениями, выби­раемыми для нескольких слотов.

Итак, фрейм-пример может быть представлен в виде следующей конструкции:

f = [<r₁, v₁>, <r₂, v₂>,.....,<r_n, v_n>],

где f - имя фрейма, r₁ - имя слота, a v_i - значение слота. В качестве значений слотов могут выступать имена других фреймов, что обеспечивает связь меж­ду фреймами.

Родственные фреймы связываются в систему фреймов. Система содержит описание зависимостей (причинных, временных и т.п.) меж­ду входящими в нее фреймами. Для выражения указанных зависимо­стей фреймы, входящие в некоторую систему, имеют общее множе­ство слотов. Представление зависимостей в явном виде позволяет предсказать переход от одного состояния А (выражаемого фреймом А') к другому зависимому от него состоянию В (выражаемому фрей­мом В') и осуществить этот переход эффективно, т.е. не вычисляя за­ново значений всех параметров, характеризующих состояние В, а пе­речислив только изменившиеся (или новые) параметры.

Системы фреймов, в свою очередь, обычно организуют в инфор­мационно-поисковую сеть. Эта сеть используется в случаях, когда предложенный фрейм не удается привести в соответствие с данной ситуацией, т.е. когда слотам не могут быть присвоены значения, удо­влетворяющие условиям, связанным с этими слотами. В подобных ситуациях сеть используется для того, чтобы предложить какой-либо другой фрейм.