Интеллектуальные подсистемы в современных САПР

Широко используемые САПР ТП:

· «Вертикаль»;

· TechCARD;

· T-Flex/Технология;

Экспертная система TechEXP состоит из:

· редактор БЗ;

· машина логического вывода;

· БЗ TechEXP, образуемая БД TechCard и файлами формул и таблиц, содержащих правила для работы с данными, содержащимися в базе.

В системе TechEXPэкспериментальныезнания представляются в виде формул и таблиц.

Формулы широко используются там, где требуемые значения можно получить путем обычных математических вычислений из других параметров.

Если такой математической зависимости нет, то можно задать нужные значения параметра в различных условиях, в результате чего получится таблица.

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

Условие в TechEXP представляет собой формулу с логическим результатом, в которой могут присутствовать любые аргументы или константы. В условиях применимости можно использовать символы отношения: =, ≠, >, <, а также логические связки «И/ИЛИ/НЕ».

Правила работы:

Система TechEXP предназначена, чтобы с помощью формул или таблиц находить значения одних аргументов, исходя из значения других (уже известных).

Когда основной модуль обращается к машине логического вывода, он передает значения всех аргументов для текущего контекста. Кроме этого, ЭС получает код того параметра, значение которого требуется определить.

Получив задание, TechEXP в первую очередь определяет, какие формулы или таблицы можно использовать. Каждая формула всегда имеет только 1 результат, таблицы могут иметь несколько.

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

Если БЗ составлена так, что на некотором этапе логического вывода ЭС выясняет, что значения аргумента можно получить по нескольким формулам или таблицам сразу, это означает, что плохо определены условия применимости.

В большинстве случаев TechEXP не получает сразу значения всех аргументов, необходимых для расчета. Если в таблице/формуле встречается аргумент, значение которого неизвестно, то ЭС сначала должна найти значение этого аргумента и только потом она сможет получить то значение, которое от нее требовалось.

Формула состоит из двух компонент: тела и условия.

Условие – формула, представляющая собой логическое выражение.

Пример: (КПЕР = 704 и КОСН = 324) ИЛИ (КПЕР = 524 и КОСН = 800)

36. Особенности и причины появления «мягких» вычислений. Основные направления «мягких» вычислений.

Причины:

· любые ситуации, требующие принятия решений, содержат большое количество неопределенностей;

· человек часто оперирует качественными понятиями;

· реальные задачи часто описываются нечеткой информацией, характеризующейся неполнотой и неопределенностью;

· человеческое мышление способно образовывать нечеткую информацию;

· традиционный математический аппарат для описания знаний человека использовать часто невозможно.

«Мягкие» вычисления – ветвь ИИ, в которой создаются математические алгоритмы, направленные на решение задач, имеющих свойство размытости и неточности.

«Традиционный» ИИ характеризуется:

· символьное представление и обработка информации;

· моделирование рассуждений на основе логического вывода (дедукция, индукция, аргументирование, рассуждения по аналогии и т.д.);

· использование «классических» методов поиска, традиционных структур данных и алгоритмов обработки символьной информации.

«Мягкие» вычисления характеризуются:

· основная идея: создание интеллектуальных вычислительных моделей, которые:

o ориентированы на обработку неточной, неопределенной, частично истинной информации;

o базируются на определенных аналогиях из реального мира;

· представление знаний является не чисто символьным, а символьно-числовым или числовым.