logo
ГОСы - ответы [2012]

Механизм логического вывода.

МЛВ решает две задачи:

    1. Дополнение и изменение БЗ на основе анализа БЗ и исходной информации.

    2. Управление порядком обработки БЗ.

МЛВ функционирует циклически.В каждом цикле решаются следующие задачи:

В настоящее время существуют две основные стратегии логического вывода: