Cтраница 4
Язык представления знаний, основанных на фреймовой модели, особенно эффективен для структурного описания сложных понятий и решения задач, в которых в соответствии с ситуацией желательно применять различные способы вывода. В то же время на таком языке затрудняется управление завершенностью и постоянством целостного образа. В частности, по этой причине существует большая опасность нарушения присоединенной процедуры. Следует отметить, что фреймовую систему без механизма присоединенных процедур ( а следовательно, и механизма пересылки сообщений) часто используют как базу данных системы продукций. [46]
Прототипы обеспечивают структуры для представления знаний, которые нельзя представить в системах, основанных на правилах, а именно, ожидаемые модели данных. Они также дают явный способ представления некоторой части информации, которая была неявно представлена в правилах, включая управляющую информацию и значения по умолчанию. Таким образом, система КЕНТАВР представляет в виде прототипов некоторые новые виды знания, а также те, которые раньше были представлены в виде правил, и сохраняет некоторые правила системы PUFF в виде присоединенных процедур. [47]
Во фреймовых моделях широко используется принцип умолчания. При создании системы Конференция подразумевается, что работа секций проходит в конференц-зале. Однако пользователь может в любой момент изменить эту информацию. Для изменения темы доклада используется присоединенная процедура. Через слот Руководитель секции данный фрейм связан с фреймом Оргкомитет конференции. [48]
Язык представления знаний, основанных на фреймовой модели, особенно эффективен для структурного описания сложных понятий и решения задач, в которых в соответствии с ситуацией желательно применять различные способы вывода. В то же время на таком языке затрудняется управление завершенностью и постоянством целостного образа. В частности, по этой причине существует большая опасность нарушения присоединенной процедуры. Следует отметить, что фреймовую систему без механизма присоединенных процедур ( а следовательно, и механизма пересылки сообщений) часто используют как базу данных системы продукций. [49]
Основным недостатком фреймовых моделей является отсутствие механизмов управления выводом. Отчасти этот недостаток может быть устранен при помощи присоединенных процедур, используемых в качестве слотов-фреймов, реализуемых силами пользователя системы. Однако при таком подходе затрудняется управление завершенностью и постоянством целостного образа. В частности, по этой причине существует большая опасность нарушения корректности присоединенных процедур. [50]
Пример фреймовой системы, описывающей аудиторию, показан на рис. 6.1.2. Механизм управления выводом может быть организован следующим образом. Связи между данным фреймом и другими фреймами задаются при помощи специального слота, значением которого является присоединенная процедура - специфичная процедура вывода в этом фрейме. При осуществлении вывода сначала запускается одна из присоединенных процедур некоторого фрейма. Затем оценивается возвращаемое значение, и в зависимости от него последовательно запускаются присоединенные процедуры других фреймов. В ходе этого процесса происходит генерация и уничтожение слотов, изменение значений слотов и т.п. Таким образом, происходит постепенное продвижение к получению целевого значения. [51]