Представление и обработка знаний

67 Рис. 3.2. Пример дерева восходящего разбора Таблица 3.8 Номер шага Содержание массива A Помечаемое правило Условие завершения 0 A 2, A 4 --- Нет 1 A 2, A 4, A 7 P 1 Нет 2 A 2, A 4, A 7, A 1 P 2 Нет 3 A 2, A 4, A 7, A 1, A 3 P 3 Нет 4 A 2, A 4, A 7, A 1, A 3, A 5 P 4 Нет 5 A 2, A 4, A 7, A 1, A 3, A 5, A 6 P 5 Нет 6 A 2, A 4, A 7, A 1, A 3, A 5, A 6, A 8 P 6 Да Нисходящий логический вывод начинается с отрицания за- ключения (целевого утверждения P ). В процессе доказательства используются импликации и утверждения для образования новых отрицаний из имеющихся отрицаний. Заканчивается процесс дока- зательства при образовании противоречия. Описание алгоритма нисходящего логического вывода при- водится в табл. 3.9. Трассировочная таблица содержит результаты выполнения шагов алгоритма нисходящего логического вывода рассматривае- мого примера (табл. 3.10). A 8 A 7 A 1 A 4 A 4 A 2 A 2 A 5 A 4 A 3 A 2 A 1 A 6 A 5 A 7 A 4