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

66 Рассмотрим наиболее распространенные алгоритмы восхо- дящего и нисходящего логических выводов, применяемые для при- нятия решений и основанные на представлении знаний в форме высказываний. Восходящий логический вывод начинается с истинных ут- верждений, имеющихся в исходном множестве посылок. При этом используются импликации для обоснования вывода новых истин- ных высказываний из известных истинных высказываний. В соот- ветствии с постановкой задачи логический вывод заканчивается образованием высказывания, которое противоречит отрицанию це- левого утверждения. Алгоритм восходящего логического вывода показан в табл. 3.7. Таблица 3.7 Метка операции Описание операции 1 Занести в массив A исходные высказывания; 2 Пока в A нет целевого высказывания и нет прерывания логического вывода: 2.1 Поиск непомеченного правила с истинной посылкой; 2.2 Если правило найдено , тогда: 2.2.1 Занести заключение правила в массив A ; 2.2.2 Пометить найденное правило. 2.3 Если правило не найдено , тогда: 2.3.1 Прерывание логического вывода. 3. Если произошло прерывание логического вывода , тогда 3.1 Сформировать сообщение о неуспешном выводе 4 Если не произошло прерывание логического вывода , тогда: 4.1. Сформировать сообщение об успешном выводе A Дерево восходящего разбора для рассматриваемого примера показано на рис. 3.2. Трассировочная таблица содержит результаты выполнения шагов алгоритма восходящего логического вывода (табл. 3.8).