14.4. Выбор стратегии вывода

На этом этапе выбирается стратегия вывода, которая будет использоваться в процессе нахождения агентом решений. Рассмотрим, как это делается на примере первой формулы (14.11) из группы формул регулирования давления в контрольных точках

(см. скан)

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

Для всех текуших ситуаций 5, начиная с начальной, получить восприятие (множество значений входных переменных).

Конкретизировать, используя это восприятие, все импликации вида действие

Найти все импликации, левая часть которых при осуществленной конкретизации истинна.

Для каждой такой импликации считать выведенной ее правую часть действие

Сформировать реакцию агента, соответствующую конкретизированным выведенным действиям правых частях импликаций действие

Использовать конкретизированные выведенные правые части (действия) для нахождения следующих ситуаций по формулам переход Очевидно, что эта стратегия является стратегией прямого вывода в ширину на основе обобщенного правила модус поненс со следующими отличиями: часть, а может быть и все значения переменных, используемых для конкретизации, берутся из восприятия агента, а не аксиоматизируются заранее; процесс вывода может быть бесконечным.