
- •Б.С. Падун
- •«Искусственные подсистемы сапр»
- •Содержание
- •Глава 1. Развитие и понятия систем искусственного интеллекта, экспертных 7
- •Глава 2. Основные понятия инженерного проектирования 29
- •Глава 3. Построение машин логического вывода 33
- •Глава 4. Представление знаний в системе автоматизации проектирования 51
- •Введение в1. Необходимость создания экспертных систем в технологии
- •В2. Цель и задачи курса
- •В3. Связь курса с другими дисциплинами
- •Глава 1. Развитие и понятия систем искусственного интеллекта, экспертных систем и сапр тпп
- •1.1. Искусственный разум
- •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. Логико-лингвистические модели
- •Организация процесса принятия решений в экспертных системах
- •Экспертная система
- •Пользователь
- •Данные и знания
- •Модели представления знаний
- •Продукционные модели
- •Семантические сети
- •Формальные логические модели
3.1.2. Системы с адаптацией
На рис.11в показана структурная схема системы проектирования с блоком адаптации. Основным назначением блока А, который называется адаптером, является выбор определенной совокупности процедур, реализуемых в F из множества потенциально допустимых процедур на основании анализа развития процесса проектирования.
Целесообразность выделения блока А в отдельный блок, а не включение его в блок F, диктуется двумя соображениями:
во-первых, интенсивность работы адаптера существенно меньше интенсивности работы других блоков системы проектирования.
во-вторых, построить сложную систему проектирования в виде композиции значительно более простых систем и переключателя, с помощью которого можно на каждом шаге работы выбирать ту или иную подсистему, значительно проще, чем построить единую систему.
Также следует отметить, что если включить А в F, то адаптер А будет работать по жесткому закону, а цели адаптации будут зафиксированы. Если адаптер имеет нежесткие законы работы, то можно в адаптер ввести человека, у которого могут быть не зафиксированы цели адаптации и способы воздействия на блок F.
Такие системы часто называют системами F-A или A-F - системами.
Пример построения системы с адаптацией показана на рис.15 УП "Математическое обеспечение АСТПП".
3.1.3. Модельные системы проектирования
На рис.11г показана система проектирования с блоком М, называемый моделью. Модель содержит совокупность знаний об объекте, среде и правилах принятия решений. Преимущество состоит в следующем.
Во-первых, в ряде случаев представление знаний в модели оказывается более компактным, чем их отражение в алгоритме, следствием чего является существенное упрощение описания системы проектирования и ее функционирования. Это положение носит довольно общий характер, что нашло отражение в появлении специальных названий для этих двух способов хранения знаний:
хранение знаний в моделях называют декларативным представлением знаний;
хранение знаний в описании алгоритмов - процедурным представлением знаний.
Во-вторых, появление модели М в структуре системы проектирования приводит к необходимости организовать поиск в модели М и реализацию в блоке F знаний. Поиск и реализацию можно выполнять инвариантными процедурами, которые являются составной частью блока F.
В-третьих, сменить информацию в блоке М гораздо легче, чем написать новые процедуры для блока F. Если набор процедур блока F достаточно богат, то можно ожидать, что такая модель проектирования за счет лишь небольших усилий, связанных с введением новой информации в М, может адаптироваться к новому объекту и среде проектирования.
Системы управления такого типа называются F-М - системами.
3.1.4. Семиотические системы
На рис.11д,е показаны семиотические системы. Их отличие от F-М - систем заключается в том, что содержимое блока М в последней остается неизменным. Другими словами, предполагается, что априорная система знаний об объекте и среде и протекающих в них процессах обладает исчерпывающей полнотой и достоверностью. Для сложных объектов и сред, эволюционирующих во времени, а также в тех случаях когда критерии их проектирования и функционирования четко не сформулированы, это предположение неразумно. Содержимое блока М меняется, обновляется и уточняется в процессе работы.
Перестройка модели происходит с помощью специального блока I, называемого интерпретатором. Основная его задача - это интерпретация наблюдаемых ответных реакций среды и объекта проектирования на воздействия системы и процессов в терминах блока М.
Это осуществляется с помощью специальных процедур, реализуемых в интерпретаторе, таких как:
выделение причинно-следственных цепочек;
D
F
F
R
R
W
W
а ) простая разомкнутая система
б) простая система с обратной связью
D
D
F
F
M
R
A
R
W
W
в) система с адаптацией г) модельная система управления
D
D
F
M
F
M
R
I
R
I
W
W
A
д) семиотическая модель е) семиотическая модель
без адаптера с адаптером
Рис. 11. Структуры систем проектирования:
F - механизм порождения решений;
R - выходной преобразователь решений;
W - объект управления;
D - входной преобразователь;
A - адаптер;
M - модель;
I - интерпретатор.
обнаружение закономерностей;
фиксация фактов заданного типа и т.д.
В отличие от предшествующих систем проектирования, в которых основным компонентом являлся блок F, в системе рассматриваемого типа центральную роль начинает играть совокупность блоков М и I. Именно они определяют качество функционирования системы проектирования.
Подобно адаптеру, меняющему структуру блока F, интерпретатор меняет структуру блока М. Но его действия значительно богаче. Интерпретатор, в отличие от адаптера, работает вообще без заранее заданного плана, так как заложенные в него процедуры носят универсальный характер. Под I и М может пониматься целая иерархическая система интерпретаторов и моделей, каждая из которых работает со своей группой процедур из F.
Семиотические системы могут быть усложнены путем внесения в их структуру адаптера. Такие системы проектирования обладают весьма гибкими возможностями и могут использоваться при проектировании, когда закономерности проектирования и функционирования объектов и среды не могут быть априорно описаны с необходимой степенью подробности.