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

Смолянинова

Фреймы семантические сети и продукции

В логических моделях механизм логического вывода.

Логическое программирование – язык ПроЛог

Интерпретатор пролога работает по методу резолюции.

В неформальных моделях нет определенного математического алгоритма, нет теории логического вывода есть другие механизмы.

Неформальные модели более приближены к естественному языковому описанию.

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

Понятие фрейма было введено Минским , достаточно давно, впервые это понятие применили в лингвистике.

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

По фрейме хранится информация необходимая и достаточная для представления некоторого фрагмента знаний.

Деталь
Просверлена
Обточена
На станке

Это фрейм

Бывают фреймы прототипы и фреймы примеры

Прототип – такие где есть не заполненные слоты. Как класс. общее описание

Фрейм пример (экземпляр) – с полностью заполненными слотам

Фреймы стали применяться для выражения отношения иерархии.

Методы реализуют процессы предметной области.

Во фреймовой модели моделируются процессы но другим способом

Присоединенные процедуры во фреймовой модели это процедуры трех видов –

IF NEEDED -если есть необходимость

IF – REMOVED – если что то удаляется

IF – ADDED – если добавляется

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

На этих присоединенных процедурах построен механизм логического вывода.

Действия или процессы предметной области.

Как представить действия во фреймовой модели представлении знаний.

Имя Действия
Субъект
Объект
Компонент
Условие
Результат

У каждого действия есть условие и резултат

Это фрейм прототип

Ну или класс ( в ооп)

Обточить
Субъект	Робот
Объект	Деталь
Компонент	Станок
Условие	На (Деталь,станок)=и & Обточена(д) = л
Результат	Обточена(Д)=и

Это фрейм пример

деталь
обточена
просверлена
На станке

Фреймовая модель – база – набор фреймов

Во фреймовой Базе знаний хранятся фреймы прототипы, то есть фреймы содержащие общее описание