|
Таким образом, можно выделить три основных процесса, происходящих во фреймовых СМК [7]. 1. Создание экземпляра фрейма. Для создания экземпляра фрейма необходимо найти подходящий фрейм и заполнить его слоты информацией, описывающей специфику рассматриваемой ситуации. Для того чтобы заполнить слоты используется специальная информация о том, как найти потенциальные «заполнители» слотов. Эта информация часто хранится в процедуральной форме. 2. Активация фреймов. В том случае, когда фрейм считается подходящим для описания данной ситуации, осуществляется его активация глобальным процессом. Если обнаруживается слишком много отличий содержимого фреймов от специфических особенностей рассматриваемой ситуации или они носят достаточно серьезный характер, организуется поиск другого, более подходящего фрейма. При этом «отвергнутый» фрейм может содержать указания на то, какие именно фреймы следует исследовать вместо данного (например, более общие или, наоборот, более специализированные). Часть данных, используемых для заполнения слотов «отвергнутого» фрейма, может быть использована при рассмотрении новых кандидатов. 3. Организация вывода, заключающаяся в последовательном поиске и активации в сети фреймов до нахождения наиболее соответствующего и построения на его основе экземпляра фрейма. Информация, накапливаемая в базе данных СМК КО, может быть разделена на следующие группы: • фреймы, описывающие, используемые понятия и семантические отношения между ними; • экземпляры фреймов, содержащие конкретные фактические данные о предметной области; • закономерности; • дескрипторы, обеспечивающие хранение информации о схемах вычислений, прикладных программах и данных, необходимых для решения формулируемой задачи. 46 |
1. Создание экземпляра фрейма. Для создания экземпляра фрейма необходимо найти подходящий фрейм и заполнить его слоты информацией, описывающей специфику рассматриваемой ситуации. Для того чтобы заполнить слоты используется специальная информация о том, как найти потенциальные «заполнители» слотов. Эта информация часто хранится в процедуральной форме. 2. Активация фреймов. В том случае, когда фрейм считается подходящим для описания данной ситуации, осуществляется его активация глобальным процессом. Если обнаруживается слишком много отличий содержимого фреймов от специфических особенностей рассматриваемой ситуации или они носят достаточно серьезный характер, организуется поиск другого, более подходящего фрейма. При этом «отвергнутый» фрейм может содержать указания на то, какие именно фреймы следует исследовать вместо данного (например, более общие или, наоборот, более специализированные). Часть данных, используемых для заполнения слотов «отвергнутого» фрейма, может быть использована при рассмотрении новых кандидатов. 3. Организация вывода, заключающаяся в последовательном поиске и активации в сети фреймов до нахождения наиболее соответствующего и построения на его основе экземпляра фрейма. Виноград Т. [7] предложил объединить во фреймах преимущества декларативного и процедурального представления. Суть его предложения состоит в том, что знания, касающиеся функций непосредственного представления их с помощью фреймов, должны храниться в декларативной форме, а знания об использовании фреймов в процедуральной. В частности, процедуры могут хранить знания, позволяющие давать ответ на следующие вопросы [7]. 1. Когда активировать фрейм? Подобно «демонам» фреймы могут активировать сами себя в случае, если распознана соответствующая ситуация. 2. В каком случае считать, что данный фрейм неадекватен ситуации и что в этом случае делать? Фрейм мог бы, например, автоматически передать управление другому фрейму или деактивировать себя. 52 3.Когда осуществлять заполнение слотов в момент вызова или позднее, по мере необходимости? Реализация этих функций может быть возложена на присоединенные процедуры. Процедуры могут также реализовывать эвристики, направленные на поиск необходимой для заполнения слотов информации. Рассмотрим некоторые конкретные примеры практического использования теории фреймов. Аппарат теории фреймов нашел применение при создании диалоговой информационно-логической системы (ДИЛОС) [7], предназначенной для организации интерфейса между ЭВМ и непрограммирующим пользователем. Система использует специальный формальный язык (Ф-язык), в основе которого лежат фреймы. Элементы Ф-языка можно условно разделить на Ф-объекты, описывающие предметную область, и Ф-выражения, используемые для создания, поиска и модификации Ф-объеюгов на основе обработки входных сообщений на естественном языке. Информация, накапливаемая в базе данных системы, может быть разделена на следующие группы: * • фреймы, описывающие, используемые понятия и семантические отношения между ними; • экземпляры фреймов, содержащие конкретные фактические данные о предметной области; • закономерности; • дескрипторы, обеспечивающие хранение информации о схемах вычислений, прикладных программах и данных, необходимых для решения формулируемой задачи. Функционирование системы организовано таким образом. На вход системы поступает информация в виде фраз естественного языка, которые с помощью препроцессора подвергаются морфологическому анализу. Затем лингвистический процессор осуществляет перевод текста в Ф-выражения, построенные с помощью фреймов. На следующем этапе семантический процессор анализирует полученные Ф-выражения. В заключение осуществляется формирование планов вычислений, запуск прикладных программ и обраще53 |