2_ИИС_ЭС

Логика предикатов

• Пример логического рассуждения:

«Каждый человек смертен. Конфуций — человек. Следовательно, Конфуций смертен».

•Объявим предикаты: ЧЕЛОВЕК (x)

СМЕРТЕН (x)

•Объявим правило вывода: СМЕРТЕН (x) :- ЧЕЛОВЕК (x)

•Зададим значение переменной: ЧЕЛОВЕК (“Конфуций”)

•Вывод:

СМЕРТЕН (“Конфуций”)

Подход к решению задач в ЭС

•Механизм вывода (решатель) делает выводы на основе знаний БЗ, поставленной цели и описания ситуации (исходных данных и фактов)

•Для БЗ, построенной на продукционных правилах, механизм строит цепочку последовательных выводов (алгоритм решения задачи), содержащихся в правилах БЗ таким образом, чтобы получить решение задачи, т.е. определить цель.

•Существует два основных подхода к построению цепочки выводов решателем:

•прямая аргументация (от исходных данных к цели),

•обратная аргументация (от цели к исходным данным)

Пример

Цель: определить Надежность предприятия

Исходные данные:

Коэффициент рентабельности = 0.5 Задолженность = "нет” Репутация="удовл."

Правило 1: Если Коэффициент рентабельности > 0.2 То Рентабельность = "удовл."

Правило 2: Если Задолженность = "нет" и Рентабельность = "удовл."

То Финансовое_сост. = "удовл."

Правило 3: Если Финансовое_сост. = "удовл." и Репутация="удовл."

То Надежность предприятия = "удовл."

Прямая аргументация