Интеллектуальные информационные системы. Макаренко С.И. - 102 стр.

    Кроме правил в продукционных базах знаний могут использоваться
метаправила для управления логическим выводом. Пример метаправила для
гипотетической базы знаний:
     ЕСЛИ
     Экономика = развивается
     ТО
     Увеличить приоритет правила 1
     При интерпретации (выполнении) правила в ходе проверки условия
система проверяет факты, находящиеся уже в базе данных, и, если
соответствующего факта нет, обращается за ним к источнику данных
(пользователю, базе данных и т.д.) с вопросом (или запросом).
    В БЗ ЭС могут использоваться и другие структуры для хранения фактов,
такие как семантические сети или фреймы. В этом случае говорят о
комбинации разных методов представления знаний или о гибридных
интеллектуальных экспертных системах.
     Для представления нечетких знаний факты и правила в продукционных
системах снабжаются коэффициентами достоверности (или уверенности),
которые могут принимать значения из разных интервалов в разных системах
(например, (0, 1), (0, 100), (-1, +1) ).

       11.4.1 Обратный метод логического дедуктивного вывода

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




                                   101