Управление выводом

От выбранного метода поиска, т. е. стратегии вывода, будет зависеть поря­док применения и срабатывания правил. Процедура выбора сводится к оп­ределению направления поиска и способа его осуществления. Процедуры, реализующие поиск, обычно " зашиты" в механизм вывода, поэтому в боль­шинстве систем инженеры знаний не имеют к ним доступа и, следователь­но, не могут в них ничего изменять по своему желанию.

При разработке стратегии управления выводом важны:

- исходная точка в пространстве состояний. От выбора этой точки зависит и метод осуществления поиска — в прямом или в обратном направлении.

- метод и стратегия перебора — в глубину, в ширину, по подзадачам или иначе.

При обратном порядке вывода вначале выдвигается некоторая гипотеза, а затем механизм вывода как бы возвращается назад, переходя к фактам, пы­таясь найти те, которые подтверждают гипотезу (рис. 1.7, правая часть). Ес­ли она оказалась правильной, то выбирается следующая гипотеза, детализи­рующая первую и являющаяся по отношению к ней подцелью. Далее оты­скиваются факты, подтверждающие истинность подчиненной гипотезы. Вывод такого типа называется управляемым целями, или управляемым консеквентами. Обратный поиск применяется в тех случаях, когда цели извест­ны и их сравнительно немного.

В системах с прямым выводом по известным фактам отыскивается заключе­ние, которое из этих фактов следует (см. рис. 1.7, левая часть). Если такое заключение удается найти, то оно заносится в рабочую память. Прямой вы­вод часто называют выводом, управляемым данными, или выводом, управ­ляемым антецедентами.

Существуют системы, в которых вывод основывается на сочетании упомя­нутых выше методов — обратного и ограниченного прямого. Такой комби­нированный метод получил название циклического.

Пусть имеется фрагмент базы знаний из двух правил:

- П1: Если " отдых — летом" и " человек — активный", то " ехать в горы".

- П2: Если " любит солнце", то " отдых летом".

Рис. 1.7. Стратегии вывода

Предположим, в систему поступили факты — " человек активный" и " любит солнце".

ПРЯМОЙ ВЫВОД— исходя из фактических данных, получить рекомендацию.

- 1-й проход.

• Шаг 1. Пробуем /7/, не работает (не хватает данных " отдых — летом").

• Шаг 2. Пробуем /72, работает, в базу поступает факт " отдых — летом".

- 2-й проход.

• Шаг 3. Пробуем Я/, работает, активизируется цель " ехать в горы",
которая и выступает как совет, который дает ЭС.

ОБРАТНЫЙ ВЫВОД— подтвердить выбранную цель при помощи имею­щихся правил и данных.

- 1-й проход.

• Шаг 1. Цель — " ехать в горы": пробуем П1 — данных " отдых — летом"
нет, они становятся новой целью и ищется правило, где она в левой

части.

• Шаг 2. Цель " отдых — летом": правило П2 подтверждает цель и акти­-
визирует ее.

- 2-й проход.

• Шаг 3. Пробуем П1, подтверждается искомая цель.