Методы представления знаний Формальные языки и формальные системы



страница7/17
Дата15.01.2013
Размер1.11 Mb.
ТипЛекции
1   2   3   4   5   6   7   8   9   10   ...   17

Представление знаний в системах фреймов


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

Нотация Бэкуса-Наура (с точки зрения программного подхода)

<фрейм>::=<имя фрейма>{<тело фрейма>}

<тело фрейма>::=<множество слотов>

<множество слотов>::=<слот>|<слот>,<множество слотов>

<слот>::=<имя слота>:<значение слота>

<значение слота>::=<имя фрейма>|<имя процедуры>|<множество>

<множество>::=<дискретное множество>|<плотное множество>

<дискретное множество>::=<элемент множество>;<множество>

<элемент множества>::=<имя аспекта>[<значение аспекта>]

<значение аспекта>::=<имя фрейма>|<имя процедуры>|<множество>.

<плотное множество>::=<интервал>|<полуинтервал>|<отрезок>
Пример фрейма:

, где

 или  или .

Фрейм можно представлять с помощью графа:
Пример.


    1. Система фреймов


  1. Фреймы могут ссылаться друг на друга через свои слоты и аспекты;

  2. На множестве фреймов могут быть заданы отношения типа

  • род-вид (быть подфреймом). Обозначение:,1 (род-вид)

  • инстациация - - между фреймом и его примером.


Фрейм - соединение отношений наблюдаемых признаков, определенных на слотах. Фрейм можно рассматривать как агрегат из отношений.

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

- фрейм-пример;

- фрейм-прототип.

Тогда должно выполняться .
Элементарный фрейм прототип (то есть тот, который не ссылается) является выполнимым, если

а) значения переменных, подставленных в аспекты или слоты фреймов, соответствуют областям;

б) на места формальных параметров подставлены фактические параметры процедур и выполняются условия;

в) все лингвистические переменные имеют истинностный характер.
Если два фрейма и связаны отношением или  (  ), то фрейм будет считаться выполненным, если выполнен .
Ссылки по именам

Если два фрейма  и  связаны так, что некоторый слот ссылается на аспект , то истинен, если

  1. выполним;

  2. выполнены все собственные слоты и аспекты .
1   2   3   4   5   6   7   8   9   10   ...   17

Похожие:

Методы представления знаний Формальные языки и формальные системы iconРабочая программа дисциплины теория автоматов и формальных языков направление подготовки
Уметь: строить формальные грамматики, деревья вывода, распознающие автоматы; анализировать формальные языки
Методы представления знаний Формальные языки и формальные системы icon4. Введение в формальные (аксиоматические) системы 1 Формальные модели
Принципы построения формальных теорий. Аксиоматические системы, формальный вывод
Методы представления знаний Формальные языки и формальные системы iconЛекция 3 Исчисления. Формальные системы. Формальные грамматики. Автоматы
...
Методы представления знаний Формальные языки и формальные системы iconЛекция 4 Исчисления. Формальные системы. Формальные грамматики. Автоматы
...
Методы представления знаний Формальные языки и формальные системы icon1. Понятие информации. Виды информации. Роль информации в живой природе и в жизни людей. Язык как способ представления информации: естественные и формальные языки
Понятие информации. Виды информации. Роль информации в живой природе и в жизни людей. Язык как способ представления информации: естественные...
Методы представления знаний Формальные языки и формальные системы iconКодирование информации
Представление информации. Язык как способ представления информации: естественные и формальные языки. Дискретная форма представления...
Методы представления знаний Формальные языки и формальные системы iconБилет 1 Понятие информации. Виды информации. Роль информации и живой природе и в жизни людей. Язык как способ представления информации: естественные и формальные языки. Основные информационные процессы: хранение
Понятие информации. Виды информации. Роль информации и живой природе и в жизни людей. Язык как способ представления информации: естественные...
Методы представления знаний Формальные языки и формальные системы iconБилет 1 Понятие информации. Виды информации. Роль информации и живой природе и в жизни людей. Язык как способ представления информации: естественные и формальные языки. Основные информационные процессы: хранение
Понятие информации. Виды информации. Роль информации и живой природе и в жизни людей. Язык как способ представления информации: естественные...
Методы представления знаний Формальные языки и формальные системы iconЭкзаменационные билеты по информатике 9 класс
Понятие информации. Виды информации. Язык как способ представления информации. Естественные и формальные языки. Основные информационные...
Методы представления знаний Формальные языки и формальные системы iconФормальные модели программных агентов в задаче семантического индексирования документов
В работе рассматриваются формальные модели делиберативных агентов, т е агентов базирующихся на базируется на принципах и методах...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org