9-10. Фреймовая модель представления знаний

Брянский государственный технический университет
Кафедра «Компьютерные технологии и системы»
ФРЕЙМОВАЯ
МОДЕЛЬ
ПРЕДСТАВЛЕНИЯ
ЗНАНИЙ
ЛЕКЦИЯ
(С): Доц., к.т.н. Шкаберин В.А.
Содержание
1.
2.
3.
4.
5.
Возникновение термина «фрейм».
Классификация фреймов
Конкретизация фрейма. Заполнение
слотов.
Преимущества фреймовой модели.
Программные средства,
реализующие фреймовый подход
Возникновение термина «ФРЕЙМ»
Термин фрейм (от англ. frame – рамка,
каркас) предложен Марвином Минским,
одним из пионеров ИИ, в 70-е годы для
обозначения
структуры
знаний
для
восприятия пространственных сцен. Эта
модель, как и семантическая сеть, имеет
глубокое психологическое обоснование.
Фрейм – это
представления
восприятия.
абстрактный
некоего
образ для
стереотипа
Возникновение термина «ФРЕЙМ»
Отправным моментом для данной теории служит тот факт, что человек,
пытаясь познать новую для себя ситуацию или по-новому взглянуть на уже
привычные вещи, выбирает из своей памяти некоторую структуру данных
(образ), называемую нами фреймом, с таким расчетом, чтобы путем
изменения в ней отдельных деталей сделать ее пригодной для понимания
более широкого класса явлений или процессов.
 Фрейм является структурой данных для представления стереотипной
ситуации. С каждым фреймом ассоциирована информация разных видов.
Одна ее часть указывает, каким образом следует использовать данный
фрейм, другая - что предположительно может повлечь за собой его
выполнение, третья - что следует предпринять, если эти ожидания не
подтвердятся.
 Фрейм можно представлять себе в виде сети, состоящей из узлов и связей
между ними. "Верхние уровни" фрейма четко определены, поскольку
образованы такими понятиями, которые всегда справедливы по отношению
к предполагаемой ситуации. На более низких уровнях имеется много особых
вершин-терминалов или "ячеек", которые должны быть заполнены
характерными примерами или данными.

Марвин Минский «Фреймы для представления знаний»
Марвин Минский (Мarvin Minsky)
Родился 09.08.1927
г. Получил степень
бакалавра математики в 1950 г. в
Гарвардском университете и степень
доктора философии в 1954 г. в Принстоне.
Минский - профессор Массачусетского
технологического института,
является
одним из тех, кто стоял у истоков
исследований в области искусственного
интеллекта.
Известен
прежде
всего
работами
по
нейронным
сетям
и
представлению знаний. В 1987 г. написал
книгу "Общество разума" ("The Society of
Mind"), в которой изложил собственную
концепцию
структуры
и
функций
человеческого мышления.
ФРЕЙМЫ
фреймы-образцы,
или прототипы
(протофреймы),
хранящиеся в базе
знаний
фреймы-экземпляры,
которые создаются
для отображения
реальных
фактических
ситуаций на основе
поступающих
данных
Модель фрейма является достаточно
универсальной, поскольку позволяет
отобразить все многообразие знаний о
мире через:
фреймы-структуры, использующиеся
для обозначения объектов и понятий
(заем, залог, вексель);
фреймы-роли (менеджер, кассир,
клиент);
фреймы-сценарии (банкротство,
собрание, празднование именин);
фреймы-ситуации (тревога, авария,
рабочий режим устройства).
ФРЕЙМ-ПРОТОТИП
Фрейм-прототип - фрейм, в котором значения
слотов не определены.
Во фреймовых моделях фиксируется жесткая структура
информационных единиц, которая называется фреймом-прототипом
(протофреймом). В общем виде она выглядит следующим образом:
(Имя фрейма:
Имя слота 1 (значение слота 1);
Имя слота 2 (значение слота 2);
...
Имя слота К (значение слота К)
)
ФРЕЙМ-ПРОТОТИП
Ту же запись можно представить в виде таблицы, дополнив ее
двумя столбцами.
ИМЯ
СЛОТА
ЗНАЧЕНИЕ
СЛОТА
СПОСОБ
ПОЛУЧЕНИЯ
ЗНАЧЕНИЯ
ПРИСОЕДИНЕННАЯ
ПРОЦЕДУРА
Дополнительные столбцы предназначены для описания способа
получения слотом его значения и возможного присоединения к
тому или иному слоту специальных процедур, что допускается в
теории фреймов.
КОНКРЕТИЗАЦИЯ ФРЕЙМА
При конкретизации фрейма ему и слотам
присваивают
конкретные
имена
и
происходит заполнение слотов.
Из протофреймов получаются фреймыэкземпляры. Экземпляр фрейма - фрейм, в
котором определены значения слотов.
Переход от исходного протофрейма к
фрейму-экземпляру
может
быть
многошаговым, за счет постепенного
уточнения значений слотов.
ЗНАЧЕНИЕ СЛОТА
Значением слота может быть:
числа или математические соотношения,
 тексты на естественном языке,
 программы,
 правила вывода,
 ссылки на другие слоты данного фрейма или других
фреймов,
 набор слотов более низкого уровня – реализация принципа
«матрешки».

 Если в качестве значения слота выступает имя другого
фрейма, то образуются сети фреймов.
СПОСОБЫ ПОЛУЧЕНИЯ СЛОТОМ ЗНАЧЕНИЙ
Существует несколько способов получения
слотом значений во фрейме-экземпляре:
 по умолчанию от фрейма-образца
(Default-значение);
 через наследование свойств от фрейма,
указанного в слоте АКО;
 по формуле, указанной в слоте;
 через присоединенную процедуру;
 явно из диалога с пользователем;
 из базы данных.
ПРИМЕР
Протофрейм (фрейм-прототип):
(Список студентов:
Фамилия (значение слота 1);
Год рождения (значение слота 2);
Специальность (значение слота 3);
Средний балл (значение слота 4)
)
Фрейм-экземпляр:
(Список студентов:
Фамилия (Иванов-Петров-Сидоров)
Год рождения (1980-1981-1982)
Специальность (ОЗИ-САПР-ПО)
Средний балл (4-4-5)
)
Связи между фреймами
Связи между фреймами могут задаваться
значениями специального слота с именем
«Связь».
Важнейшее свойство теории фреймов –
заимствование из теории семантических сетей
наследования свойств. И во фреймах и в
семантических сетях наследование происходит
по AKO-связям (A-Kind-Of = это).
Слот AKO указывает на фрейм более высокого
уровня иерархии, откуда неявно наследуются, то
есть переносятся, значения аналогичных слотов.
ПРИМЕР
В сети фреймов понятие «ученик» наследует свойства фреймов «ребенок» и
«человек», которые находятся на более высоком уровне иерархии.
На вопрос «любят ли ученики сладкое» следует ответ «да», так как этим
свойством обладают все дети, что указано во фрейме «ребенок». Наследование
свойств может быть частичным, так как возраст учеников не наследуется из
фрейма «ребенок», поскольку указан явно в своем собственном фрейме.
Человек
АКО
Млекопитающее
Умеет Мыслить
Ребенок
АКО
Человек
Возраст
0-16 лет
Рост
50-180
см
Любит
Сладкое
Ученик
АКО
Ребенок
Учится
В школе
Возраст
7-17 лет
Носит
Форму
Преимущества фреймовой модели
Основное преимущество фреймов как
модели представления знаний – эта модель
отражает
концептуальную
основу
организации памяти человека, а также ее
гибкость и наглядность.
ЯЗЫКИ ПРЕДСТАВЛЕНИЯ ФРЕЙМОВ.
ЭС НА ФРЕЙМАХ
Специальные языки представления фреймов
FRL (Frame Representation Language),
 KRL (Knowledge Representation Language),
фреймовая «оболочка» Карра
позволяют строить промышленные ЭС.
Широко известны фрейм-ориентированные ЭС
ANALYST, МОДИС, TRISTAN, ALTERID и др.
СПАСИБО
ЗА ВНИМАНИЕ !
ПРЕЗЕНТАЦИЮ ПОДГОТОВИЛ
ШКАБЕРИН В.А.
(С): Брянский областной Центр НИТ БГТУ, 2004.