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

Шаг 26. В соответствии с формулами (4.67), (4.66) и правилом модус поненс получаем перейти (1, 1) л находится (Агент, 1, 1) л ориентация (1, 0). (4.68) Шаг 27. В соответствии с формулой (4.68) и правилом исключения конъюнкта получаем перейти (1,1), (4.69) находится (Агент, 1,1), (4.70) ориентация (1, 0). (4.71) Таким образом, агент вернулся в ячейку (1, 1), но ориентация его изменилась. Теперь он стоит лицом к несуществующей ячейке (1, 0). Шаг 28. В соответствии с формулой (4.6) и правилом исключения квантора общности получаем находится (Препятствие, 1, 0). (4.72) Шаг 29. В соответствии с формулой (4.29) и правилом исключения квантора общности получаем