От выбранного метода поиска, т. е. стратегии вывода, будет зависеть порядок применения и срабатывания правил. Процедура выбора сводится к определению направления поиска и способа его осуществления. Процедуры, реализующие поиск, обычно "зашиты" в механизм вывода, поэтому в большинстве систем инженеры знаний не имеют к ним доступа и, следовательно, не могут в них ничего изменять по своему желанию.
При разработке стратегии управления выводом важны:
- исходная точка в пространстве состояний. От выбора этой точки зависит и метод осуществления поиска — в прямом или в обратном направлении.
- метод и стратегия перебора — в глубину, в ширину, по подзадачам или иначе.
При обратном порядке вывода вначале выдвигается некоторая гипотеза, а затем механизм вывода как бы возвращается назад, переходя к фактам, пытаясь найти те, которые подтверждают гипотезу (рис. 1.7, правая часть). Если она оказалась правильной, то выбирается следующая гипотеза, детализирующая первую и являющаяся по отношению к ней подцелью. Далее отыскиваются факты, подтверждающие истинность подчиненной гипотезы. Вывод такого типа называется управляемым целями, или управляемым консеквентами. Обратный поиск применяется в тех случаях, когда цели известны и их сравнительно немного.
В системах с прямым выводом по известным фактам отыскивается заключение, которое из этих фактов следует (см. рис. 1.7, левая часть). Если такое заключение удается найти, то оно заносится в рабочую память. Прямой вывод часто называют выводом, управляемым данными, или выводом, управляемым антецедентами.
Существуют системы, в которых вывод основывается на сочетании упомянутых выше методов — обратного и ограниченного прямого. Такой комбинированный метод получил название циклического.
Пусть имеется фрагмент базы знаний из двух правил:
- П1: Если "отдых — летом" и "человек — активный", то "ехать в горы".
- П2: Если "любит солнце", то "отдых летом".
Рис. 1.7. Стратегии вывода
Предположим, в систему поступили факты — "человек активный" и "любит солнце".
ПРЯМОЙ ВЫВОД— исходя из фактических данных, получить рекомендацию.
- 1-й проход.
• Шаг 1. Пробуем /7/, не работает (не хватает данных "отдых — летом").
• Шаг 2. Пробуем /72, работает, в базу поступает факт "отдых — летом".
- 2-й проход.
• Шаг 3. Пробуем Я/, работает, активизируется цель "ехать в горы",
которая и выступает как совет, который дает ЭС.
ОБРАТНЫЙ ВЫВОД— подтвердить выбранную цель при помощи имеющихся правил и данных.
- 1-й проход.
• Шаг 1. Цель — "ехать в горы": пробуем П1 — данных "отдых — летом"
нет, они становятся новой целью и ищется правило, где она в левой
части.
• Шаг 2. Цель "отдых — летом": правило П2 подтверждает цель и акти-
визирует ее.
- 2-й проход.
• Шаг 3. Пробуем П1, подтверждается искомая цель.