22. Подсистемы объяснений в экспертных системах

Предоставляет информацию о поведении и действиях ЭС, объяснения методики принятия решения. Необходима для:

• пользователь нуждается в подтверждении, что ЭС пришла к корректному заключению;

• инженер, формирующий БЗ должен убедиться, что сформулированные знания применяются;

• эксперту может проследить ход рассуждения, судить о корректности их применения;

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

• менеджер системы может судить, достаточно ли обосновано принятие решения.

Пример: в системе «Экспертиза» 2 типа объяснений:

• для пользователей (экспертов) – для чего предназначалась запрашиваемая информация, как были получены выведенные значения;

• для разработчиков (для инженеров по знаниям) – в дополнение предоставлялась информация для анализа знаний системы и процесса их использования при решении задач, позволяющая ответить на вопросы:

  • какие правила ЭС пыталась применить;

  • почему не смогла применить то или иное правило;

  • почему не использовалось какое-либо правило;

  • где использовалось значение атрибута.

22. Интеллектуальные подсистемы в современных сапр

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

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

• TechCARD;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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