
- •И.В. Романова Интеллектуальные подсистемы сапр
- •Оглавление
- •6. Представление знаний и процедуры выводов с помощью
- •Введение
- •Глава 1. Искусственный интеллект как научное направление
- •1.1. Что такое Искусственный интеллект
- •И как должна себя вести интеллектуальная система?
- •1.2. История развития ии
- •1.3. Направления исследований в области ии
- •Глава 2. Общие сведения о системах искусственного интеллекта
- •2.1. Обобщенная схема системы искусственного интеллекта
- •2.2. Этапы разработки систем искусственного интеллекта
- •Глава 3. Представление знаний
- •3.1. Данные и знания
- •3.2. Модели представления знаний
- •3.3. Продукционная модель
- •3.4. Логические модели
- •3.5. Семантические сети
- •3.6. Фреймовые модели
- •Глава 4. Вывод на знаниях
- •4.1. Машина вывода
- •4.2. Стратегии управления выводом
- •4.3. Прямой и обратный вывод
- •4.4. Методы поиска в глубину и ширину
- •4.5. Графы и/или
- •Глава 5. Нечеткие знания
- •5.1. Основы теории нечетких множеств
- •5.2. Операции с нечеткими знаниями
- •Глава 6. Представление знаний и процедуры выводов с помощью логики предикатов
- •6.1. Понятие формальной системы
- •6.2. Исчисление высказываний
- •6.3. Исчисление предикатов первого порядка
- •6.4. Доказательство методом резолюции
- •Глава 7. Прикладные интеллектуальные системы
- •7.1. Введение в экспертные системы. Определение и структура
- •7.2. Классификация систем, основанных на знаниях
- •7.3. Трудности разработки экспертных систем
- •Формирование базы знаний экспертной системы и механизма логического вывода
- •Глава 8. Способы интеллектуализации сапр
- •8.1. Архитектура интеллектуальных сапр
- •8.2. Основные концепции интеллектуальных caпp
- •Вопросы для контроля
- •Библиографический список
8.1. Архитектура интеллектуальных сапр
Архитектура обычных САПР. Под архитектурой CAПP будем понимать систему концепций, определяющих построение структуры САПР и принципы ее функционирования. Архитектура обычных САПР включает следующие концепции:
описание объекта и задач проектирования с помощью формализованных фиксированных символьно-цифровых языковых конструкций;
ориентация работы САПР на жесткую, формализованную постановку задачи проектирования;
использование процедуры моделирования в проектирующих (не конструкторских) САПР как основы процесса проектирования;
использование «жестких», неадаптируемых и не учитывающих опыт пользователя алгоритмов проектирования и конструирования;
фиксированная адаптируемая организация функционирования структуры САПР, задаваемая заложенными в САПР процедурами (управление с помощью алгоритмов);
использование в качестве основы математического аппарата теории численных методов, теории множеств, имитационного моделирования;
представление внутренней информации в САПР в основном в численном виде;
использование традиционных языков программирования;
хранение больших объемов информации в виде сосредоточенных или распределенных баз данных;
представление выходной информации в основном в гиде алфавитно-цифровых таблиц, графиков или чертежей.
В состав структуры обычных САПР входят: блок трансляции конструкций входного языка; блок основной проектной процедуры (моделирования, трассировки, размещения и т. д.); блоки обработки результатов основной проектной процедуры (расчет, анализ, оптимизация); база данных.
Перечисленные особенности архитектуры обычных САПР пришли в противоречие с потребностями практики автоматизированного проектирования, что послужило основной причиной разработки новых концепций, положенных в основу интеллектуальных САПР.
8.2. Основные концепции интеллектуальных caпp
1. Входная информация представляется в виде фраз на ограниченном естественном языке или на предметно-ориентированном языке, допускающем описание пользователем не только объекта задания на его проектирование, как в обычных САПР, но и самого алгоритма проектирования. Тем самым достигается высокая функциональная гибкость ИСАПР, возможность постановки и решения самых различных задач проектирования в рамках заданной предметной области. Данная концепция получила название «интеллектуального интерфейса».
Постановка задачи может быть не только достаточно свободной, по даже в определенных рамках нечеткой или некорректной для данной САПР. Эти недостатки в постановке задачи могут устраняться либо «по умолчанию» автоматически, либо путем диалога с пользователем, в процессе которого или ИСАПР настраивается на предложенную пользователем постановку задачи, или пользователь настраивает задачу на возможности ИСАПР, устраняя указываемые ею нечеткости или некорректности.
2. Информация представляется не в виде данных, т. е. чисел, а в виде знаний, т. е. характеризуется внутренней независимой от пользователя интерпретируемостью, структурированностью, ситуативными связями. Эта концепция влечет за собой: представление и обработку информации не только в числовом, но и в символьном виде; переход к языкам программирования, удобным для работы с символьной информацией (Си, Лисп и др.); разработку и применение в ИСАПР способов представления информации в виде знаний правил продукции, фреймов, семантических сетей; хранение информации в виде баз знаний, частью которых могут быть базы данных. При этом важным принципом функционирования ИСАПР является четкое разделение знаний и данных (смысловой и числовой информации) как в процессе хранения, так и в процессе использования.
3. Активность знаний выражается в том, что ИСАПР функционируют под управлением не алгоритмов (процедур), а данных. Это означает, что диспетчирование работы отдельных подсистем ИСАПР выполняется не с помощью внешней управляющей программы, а автоматически по факту наличия или отсутствия необходимых для работы этих подсистем данных или знаний. Вместо программного управления работой ИСАПР в этом случае используются процедуры контроля необходимой информации как только она появляется, автоматически срабатывают процедуры ее обработки. Тем самым достигается гибкость и эффективность работы ИСАПР, реализуется принцип «наискорейшего информационного подъема» от исходных данных к конечному результату, самоорганизация работы САПР. По существу, в этой концепции выражен один из основных принципов практики «информация побуждает к действиям».
4. Представление информации в виде знаний, а не чисел приводит к тому, что ее обработка выполняется не численными, а логическими методами. В связи с этим основным математическим аппаратом ИСАПР является аппарат алгебры логики и его специфические алгоритмы дедуктивного или индуктивного логического вывода в условиях детерминированной, нечеткой или вероятностной информации.
5. Ориентированы ИСАПР не на процедуры моделирования и анализа, а на процедуры синтеза. В связи с этим в ИСАПР используются процедуры, характерные для решения задач синтеза. К ним относятся процедуры дедуктивного вывода от общего к частному декомпозиция, детализация, конкретизация, практическими примерами которых могут быть декомпозиция исходной задачи на подзадачи, доказательство теорем, построение графов задач, поиск знаний по образцу, составление документации.
Наряду с дедуктивными в ИСАПР используются и процедуры индуктивного вывода композиция, агрегирование, обобщение, практическими примерами которых могут быть формирование целого из частей, формализация эвристических знаний, выявление сущностей и построение понятий и т. д. Таким образом, математический аппарат ИСАПР характеризуется широким использованием методов обработки знаний с помощью процедур дедуктивного и индуктивного вывода.
6. Входная и выходная информация представляются с использованием принципов когнитивной психологии, нашедших практическое выражение в виде ряда специальных приемов визуального отображения информации иерархических меню, многооконного графического интерфейса, принципа «резиновой нити» при решении задач трассировки соединений на печатных платах, различные способы образного отображения действия пользователя и их результатов. Перечисленные приемы составляют вторую, графическую часть «интеллектуального интерфейса».
7. Обладают ИСАПР мощной системой интеллектуальной поддержки пользователя в виде экспертных систем, консультирующих пользователя по широкому кругу вопросов, касающихся эксплуатации ИСАПР и методики проектирования. Сюда входит диагностика ошибок пользователя и сбоев работы ИСАПР, выдача советов пользователю при постановке задачи и ее решении, обучение пользователя и т. д.
8. Сравнивая ИСАПР с традиционными САПР, следует отметить различный подход в них к описанию объекта проектирования пользователем (внешнее представление объекта) и представлению этого же объекта внутри программы (внутреннее представление объекта).