Принцип цели ориентирует на то, что при исследовании объекта необходимо прежде всего выявить цель его функционирования
Критерий Лапласа
ОПО КТВК (ГКВВ)
СУЩНОСТЬ И ОСНОВНЫЕ ПОНЯТИЯ ТЕОРИИ РАСПОЗНАВАНИЯ ОБРАЗОВ
Выбор решающего правила
ЛОГИЧЕСКИЕ МЕТОДЫ
Продукционная модель
Фреймовая модель
СТРУКТУРА И РЕЖИМЫ РАБОТЫ ЭС
Навигация
Фреймовая модель
Автоматизированные Системы Обработки Информации
115369
знаков
7
таблиц
12
изображений
2. Фреймовая модель.
Фрейм предложен М. Минским в 70-е годы как структура знаний для восприятия пространственных сцен. Это модель, как и семантическая сеть, имеет глубокое психологическое обоснование.
Под фреймом понимается абстрактный образ или ситуация. Напримекр слово “комната” вызывает у слушающих образ комнаты: “жилое помещение с четырьмя стенами, полом, потолком, окнами и дверью, площадью 6 – 20 кв. метров.
Из этого описания ничего нельзя убрать, но в нем есть “дырки” или “слоты”, - это н00езаполненные значения некоторых атрибутов - количество окон, высота потолка, покрытие пола и другие.
В теории фреймов такой образ называется фреймом. Фреймом называется также и формализованная модель для отображения образа.
Структура фрейма:
(Имя фрейма:
имя 1-го слота (значение 1-го слота ),
имя 2-го слота (значение 2-го слота ),
. . .
имя N-го слота (значение N-го слота)).
Или в виде таблицы.
| Имя фрейма | |||
| Имя слота | Тип слота | Значение слота | Присоединение |
В таблице дополнительные столбцы предназнвчены для описания типа слоота и возможного присоединения к тому или иному слоту специальных процедур, что допускается в теории фреймов.
Например, слот “дата рождения” может содержать процедуру для вычисления возраста. Тогда естественно слот “возраст” оказывается ненужным. Данная процедура подключается автоматически и называется демоном. Если процедура активизируется по запросу, она называется слугой.
С использованием присоединенных процедур можно запрограммировать любую процедуру вывода на фреймовой сети. Механизм управления выводом организуется следующим образом. Сначала запускается одна из присоединенных процедур некоторого фрейма, называемого образцом. Образец – это, по сути, фрейм-прототип, т.е. у него заполнены не все слоты, а только те, которые описывают связи данного фрейма с другими. Затем в силу необходимости, посредством пересылки сообщений, последовательно запускаются присоединенные процедуры других фреймов и таким образом осуществляется вывод.
В качестве значения слота может выступать имя другого фрейма; так образуют сети фреймов.
Слоты могут содержать фасеты, которые задают дипазон или перечень его возможных значений (например, слот “возраст” может содержать фасет “максимальный возраст”
Различают фреймы – образцы или прототипы, хранящиеся в базе знаний, и фреймы – экземпляры, которые создаются для отображения реальных ситуаций на основе поступающих данных.
Модель фрейма является достаточно универсальной, поскольку позволяет отобразить все многообразие знаний о мире через:
- фреймы – структуры,
- фреймы – сценарии,
- фреймы – ситуации.
Основным преимуществом фреймов как модели представления знаний является способность отражать концептуальную основу организации памяти человека, а также ее гибкость, наглядность и универсальность. Но она обладает высокой степенью формализации и сложностью (низкое быстродействие машины вывода).
4. Формальные логические модели.
Традиционно в представлении знаний выделяют формальные логические модели, основанные на классическом исчислении предикатов 1 порядка, когда предметная область или задача описывается в виде набора аксиом (правильных высказываний или объектов) и задаются правила построения новых объектов из других правильных объектов системы (правила вывода).
Пример.
1)высказывание: a>b представляется термом p(a,b) (двуместный предикат), где p – предикатный символ, заменяющий знак “>";
2)высказывание “аппаратная ах – исправна” представляется Q(x);
3)теорема Пифагора может быть представлена термом:
P![P2 (P3(x),P3 (y)),P3(z)]
В качестве предикатных символов могут использоваться следющие:
Ø - НЕВЕРНО ЧТО (ЗНАК ОТРИЦАНИЯ);
Ç - И (ЗНАК КОНЪЮНКЦИИ);
È - ИЛИ (ЗНАК ДИЗЪЮНКЦИИ);
® - ЕСЛИ … ТО (ЗНАК ИМЛИКАЦИИ);
Û - ТОГДА, КОГДА (ЗНАК ЭКВИВАЛЕНТНОСТИ);
" - ДЛЯ ВСЯКОГО ( ЗНАК КВАНТОРА ОБЩНОСТИ);
$ - СУЩЕСТВУЕТ (ЗНАК КВАНТОРА СУЩЕСТВОВАНИЯ).
В различных логических системах используются разнообразные правила вывода. Приведем два наиболее распространенные.
Правило подстановки. В формуле, которая уже выведена, можно вместо некоторого высказывания подставить любое другое присоблюдении условия: подстановка должна быть сделана во всех местах вхождения заменяемого высказывания в данную формулу.
Правило заключения. Если a и a®b являются истинными высказываниями посылками, тогда и высказывание заключение b также истина. Записывается правило в виде дроби
Особенность систем представления знаний заключается в том, сто они моделируют деятельность человека, осуществляемую часто в неформальном виде. Модели представления знаний имеют дело с информацией, получаемой от экспертов, которая часто носит качественный и противоречивый характер. Для обработки с помощью ЭВМ такая информация должна быть приведена к однозначному формализованному виду. Методологией формализованного представления знаний является логика.
Похожие работы
... , выполнение работ, предоставление услуг). Система предназначена для применения на складах или для лиц, занимающихся реализации продукции. Раздел 1. Описание объекта для разработки и создания автоматизированной системы обработки информации. Проблема учета отгрузки и реализации готовой продукции на предприятии – одна из важнейших проблем на любом предприятии. Система учета отгрузки и реализации ...
... рисунков в формате А0-А1 со скоростью 10-30 мм/с. Фотонаборный аппарат Фотонаборный аппарат можно увидеть только в солидной полиграфической фирме. Он отличается своим высоким разрешением. Для обработки информации фотонаборный аппарат оборудуется процессором растрового изображения RIP, который функционирует как интерпретатор PostScript в растровое изображение. В отличие от лазерного принтера в ...
... необходимостью экономить трудовые, материальные и финансовые ресурсы. Отсюда вытекают и специальные требования, предъявляемые автоматизированным системам обработки информации. Прежде всего, система должна отвечать основным функциональным требованиям, в качестве которых выступают операции экономического отдела городской налоговой инспекции. Кроме того, к АСОЭИ предъявляются и основные системные ...
... Конфигурациями Задачами управления Конфигурациями являются контроль изменяющейся ИТ – инфраструктуры (стандартизация, верификация и регистрация), сбор и управления Документацией по Ит – инфраструктуре, а также предоставления информации об ИТ-инфраструктуре для всех других процессов. 14. Управления Изменениями Управление Изменениями направлено на контроль проведения изменений в ИТ- ...
0 комментариев