Искусственный интеллект

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