Фреймы используются для описания объектов, событий, ситуаций, прочих понятий и взаимосвязей между ними

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

Фрейм - по М.Минскому - структура данных для представления стереотипной ситуации.

Теория фреймов - это парадигма для представления знаний с целью использования этих знаний компьютером. Впервые была представлена Минским в 1975 году, как попытка построить фреймовую сеть, или парадигму с целью достижения большего эффекта понимания. С одной стороны он пытался сконструировать базу данных, содержащую энциклопедические знания, но с другой стороны, хотел создать наиболее описывающую базу, содержащую информацию в структурированной и упорядоченной форме. Эта структура позволила бы компьютеру вводить информацию в более гибкой форме, имея доступ к тому разделу, который требуется в данный момент. Минский разработал такую схему, в которой информация содержится в специальных ячейках, называемых фреймами, объединенными в сеть, называемую системой фреймов. Новый фрейм активизируется с наступлением новой ситуации. Отличительной его чертой является то, что он одновременно содержит большой объем знаний и в то же время является достаточно гибким для того, чтобы быть использованным как отдельный элемент базы данных. Термин «фрейм» был наиболее популярен в середине семидесятых годов, когда существовало много его толкований, отличных от интерпретации Минского.

Итак, как было сказано выше фреймы - это фрагменты знания, предназначенные для представления стандартных ситуаций. Термин «фрейм» (Frame - рамка) был предложен Минским. Фреймы имеют вид структурированных компонентов ситуаций, называемых слотами. Слот может указывать на другой фрейм, устанавливая, таким образом, связь между двумя фреймами.

Фреймы математически представляются как ориентированные графы с помеченными вершинами и дугами. Они отражают концептуальную основу организации памяти человека, обладают наглядностью, модульностью, объединяют достоинства процедурного и декларативного представления знаний, эффективны при обработке семантической составляющей знаний.

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

Семантические сети с фреймами.

Узлы:

1. Типы данных
2. Переменные
3. Константы
4. Операции

Фреймы:

Ø функциональные

Ø структурные

Функциональные фреймы:

Дуги:

1. t (type_of) - связь переменной с типом данных
2. i (instance_of) – связь константы с типом данных
3. a₁, a₂, a₃… аргументы функции (операции)
4. r – результат операции (значение функции)
5. s – подкласс
6. кванторы [all], [n] – существует в точности n; [n} – не менее n
   {n] – не более n ([1} = - существует по крайней мере один)
7. дуга без пометок (связь переменных, задает порядок следования переменных в выражениях с кванторами).

Структурные фреймы:

Дуги:

1. (def) — by definition
2. t, -O- – is a type of or absent

Представление формул логики предикатов с помощью семантических сетей с фреймами.

На примере:

Узлы:

1. Типы данных
2. Переменные
3. Константы
4. Операции

Дуги:

• t (type_of) - связь переменной с типом данных
• a₁, a₂, a₃… аргументы функции (операции)
• r – результат операции (значение функции)
• s – подкласс
• кванторы [all], [n] – существует в точности n; [n} – не менее n
  {n] – не более n ([1} = - существует по крайней мере один)
• дуга без пометок (связь переменных, задает порядок следования переменных в выражениях с кванторами).

На примере: (Parent (x,y)& Man(x)) Father(x,y)

Полезное пособие по этой (и не только) теме в формате pdf (superhelp<...>.pdf)

Дата добавления: 2015-05-08