В чем заключается метод обратного исключения для логических задач?

Метод обратного исключения для логических задач заключается в последовательном исключении нежелательных вариантов решения. dzen.ru multiurok.ru

Алгоритм метода: cyberleninka.ru

1. На первом шаге каждый предикат целевой формулы, содержащий переменные, подвергается возможной замене на соответствующий факт базы знаний. cyberleninka.ru Новая полученная целевая формула рекурсивно анализируется по точно такому же алгоритму. cyberleninka.ru
2. После того как все возможные подобные замены произведены, для каждого предиката целевой формулы ищется соответствующее правило базы знаний, согласно которому данный предикат можно заменить последовательностью других предикатов, составляющих условие правила. cyberleninka.ru Новая формула также рекурсивно подвергается точно такой же процедуре, начиная с первого шага. cyberleninka.ru
3. Процесс продолжается до тех пор, пока целевая формула не превратится в аксиому, то есть все её предикаты не станут тождественно равными какому-либо факту базы знаний. cyberleninka.ru Если какой-либо предикат становится невозможно упростить, заменив его фактом либо применив к нему правило, то анализ такой целевой формулы также прекращается, так как она становится заведомо ложной. cyberleninka.ru

Таким образом, целевая формула разбивается на части, которые заменяются новыми формулами, истинность которых легче установить в рамках заданных фактов. cyberleninka.ru