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

V (/, у) находится (Агент, i, у) л ориентация (i, у-1) л л (находится (Чудовище, i, у-1) v находится (Яма, i, у-1) v v находится (Препятствие, i, у-1)) з повернутьсяналево (/, у) л л находится (Агент, i, у) л ориентация (/+1, у), (4.29) V (/, у) находится (Агент, i, у) л ориентация (i-\, у) л л (находится (Чудовище, i-l, у) v находится (Яма, /-1, у) v v находится (Препятствие, i-l, j)) => повернуться_налево (i,у) л л находится (Агент, i, у) л ориентация (i, у-1), (4.30) 71 Вывод в логике предикатов V (/, у) находится (Агент, i, у) л ориентация (i;j+l) л л (находится (Чудовище, i, у +1) v находится (Яма, i, j +1) v v находится (Препятствие, i, j +\)) з повернуться_налево (i, у) л л находится (Агент, i, у) л ориентация (/-1, у), (4.31) V (/, у) находится (Агент, i, у) л ориентация (/+1, у) л л (находится (Чудовище, i+\, у) v находится (Яма, Ж, у) v v находится (Препятствие, /+1,у )) з повернуться^ налево (/, у) л