Cтраница 1
Сеть фреймов [ frame network ] - класс логико-лингвистических моделей, основанных на использовании фреймов для представления знаний о предметной области и позволяющий эффективно моделировать сложные и разнородные системы. [1]
Специальные языки представления знаний в сетях фреймов: FRL ( Frame Representation Language) [8], KRL ( Knowledge Representation Language) [169] и др. позволяют эффективно строить промышленные ЭС. [2]
Специальные языки представления знаний в сетях фреймов FRL ( Frame Representation Language) [ Байдун, Бунин, 1990 ], KRL ( Knowledge Representation Language) [ Уотермен, 1989 ], фреймовая оболочка Kappa [ Стрельников, Борисов, 1997 ] и другие программные средства позволяют эффективно строить промышленные ЭС. [3]
Система, таким образом, обеспечивает автоматическое создание на локальной основе сети фреймов, адекватной заданному классу задач. [4]
В процессе генерации семантических решений НФЗ после означивания ФР-прототипы превращаются во ФР-примеры; образуется взаимосвязанная совокупность родственных ФР, называемая сетью фреймов, или системой фреймов. Каждый ФР и сеть ФР комплексно отображают как декларативные, так и процедурные знания о ПО. [5]
Так как ФР Технологический оператор разделения и ФР Технологический поток ХТС содержат слоты, указывающие на взаимосвязь потоков и операторов в системе разделения, одновременно с означиванием фреймов-прототипов полученные фреймы-примеры связываются в сеть фреймов. Эта сеть фреймов отображает одну рациональную последовательность выделения целевых продуктов. [6]
Так как ФР Технологический оператор разделения и ФР Технологический поток ХТС содержат слоты, указывающие на взаимосвязь потоков и операторов в системе разделения, одновременно с означиванием фреймов-прототипов полученные фреймы-примеры связываются в сеть фреймов. Эта сеть фреймов отображает одну рациональную последовательность выделения целевых продуктов. [7]
В CENTAUR структурирование знаний осуществляется с помощью сети фреймов, обеспечивающих группирование продукционных правил по ситуациям и фазам консультации. Подобный эффект мог бы быть достигнут и с помощью метаправил, однако механизм фреймов показался автору CENTAUR более удобным. [8]
Отношения наследования обычно образуют иерархическую структуру в системе знаков. Очевидно, что между сетью знаков и сетью фреймов существует аналогия. Это позволяет определить операции на сетях из знаков - фреймов, выполнять операции вывода знаний и формирования новых знаний. Граф Оф соответствует триаде: синтаксис, семантика, прагматика, Синтаксис ( xi) определяет кодирование знака; семантика ( ж2) - значение знака; прагматика ( ж3) - процедуры и действия. В ИС такая совокупность процедур обычно реализуется в планировщиках и определяет эффективность работы ИС. [9]
В табл. 4.3 дополнительно введенный столбец Присоединенная процедура является необязательным параметром и предназначен для описания возможного присоединения к тому или иному слоту специальных процедур. Для организации связи между объектами предметной области строится сеть фреймов. Связь между фреймами сети организуется путем указания в качестве значений некоторых слотов одного фрейма имен других фреймов. [10]
Процедура является возможным, но не обязательным элементом слота. Имена фреймов используются как мнемонические элементы для конструирования сети фреймов. В качестве значений слотов могут выступать имена других фреймов, что обеспечивает связи между фреймами, их вкладываемость друг в друга. [11]
На уровне Ua отношения, образующие блоки, принадлежат к классу элемент-множество, а отношения между блоками также в основном определяются их непротиворечивостью. В дальнейшем на стадии формализации этот уровень организуется как сеть фреймов, связывающая факторы в блоки через их лингвистические значения, а возникающие противоречия разрешаются на стадии реализации через процедуры - демоны, которые вызываются автоматически. [12]
В CENTAUR данные в рабочей памяти и правила в базе знаний представлены так же, как в EMYCIN, т.е. в виде троек и продукционных правил. Знания о модели проблемной области и структуре диалога представлены в виде сети фреймов, называемых - прототипами. На рис. 3.7. приведен фрагмент сети фреймов, используемый в CENTAUR. Прототипы состоят из слотов и ассоциированной с ними информации. Особый тип слотов представляют собой слоты, называемые КОМПОНЕНТАМИ: значением этих слотов являются подфреймы, содержащие информацию о характеристиках объектов предметной области. [13]
Настоящая работа была выполнена в надежде на то, что достаточно простые и естественные локальные механизмы обучения способны в процессе своей работы автоматически порождать структуры, типа простых фреймов и сетей из них. Изложим кратко результаты модельных экспериментов в этой области, в частности, опишем элементарную систему, формирующую сеть фреймов. [14]
В CENTAUR данные в рабочей памяти и правила в базе знаний представлены так же, как в EMYCIN, т.е. в виде троек и продукционных правил. Знания о модели проблемной области и структуре диалога представлены в виде сети фреймов, называемых - прототипами. На рис. 3.7. приведен фрагмент сети фреймов, используемый в CENTAUR. Прототипы состоят из слотов и ассоциированной с ними информации. Особый тип слотов представляют собой слоты, называемые КОМПОНЕНТАМИ: значением этих слотов являются подфреймы, содержащие информацию о характеристиках объектов предметной области. [15]