4.1. Организация логического вывода в экспертных системах

Продолжим процесс описания представления знаний в системах ИИ.

Блок логического вывода в архитектуре экспертной системы (см. рис. 1.1) предполагает наличие механизма принятия решения или использования правил для получения решений. Механизм применения правил – это управляющая структура, реализующая стратегии принятия решений. Порядок интерпретации фактов из рабочей области в правилах определяется последовательностью цепочек логического вывода. На практике используются два вида цепочек логических рассуждений или их комбинация:

1) прямое доказательство или прямая цепочка логического вывода,

например:

если (А), то (В);

если (В), то (С); ... ; и так далее до получения К,

где К – цель (решение);

2) обратная цепочка логического вывода или доказательство от противного, например, требуется подтвердить факт D:

если (D), то (С);

если (С), то (В);

если (В), то(А).

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

В прямой цепочке логических рассуждений предполагается существование факта A, если существует факт B; существование B, если существует C; C – если D и т.д.

В обратной цепочке логических рассуждений процесс доказательства по существующим фактам выполняется в обратном направлении. Факт C существует при наличии D, B – при C, A – при B.

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

Рассмотрим составляющие логического вывода подробнее.