- •Б.С. Падун
- •«Искусственные подсистемы сапр»
- •Содержание
- •Глава 1. Развитие и понятия систем искусственного интеллекта, экспертных 7
- •Глава 2. Основные понятия инженерного проектирования 29
- •Глава 3. Построение машин логического вывода 33
- •Глава 4. Представление знаний в системе автоматизации проектирования 51
- •Введение в1. Необходимость создания экспертных систем в технологии
- •В3. Связь курса с другими дисциплинами
- •Глава 1. Развитие и понятия систем искусственного интеллекта, экспертных систем и сапр тпп
- •1.1. Искусственный разум
- •В2. Цель и задачи курса
- •1.2. Система искусственного интеллекта
- •1.3. Определение и основные свойства экспертной системы
- •Системы ии
- •Системы, основанные на знаниях;
- •Экспертные системы
- •1.4. Основные характеристики экспертной системы
- •1.5. Структура экспертной системы
- •Пользователь
- •Экспертная система
- •Механизм вывода (общие знания о решении задачи)
- •1.6. Развитие сапр тпп
- •Средства организации диалога с технологом
- •1.7. Классификация экспертных систем
- •1.7.1. Классификация по решаемым задачам
- •Программные средства проектирования алгоритмов и программ решения задач тпп (преподавание и усвоение знаний)
- •Экспертные системы
- •По задачам
- •По типу вм
- •1.7.2. Классификация по связи с реальным временем
- •1.7.3. Классификация по типу эвм
- •1.7.4. Классификация по степени интеграции с другими программами
- •Глава 2. Основные понятия инженерного проектирования
- •2.1. Базовые понятия проектирования
- •2.2. Особенности инженерного проектирования
- •Решить, что делать на I-ой операции Выполнить o (I)
- •2.3. Замечания к процессу инженерного проектирования
- •Глава 3. Построение машин логического вывода
- •3.1. Типология систем проектирования
- •3.1.1. Простые системы проектирования
- •3.1.2. Системы с адаптацией
- •3.1.3. Модельные системы проектирования
- •3.1.4. Семиотические системы
- •3.2 Примеры построения структур систем, решающих технологические задачи
- •Сфера функционирования Производственная среда Изделие Технологическая система
- •Система проектирования оснащения
- •Производственная среда
- •Технологическая система
- •Система проектирования производственных подразделений
- •Производственная среда
- •Технологическая система
- •3.3. Классификация теорий решения задач
- •Теория решений
- •3.4. Формальные и семиотические системы
- •Множество ппс
- •Множество вс
- •Множество а
- •3.5 Теория проектирования технологических процессов (школа н.Г. Бруевича)
- •Глава 4. Представление знаний в системе автоматизации проектирования
- •4.1. Реляционные языки
- •4.1.2. Функциональные классы в естественных языках
- •4.1.3. Шкалирование квантификаторов
- •4.1.4. Семантические сети
- •4.1.3. Фреймовые представления
- •4.2. Предикатные языки
- •4.2.1. Продукционные модели
- •4.2.2. Формальные логические модели
- •4.1. Логико-лингвистические модели
- •Организация процесса принятия решений в экспертных системах
- •Экспертная система
- •Пользователь
- •Данные и знания
- •Модели представления знаний
- •Продукционные модели
- •Семантические сети
- •Формальные логические модели
4.1.3. Фреймовые представления
Особый класс реляционных описаний представляют так называемые фреймовые представления.
Определение: Фрейм – это абстрактный образ для представления некоего стереотипа восприятия.
Термин фрейм (каркас или рамка) был предложен М. Минским для определения абстрактного образа. Например, образ дома (рис.). Фрейм – это "минимально необходимое", без чего не существует объект, явление, процесс, о котором идет речь. То есть – это минимальное описание образа, из которого нельзя убрать хотя бы одного свойства. В фрейме могут быть «дырки» или «слоты» - это незаполненные значения некоторых атрибутов (например, количество окон, цвет дома и т.п.).
Различают фреймы-образцы и фреймы – экземпляры. Фреймы-образцы, или прототипы, хранятся в базе знаний. Фреймы – экземпляры создаются для отображения реальных фактических ситуаций на основе поступающих данных.
Фреймы, с помощью которых описываются знания о мире, можно разделить на:
фреймы – структуры (или структурные фреймы) используются для обозначения объектов и понятий (оборудование, технологический процесс). Например, структурный фрейм технологической системы:
оборудование основное;
приспособление;
инструмент изготовления;
заготовка или изделие;
вспомогательный инструмент;
измерительный инструмент;
вспомогательный материал.
Можно исключить приспособление, инструмент вспомогательный и измерительный, вспомогательный материал. Все что осталось (уже ничего выбросить нельзя без потери смысла) можно отождествить со структурным фреймом;
фреймы – роли, или ролевые фреймы, (например, инструментальный переход). Например, ролевой фрейм понятия "переход" имеет следующую структуру:
ПЕРЕХОД [<что><как><где><откуда><куда><зачем>]
В этой записи зафиксированы некоторые позиции, связанные с понятием переход. Рассмотрим фразу "точить проходным резцом поверхность i с подачей S и глубиной резания t"
ПЕРЕХОД [<проходной резец><с подачей S и глубиной резания t><поверхность i><><точить>]
- обозначает, что соответствующая роль остается незаполненной;
Между ролевыми фреймами и RX-кодами имеется определенная аналогия: всякий RX-код можно рассматривать как некоторый ролевой фрейм.
фреймы – сценарии (например, описание установки);
фреймы – ситуации ( режимы работы оборудования) и др.
Система фреймовых описаний используется при хранении обобщенной информацией об объекте и технологии управления им и при организации плана по управлению объектом.
Структура фрейма может быть описана:
традиционным способом, как список свойств, например:
(ИМЯ ФРЕЙМА:
(имя 1-го слота: значение 1-го слота),
(имя 2-го слота: значение 2-го слота),
…
(имя N-го слота: значение N-го слота)).
в виде таблицы, например:
Имя фрейма |
|||
Имя слота |
Значение слота |
Способ получения значения |
Присоединенная процедура |
|
|
|
|
|
|
|
|
|
|
|
|
В таблице можно вводить дополнительные столбцы, что допускается в теории фреймов.
В качестве значения слота может выступать имя другого фрейма, что позволяет построить сети фреймов.
Существует несколько способов получения слотом значений во фрейме – экземпляре:
по умолчанию от фрейма – образца;
через наследование свойств от фрейма, указанного в слоте АКО (= это);
по формуле, указанной в слоте;
через присоединенную процедуру;
явно из диалога с пользователем;
из базы данных.
Важнейшим свойством теории фреймов является заимствование из теории семантических сетей, так называемое наследование свойств. Слот АКО указывает на фрейм более высокого уровня иерархии, откуда неявно наследуются значения аналогичных слотов. Достоинство – это наглядность и гибкость. Существуют языки представления знаний в сетях фреймов: FRL (Frame Representation Language), KRL (Knowledge Representation Language), фреймовая «оболочка», Kappa и др., которые позволяют строить ЭС. К фреймо-ориентированным ЭС относятся ANALIST, МОДИС, TRISTAN, ALTERID.
