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

-1 находится (Агент, /, j) v -i ориентация (i, j+1) v v находится (Чудовище, i, j + l) v находится (Яма, i, y + 1) v v перейти (i, j+1); (4.21)* -i находится (Агент, i, j) v -, ориентация (i-l, j ) v v находится (Чудовище, i-l, j) v находится (Яма, i-\, j) v v перейти (i-l, j); • (4.22)* -i находится (Агент, i, j) v -i ориентация (i+l, у) v v находится (Чудовище, i+l, j) v находится (Яма, i+l, j) v v перейти (i+l, j); (4.23)* -« находится (Агент, i, j) v -i находится (Блеск, i, j) v взять (/, у). (4.24)* 87 4. Вывод в логике предикатов Подформулы системы формул (4.25)* — (4.32)* получаются аналогично, но их еще больше. Выпишем, как и в предыдущем случае, только по одной (первой) подформуле: