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

68 Таблица 3.9 Метка операции Описание операции 1 Занести в массив A исходные высказывания (истинные высказывания) 2 Занести в массив B целевое высказывание (ложные, предположительно) 3 Пока в A нет целевого высказывания и нет прерывания логического вывода, сделать : 3.1 Поиск непомеченного правила с заключением из массива B 3.2 Если правило найдено, то: 3.2.1 Если посылка истина, то: 3.2.1.1 Перенести заключение правила из B в массив A 3.2.1.2 Снять пометку со всех правил, куда входит заключение 3.2.2 Если посылка ложна, то: 3.2.2.1 Занести в массив B , те высказывания посылки, которые отсутствуют в массиве A 3.2.3 Пометить найденное правило 3.3 Если правило не найдено, то: 3.3.1 Прерывание логического вывода 4 Если произошло прерывания логического вывода, то: 4.1 Сформировать сообщение о неуспешном выводе 5 Если не произошло прерывания логического вывода, то: 5.1 Сформировать сообщение об успешном выводе Таблица 3.10 Номер шага Содержание A Содержание B: Номер правила Стоп 0 A 2, A 4 A 8 - Нет 1 A 2, A 4 A 1, A 5, A 6, A 8 P 6 То же 2 A 2, A 4 A 1, A 5, A 6, A 7, A 8 P 2 – // – 3 A 2, A 4 A 1, A 3, A 5, A 6, A 7, A 8 P 4 – // – 4 A 2, A 4 A 1, A 3, A 5, A 6, A 7, A 8 P 3 – // – 5 A 2, A 4 A 1, A 3, A 5, A 6, A 7, A 8 P 5 – // – 6 A 2, A 4, A 7 A 1, A 3, A 5, A 6, A 8 P 1 – // – 7 A 1, A 2, A 4, A 7 A 3, A 5, A 6, A 8 P 2 – // – 8 A 1, A 2, A 3, A 4, A 7 A 5, A 6, A 8 P 3 – // – 9 A 1, A 2, A 3, A 4, A 5, A 7 A 6, A 8 P 4 – // – 10 A 1, A 2, A 3, A 4, A 5, A 6, A 7 A 8 P 5 – // – 11 A 1, A 2, A 3, A 4, A 5, A 6, A 7 - P 6 Да